Mathematics

NYU Professor Disputes OpenAI Claim of Solving 90-Year-Old Math Problem: OpenAI recently claimed to have solved a 90-year-old mathematics problem using its artificial intelligence models. However, a New York University professor has publicly disputed the achievement, sparking a debate over the validity of the breakthrough.

Tech • Fireship

Researchers train Nemotron 3 Ultra checkpoints to generate olympiad math proofs: Researchers trained two specialist checkpoints from Nemotron 3 Ultra using supervised fine-tuning and reinforcement learning to generate natural-language proofs for olympiad mathematics. The resulting test-time-compute pipeline operates entirely in natural language without formal provers or external tools.

Nemotron • arXiv

GPT-6 Astra solves advanced math problems on FrontierMath Tier 4 benchmark: GPT-6 Astra has successfully solved problems on FrontierMath Tier 4, a benchmark designed to test advanced mathematical reasoning in AI. This achievement represents a significant milestone in overcoming complex mathematical barriers for artificial intelligence models.

Artificial Intelligence • 量子位

OpenAI AI Agents Propose Solution to Navier-Stokes Millennium Prize Problem: OpenAI announced that 10,000 AI agents generated a proposed solution to the Navier–Stokes Millennium Prize Problem in 88 hours. The announcement has sparked a dispute over credit, competing research, and the role of human mathematicians like Tristan Buckmaster and Levent Alpöge.

Technology • Wes Roth

OpenAI claims solution to 90-year-old Navier-Stokes math problem: OpenAI announced that it has discovered a solution to the Navier-Stokes problem, a major mathematical challenge relating to liquid flow that has remained unsolved for approximately 90 years. The announcement follows initial reports of the milestone by The New York Times and Wired.

Artificial Intelligence • The Verge AI