DeepMind’s AlphaProof system solved four out of six problems at the 2024 International Mathematical Olympiad, generating ...

GPT 5.4 Pro offers several other innovations. Open AI claimed that it was the first version that can do things on computers, ...

Microsoft's Phi-4-reasoning-vision-15B uses careful data curation and selective reasoning to compete with models trained on ...

The verdict, it seems, is in: artificial intelligence is not about to replace mathematicians. That is the immediate takeaway from the “First Proof” challenge—perhaps the most robust test yet of the ...

Unite.AI is committed to rigorous editorial standards. We may receive compensation when you click on links to products we review. Please view our affiliate disclosure. Mathematics has long been ...

The GSMM Camp is a weeklong workshop that builds interdisciplinary problem-solving skills for graduate and advanced undergraduate students. Participants work in teams on mathematically rich problems ...

An AI model that learns without human input—by posing interesting queries for itself—might point the way to superintelligence. Save this story Save this story Even the smartest artificial intelligence ...

AlphaEvolve, an AI that “evolves” code solutions, rediscovered and improved proofs for the finite-field Kakeya conjecture. Gemini Deep Think verified the logic, and AlphaProof formalized the ...

University researchers are exploring a new way to use large language models (LLMs) for middle school math education. Researchers at George Mason University and William and Mary University have created ...

They already draw images, write texts and predict financial markets. Now, they tackle the very history of sciences. Humanity thought some riddles were eternal, locked by centuries of failures. Yet, a ...

A few months before the 2025 International Mathematical Olympiad (IMO) in July, a three-person team at OpenAI made a long bet that they could use the competition’s brutally tough problems to train an ...