tldrdailynews.com logo
Tag

Mathematics

All articles tagged with #mathematics

OpenAI's Mass Release of 700 AI-Generated Math Preprints Sparks Academic Outrage
technology2 days ago

OpenAI's Mass Release of 700 AI-Generated Math Preprints Sparks Academic Outrage

OpenAI posted over 700 AI-generated mathematical preprints on GitHub on October 6, 2026, triggering a crisis in the academic community. While the firm claims the move aims to provide tools for scientists, many mathematicians criticized the lack of collaboration and transparency. The release follows OpenAI's earlier solution of the Navier-Stokes equation and has led to calls for equitable access to AI models to prevent a two-tier research system.

via Nature|
#artificial-intelligence#mathematics#navier-stokes
OpenAI Publishes 722 AI-Generated Math Proofs, Deepening Academic Controversy
technology2 days ago

OpenAI Publishes 722 AI-Generated Math Proofs, Deepening Academic Controversy

OpenAI released 722 manuscripts containing solutions to 372 major mathematical problems, generated by an unreleased internal model. The release includes reasoning summaries and compute estimates but omits specific prompts, drawing criticism from the Advisory Group on Mathematics and Artificial Intelligence (AGMAI). This follows the controversial Navier-Stokes breakthrough and raises concerns about transparency, verification, and the potential for a two-tier research system.

via Engadget|
#academic-ethics#artificial-intelligence#mathematics
OpenAI Releases 372 Math Proofs Amidst Skepticism and New Political Pushback
technology2 days ago

OpenAI Releases 372 Math Proofs Amidst Skepticism and New Political Pushback

OpenAI has published 372 new mathematical proofs, claiming its internal AI model solved these problems with minimal human intervention. This release follows a recent breakthrough in fluid dynamics and has sparked intense debate within the mathematical community regarding transparency and verification. Simultaneously, a new super PAC is launching a $1.2 million campaign to block candidates who do not support strict AI oversight, highlighting growing political friction over the technology's rapid advancement.

via Fox News|
#artificial-intelligence#mathematics#openai
OpenAI releases 722 AI-generated math proofs, sparking debate over transparency and pace
technology2 days ago

OpenAI releases 722 AI-generated math proofs, sparking debate over transparency and pace

OpenAI has published 722 manuscripts containing solutions to hundreds of open mathematical problems, generated by an unreleased internal model. While the release includes reasoning summaries and compute estimates, it lacks specific prompts, drawing criticism from the Advisory Group on Mathematics and Artificial Intelligence (AGMAI). The move follows a controversial Navier-Stokes breakthrough and raises questions about the speed of AI-driven research versus academic rigor.

via The Verge|
#artificial-intelligence#mathematics#openai
Newton’s 1679 Tower Puzzle: Why Falling Objects Drift East
science11 days ago

Newton’s 1679 Tower Puzzle: Why Falling Objects Drift East

The Guardian published the solution to a 1679 puzzle posed by Isaac Newton to Robert Hooke, asking where an object dropped from a tower lands relative to the tower's base. The counter-intuitive answer is that the object lands slightly to the east. This occurs because the falling object conserves angular momentum; as its distance to Earth's center decreases, its rotational velocity increases, causing it to outpace the Earth's surface rotation. The effect is measurable but small, estimated at approximately 11 centimeters for a drop from the Eiffel Tower if it were located on the equator.

via The Guardian|
#angular-momentum#earth-rotation#isaac-newton
OpenAI’s Navier-Stokes Solution Sparks Debate Over Validity and Comprehensibility
technology15 days ago

OpenAI’s Navier-Stokes Solution Sparks Debate Over Validity and Comprehensibility

OpenAI claims its AI agents solved the Navier-Stokes equations, a Millennium Prize problem, but mathematicians dispute the proof's value and origin. The solution relies on an external force, which many experts argue does not address the core physical mystery of fluid dynamics. Additionally, the proof is described as incomprehensible to humans, raising concerns about AI-generated research.

via futurism.com|
#ai-agents#clay-mathematics-institute#mathematics
AI in Math Sparks Credit Debates and a Push for New Rules
technology20 days ago

AI in Math Sparks Credit Debates and a Push for New Rules

AI is increasingly essential in mathematical research, but its use raises attribution and trust questions as researchers navigate potential influence on proofs and results; OpenAI defends that prompts or data didn’t influence the Navier–Stokes solution, while mathematicians push for guidelines (such as the Leiden Declaration) and a cautious path forward to balance efficiency gains with preserving human credit.

via WIRED|
#ai#attribution#mathematics
A New Recipe Unites Random Graphs, Solving a Decades-Old Sandwich Conjecture
mathematics21 days ago

A New Recipe Unites Random Graphs, Solving a Decades-Old Sandwich Conjecture

Researchers completed the long-standing 'sandwich' conjecture by showing how to generate a binomial random graph and a regular graph in tandem so that each contains the other; by constructing the two graphs edge-by-edge (and then reversing the process), they derive a meta-theorem letting properties proven for the easier binomial model automatically apply to the harder regular model, streamlining many results in network theory and opening the door to more layered graph constructions.

via Quanta Magazine|
#combinatorics#graph-theory#mathematics
AI Sparks Rare Math-Stakes Debate as OpenAI Claims Navier–Stokes Breakthrough
technology21 days ago

AI Sparks Rare Math-Stakes Debate as OpenAI Claims Navier–Stokes Breakthrough

At the Heidelberg Laureate Forum, OpenAI claimed it deployed 10,000 AI agents to solve the Navier–Stokes existence-and-smoothness Millennium Prize Problem, a claim that ignited a public clash among elite mathematicians. Buckmaster and Alpöge allege they were racing to publish only to be pressured not to reveal their work, while others dismiss the move as reckless or PR. A panel including Michael Harris, Geordie Williamson, Jacob Tsimerman and Peter Scholze debated AI’s impact on mathematics, with calls for safeguards to protect human inquiry and concerns about predatory behavior, even as some argue AI could accelerate progress without replacing deep human understanding. The discussion underscored uncertainty about how AI and human mathematics will co-evolve, with wide-ranging views on the future of the field.)

via Live Science|
#artificial-intelligence#heidelberg-laureate-forum#mathematics
AI-Age Prize Debuts to Reward Verifiable Mathematical Breakthroughs
technology21 days ago

AI-Age Prize Debuts to Reward Verifiable Mathematical Breakthroughs

The Office of Justin Sun launched the Justin Sun Prize, a decentralized, open-source bounty that awards up to $1 million for first breakthroughs proven via machine-verifiable proofs in fundamental math and AI-assisted science. The inaugural awards include a top prize to OpenAI for a Lean-formalized solution to the 3D Navier–Stokes existence and smoothness problem, with proofs and problem lists publicly verifiable and stored on-chain. The prize emphasizes openness, public benefit, and on-chain tracking, with funding in USDT on TRON or USDC on Ethereum, and aims to be the ‘Nobel Prize of the AI Era’ open to all, humans or AI.

via The Block|
#ai#formal-verification#justin-sun-prize
AI Solves Navier–Stokes, but Credit Is the Real Frontier
science21 days ago

AI Solves Navier–Stokes, but Credit Is the Real Frontier

OpenAI claims its AI model solved the Navier–Stokes problem, triggering a debate over attribution as mathematicians worry that ideas discussed with chatbots or learned during training may contribute to breakthroughs; questions arise about how to credit such insights and how prize money like the Millennium Prize should be allocated, while OpenAI emphasizes user opt-out and Lean-based verification, highlighting a broader shift in how scholarly credit is assigned in the AI era.

via Nature|
#ai#credit-attribution#mathematics