OpenAI Says It Solved a $1M Math Problem. A Rival Mathematician Says He Did It First
Related
OpenAI Says a Secret AI Model Cracked Hundreds of Open Math Problems in One Prompt—Mathematicians Want Receipts
OpenAI posted 722 AI-written math manuscripts from an unreleased model, saying most came from a single prompt. Some mathematicians call the claims unverified.
OpenAI Says It's Made Progress on a Second $1 Million Math Problem
Days after its disputed Navier-Stokes claim, OpenAI says it's made "substantial progress" on another Millennium Prize math problem—and won't say which one yet.
AI Is Solving Math's Best Problems Faster Than They Can Be Replaced, Terence Tao Warns
The Fields medalist points to a real race between OpenAI and Anthropic as proof: AI can now flatten a hard problem the moment someone starts working on it.
AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever
Anthropic says Claude spent 11 days turning Fermat's Last Theorem into 13 million lines of code a computer can check itself, no human trust required
OpenAI Proves ETH Is False, and Crypto Twitter Has Questions
A new OpenAI paper declares ETH false, a claim that hundreds of research papers lean on. Crypto Twitter degens and serious mathematicians are abuzz.
Bitwise launches first Lighter ETP amid Hyperliquid rivalry
The product gives European investors brokerage access to the LIT token as Bitwise expands its lineup of products tied to decentralized derivatives platforms.