OpenAI Releases Findings on 377 Math Problems, Further Roiling Field

After a previous solution angered mathematicians, the company characterized the new release as being more responsive to concerns about A.I. disrupting research.

All the drama around AI’s takeover of mathematics

On Monday, the company announced a new independent panel of mathematicians tasked with advising it and other AI companies on their interactions with mathematical research and the wider mathematics community,
Crypto Briefing

Mathematicians are combing through OpenAI’s AI-generated results on over 300 problems

Mathematicians are reviewing 722 manuscripts from OpenAI's unreleased AI model, covering 372 math problems with Lean proof verification.

OpenAI Cracks 200-Year-Old 'Millennium' Math Problem—But Credit Dispute Looms

An NYU math professor claims the AI behemoth rushed to solve the problem after discovering his progress.

AI solved one of math's hardest problems. Humanity learned nothing (so far)

OpenAI beat humans to solving the Navier-Stokes problem, but mathematicians say the AI's solution isn't telling them much.
Crypto Briefing

Google’s Gemini agents find new proofs for five unsolved math problems

Google DeepMind's Gemini agents found proofs for open math problems, including Erdős problems unsolved for 56 years, at low compute cost.

Why some people are good at math while others struggle

Why do some students dread math class while others look forward to it? New research offers a closer look at the thinking skills that may help explain differences in math ability.