Which machine learning model created by a major tech company in 2020 demonstrated the ability to solve university-level mathematical problems and proofs that had never been addressed by AI before?

Machine learning has revolutionized how mathematical problems are approached and solved. Behind the algorithms that power predictive analytics, pattern recognition, and data classification are foundational mathematical concepts. This poll tests your knowledge about a significant breakthrough in how machine learning has transformed mathematical education and problem-solving approaches in recent years.

This is a live public trivia poll on AIPolls.Net. Vote and see real-time results.

Google's AlphaTensor, which discovered more efficient matrix multiplication algorithms
OpenAI's GPT-3, which was trained on mathematical papers and could generate original proofs
DeepMind's AlphaGeometry, which solved complex geometry problems at International Mathematical Olympiad level
Microsoft's Z3 Theorem Prover, which automated advanced calculus problem-solving