mathematics News — What Changed Today
Curated mathematics coverage from trusted open-web sources with AI summaries.
Latest on mathematics
Puzzle Corner
HeadlineFlip summary: The September/October 2026 Puzzle Corner features new puzzles from Michael S. Branicky, ScD ’95, and the Puzzle Corner Puzzle Crew. It also includes solutions from the May/June issue.
Why the Legendary Erdős Problems Are Falling to AI
HeadlineFlip summary: Artificial intelligence is making breakthroughs in solving complex mathematical problems, including some of the legendary Erdős problems. This development highlights AI's growing capabilities in abstract reasoning and problem-solving.
An internal OpenAI Astra model solved 10 major open math and CS problems
HeadlineFlip summary: An internal OpenAI model named Astra has reportedly solved 10 significant open problems in mathematics and computer science, according to a post on Hacker News.
Mathematics Without Mathematicians
HeadlineFlip summary: The article explores the concept of mathematics existing independently of human mathematicians, questioning its nature and existence. It was posted on Hacker News and generated discussion.
Theo Conjecture solves 35-year-old math problem, finds a term no one predicted
HeadlineFlip summary: An AI system named Theo Conjecture has solved a 35-year-old math problem, identifying an unexpected term. The article details this breakthrough in mathematical research.
The Dark Night of Mathematics
HeadlineFlip summary: The article discusses a personal journey through a period of intense difficulty and disillusionment with mathematics, exploring the emotional and intellectual challenges faced during this 'dark night'.
Mathematicians win top prize after solving century's-old problems
HeadlineFlip summary: Two mathematicians, the first Chinese nationals to win, have been awarded the prestigious Fields Medal for solving century-old problems.
Terrence Tao's ChatGPT Conversation about the Jacobian Conjecture Counterexample
HeadlineFlip summary: A Hacker News discussion features a ChatGPT conversation with Terrence Tao regarding a potential counterexample to the Jacobian Conjecture. The conversation is shared via a ChatGPT link.
Human mathematicians are being outcounterexampled
HeadlineFlip summary: An article discusses how human mathematicians are increasingly being outperformed by automated systems in finding counterexamples to mathematical conjectures, raising questions about the future of mathematical discovery.
Principia Artificialis – Mathematical Foundations of Artificial Thought
HeadlineFlip summary: This article, 'Principia Artificialis – Mathematical Foundations of Artificial Thought,' is available on GitHub. It is being discussed on Hacker News, with a link provided for comments.
Gap in Mochizuki's proof of ABC confirmed by Lean
HeadlineFlip summary: A gap in Mochizuki's proof of the ABC conjecture has been confirmed by Lean, a theorem prover. This development was shared on Twitter and discussed on Hacker News.
Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel
HeadlineFlip summary: The article explores solving 20 Erdős problems using 20 parallel Codex accounts. It details the computational approach and potential implications for mathematical research.