#mathrevolution — Public Fediverse posts

On May 20, 2026, OpenAI made an announcement that shook the mathematical world. An internal AI model, one not available to the public, had come up with a counterexample to the “unit distance” problem, a conjecture made in 1946 by Paul Erdős, the prolific, itinerant Hungarian mathematician. Erdős posed thousands of questions, but this one was special: It was both simple to explain and mathematically deep. It was the first historically significant proof to come from an AI model. Though the model’s result wasn’t definitive, human mathematicians would substantially improve on it within weeks, it was innovative, bringing in ideas from a distant branch of math that no one had successfully applied to this problem before. And it was influential: Within a few days, related techniques were used to solve other important problems. Then on August 1, OpenAI announced that an unreleased model named Astra made 10 additional mathematical advances, including finding solutions to three more problems posed by Erdős. Many mathematicians have hailed developments such as these as a phase transition in the mathematical capability of AI models. These models are “changing dramatically the way mathematical research is being done,” said Noga Alon of Princeton University, who has solved dozens of Erdős problems over his decades-long career.

https://www.quantamagazine.org/why-the-legendary-erdos-problems-are-falling-to-ai-20260803

#AI #Erdős #Erdos #ErdősProblems #PaulErdős #OpenAI #Revolution #ArtificialIntelligence #QuantaMagazine #Maths #Math #NumberTheory #MathRevolution

On May 20, 2026, OpenAI made an announcement that shook the mathematical world. An internal AI model, one not available to the public, had come up with a counterexample to the “unit distance” problem, a conjecture made in 1946 by Paul Erdős, the prolific, itinerant Hungarian mathematician. Erdős posed thousands of questions, but this one was special: It was both simple to explain and mathematically deep. It was the first historically significant proof to come from an AI model. Though the model’s result wasn’t definitive, human mathematicians would substantially improve on it within weeks, it was innovative, bringing in ideas from a distant branch of math that no one had successfully applied to this problem before. And it was influential: Within a few days, related techniques were used to solve other important problems. Then on August 1, OpenAI announced that an unreleased model named Astra made 10 additional mathematical advances, including finding solutions to three more problems posed by Erdős. Many mathematicians have hailed developments such as these as a phase transition in the mathematical capability of AI models. These models are “changing dramatically the way mathematical research is being done,” said Noga Alon of Princeton University, who has solved dozens of Erdős problems over his decades-long career.

https://www.quantamagazine.org/why-the-legendary-erdos-problems-are-falling-to-ai-20260803

#AI #Erdős #Erdos #ErdősProblems #PaulErdős #OpenAI #Revolution #ArtificialIntelligence #QuantaMagazine #Maths #Math #NumberTheory #MathRevolution

📚🎉 Behold the "world's first" linear algebra book with interactive figures, because static numbers and letters are so last century. It's like Instagram for math—swipe right for vectors, swipe left for dot products, but still somehow manage to make math as exciting as watching paint dry. 🙄✨
https://immersivemath.com/ila/ #linearalgebra #interactivelearning #mathinnovation #edtech #mathrevolution #HackerNews #ngated

📚🎉 Behold the "world's first" linear algebra book with interactive figures, because static numbers and letters are so last century. It's like Instagram for math—swipe right for vectors, swipe left for dot products, but still somehow manage to make math as exciting as watching paint dry. 🙄✨
https://immersivemath.com/ila/ #linearalgebra #interactivelearning #mathinnovation #edtech #mathrevolution #HackerNews #ngated

✨ Oh joy, another paper promising to revolutionize math with fancy jargon like "GenerativeVerifier RL" and "PopulationLevel TestTime Scaling." 🤖 Because clearly, the solution to complex mathematical proofs is throwing more #buzzwords at it! 🎉
https://arxiv.org/abs/2606.13473 #mathrevolution #generativeAI #researchinnovation #academicjargon #criticalthinking #HackerNews #ngated

