#Mathematics
11 articles with this tag
NYU Mathematician Says OpenAI Copied His Work
NYU professor Tristan Buckmaster told CNBC Television OpenAI reproduced his Euler work after he revealed his name, casting doubt on its Navier-Stokes claim.
OpenAI's Navier-Stokes Proof Still Needs Humans
StarTalk presses OpenAI's Navier-Stokes claim: a Lean proof of 26,000 sub-theorems that no human can read yet.
AI and Math: Leading Indicators or Games?
Experts discuss AI's math breakthroughs: are they useful tools or just games? The industry's shift to capital-bound innovation is explored.
GPT-5.6 Automates Farms, Businesses, and Math Problems
GPT-5.6 is transforming farming, small businesses, and scientific research by automating complex tasks and enabling new discoveries.
Mathematician Uses GPT-5.6 to Solve Unsolvable Problems
Mathematician Bartosz Naskręcki uses GPT-5.6 to solve previously unsolvable math problems, disproving a conjecture in algebraic geometry and accelerating research.
AI Cracks 80-Year Math Problem on OpenAI Podcast
OpenAI researchers discuss how their AI model solved an 80-year-old math problem, highlighting AI's growing reasoning capabilities.
OpenAI Model Cracks Geometry's Toughest Nut
An OpenAI model has disproven a long-standing conjecture in discrete geometry, using advanced algebraic number theory and marking a milestone for AI in scientific discovery.
AI Solves Erdős Breakthrough: OpenAI Researchers Detail Breakthrough
OpenAI researchers reveal how AI has solved the complex Erdős Unit Distance Problem, a breakthrough with implications for mathematics and science.
AI's Math Prowess: From Novelty to Necessity
OpenAI researchers Sebastien Bubeck and Ernest Ryu discuss the rapid advancement of AI in solving complex mathematical problems and its implications for science.
AI Agents Collaborate to Solve Math Problems
Together AI's EinsteinArena platform enables AI agents to collaborate on complex scientific problems, achieving new breakthroughs in mathematics.
AI Solves Decades-Old Math Problem
Anthropic's Claude Opus 4.6 solved a complex directed Hamiltonian cycle problem, showcasing AI's advanced reasoning.