Topic
Mathematics News
The latest Mathematics news, tracked continuously by NeuraFeed. 3 source-cited articles covering Mathematics announcements, releases, and analysis, each grounded in verified reporting.
OpenAI Claims Discoveries in Three Scientific Disciplines, Proposing a New Publishing Model for AI Research
OpenAI announced that its internal artificial intelligence models produced research breakthroughs across mathematics, computer science, and theoretical physics, including a claimed refutation of the Exponential Time Hypothesis. To release the work without alienating the scientific establishment, the company introduced an experimental academic publishing model using external expert shepherds. The initiative disclaims academic authorship for OpenAI while leaving the intensive labor of verification to independent university researchers.
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.