✨ Oh joy, another paper promising to revolutionize math with fancy jargon like "GenerativeVerifier RL" and "PopulationLevel TestTime Scaling." 🤖 Because clearly, the solution to complex mathematical proofs is throwing more #buzzwords at it! 🎉
https://arxiv.org/abs/2606.13473 #mathrevolution #generativeAI #researchinnovation #academicjargon #criticalthinking #HackerNews #ngated

📚🚀 Step right up and marvel at the epic resurrection of ancient geometry, now with nifty colored diagrams to distract you from the fact that it's still, well, geometry. Interactive diagrams and posters promise to spice up these dusty theorems, because everyone knows the key to excitement is... cross-referencing Euclidean propositions! 🤯✨
https://www.c82.net/euclid/ #ancientgeometry #interactivelearning #coloreddiagrams #Euclideanpropositions #mathrevolution #geometryfun #HackerNews #ngated

📚🚀 Step right up and marvel at the epic resurrection of ancient geometry, now with nifty colored diagrams to distract you from the fact that it's still, well, geometry. Interactive diagrams and posters promise to spice up these dusty theorems, because everyone knows the key to excitement is... cross-referencing Euclidean propositions! 🤯✨
https://www.c82.net/euclid/ #ancientgeometry #interactivelearning #coloreddiagrams #Euclideanpropositions #mathrevolution #geometryfun #HackerNews #ngated

🎉 Behold, the ZGC4—a #calculator that promises to revolutionize math class by shipping fast and not costing your entire college fund. 🤔 With cutting-edge features like *existing* technology and zero subscriptions (gasp!), it's the same old graphing calculator in a shiny new wrapper. 📈 Let's all pretend "fast graphing" is the innovation of the century. 🚀
https://www.zerocalculators.com/features #ZGC4 #MathRevolution #FastGraphing #AffordableTech #EdTech #HackerNews #ngated

🎉 Behold, the ZGC4—a #calculator that promises to revolutionize math class by shipping fast and not costing your entire college fund. 🤔 With cutting-edge features like *existing* technology and zero subscriptions (gasp!), it's the same old graphing calculator in a shiny new wrapper. 📈 Let's all pretend "fast graphing" is the innovation of the century. 🚀
https://www.zerocalculators.com/features #ZGC4 #MathRevolution #FastGraphing #AffordableTech #EdTech #HackerNews #ngated

In this groundbreaking revelation, the author stretches the very fabric of reality by turning boring old functions into thrilling "infinite-dimensional vectors". 🧐 Because who doesn't want to apply linear algebra to every mundane aspect of life? 🤓🎉 Required reading: everything you've ever learned about math, ever.
https://thenumb.at/Functions-are-Vectors/ #linearalgebra #mathrevolution #infinitedimensionalvectors #thrillingmath #hackersnews #HackerNews #ngated

In this groundbreaking revelation, the author stretches the very fabric of reality by turning boring old functions into thrilling "infinite-dimensional vectors". 🧐 Because who doesn't want to apply linear algebra to every mundane aspect of life? 🤓🎉 Required reading: everything you've ever learned about math, ever.
https://thenumb.at/Functions-are-Vectors/ #linearalgebra #mathrevolution #infinitedimensionalvectors #thrillingmath #hackersnews #HackerNews #ngated

🚀📉 Wow, what a revolution! A groundbreaking guide to solving the same old math problems but with *gasp* a computer and a fancy new package name. Hold onto your seats, folks, because we’re about to discover that math can be done with software in 2025! 🤯💻
https://ritog.github.io/posts/1st-order-DE-julia/1st_order_DE_julia.html #mathrevolution #techinnovation #software2025 #computermagic #hackernews #HackerNews #ngated

🚀📉 Wow, what a revolution! A groundbreaking guide to solving the same old math problems but with *gasp* a computer and a fancy new package name. Hold onto your seats, folks, because we’re about to discover that math can be done with software in 2025! 🤯💻
https://ritog.github.io/posts/1st-order-DE-julia/1st_order_DE_julia.html #mathrevolution #techinnovation #software2025 #computermagic #hackernews #HackerNews #ngated