Topic
Mathematics News
The latest Mathematics news, tracked continuously by NeuraFeed. 2 source-cited articles covering Mathematics announcements, releases, and analysis, each grounded in verified reporting.
OpenAI Claims 90-Year-Old Math Breakthrough With AI Agent Swarm, Igniting Academic Credit Dispute
OpenAI announced that an experimental AI system deployed across roughly 10,000 concurrent agents resolved the 90-year-old Navier-Stokes existence and smoothness problem in 88 hours. The milestone, which generated 130 billion output tokens and arrived alongside a formal verification in the Lean proof language, carries a million-dollar Millennium Prize designation. The claim quickly provoked intense controversy after an NYU mathematician alleged the company raced to front-run his unpublished work and may have benefited from private research sessions stored in OpenAI tools.
AI Breakthrough: Amateur Mathematician Solves 60-Year-Old Problem with GPT-5.4
An amateur mathematician, leveraging OpenAI's GPT-5.4 Pro, has successfully solved a 60-year-old combinatorics problem, marking a significant milestone in AI-assisted mathematical discovery. This achievement highlights AI's capacity to identify novel solution paths that human experts have historically overlooked, challenging traditional notions of mathematical research and problem-solving. The breakthrough underscores the evolving role of AI as a research partner rather than merely a tool for data retrieval.