UC Berkeley math professor Nikhil Srivastava met with researchers on a mission to create a new way of assessing the mathematical capabilities of AI.

Google says its latest Deep Think upgrade is designed to tackle research-grade problems in maths, science, and engineering, with access expanding to the Gemini app and API.

Google has officially unveiled a major upgrade to Gemini 3 Deep Think, its most sophisticated reasoning model designed to push the boundaries of intelligence in science, research, and engineering.

Young Filipino students have won top honors at the Horizon Math Olympiad in New York and the Copernicus Science Olympiad in Texas.

LLMs have recently helped find solutions to a number of minor longstanding problems. But a new plan called First Proof is really putting them to the test ...

DeepMind's Aletheia is a huge advance in AI-driven mathematical reasoning. It is a research agent built on top of Gemini Deep ...

One would imagine that an AI capable of solving the hardest Olympiad problems would naturally produce novel scientific ...

A marriage of formal methods and LLMs seeks to harness the strengths of both.

Top artificial intelligence systems now ace many textbook-style math questions, yet they still fall apart on genuinely new ...

Frustrated by the AI industry’s claims of proving math results without offering transparency, a team of leading academics has ...

Zoho founder Sridhar Vembu has questioned the value of exams and interviews as reliable measures of exceptional performance, ...

Artificial intelligence has attained an impressive series of feats—solving problems from the International Math Olympiad, ...