Good news! Math may benefit a lot from ML & AI especially when it comes to complex problems etc.! It will be leaner and meaner!
Unfortunately, neither Google nor Bing search produce relevant news articles on this story. Interestingly, there are apparently some Chinese news outlets which reported on this story, but their articles are in Chinese (see e.g. here). Is this not curious! Maybe another sign that the West is falling behind?
"AI mathematics startup Axiom produced formalized proofs for two open conjectures in the mathematical language Lean. Erdös problem #481 has been open since 1980 and problem #124 has been open for about 30 years.
Prolific mathematician Paul Erdős formulated roughly 1,100 problems, but only 266 have ever been proved. The solutions come weeks after OpenAI claimed GPT-5 solved Erdős problems, only for mathematicians to observe the model had retrieved existing solutions rather than having discovered new proofs."
24-year-old founder and CEO Carina Hong created Axiom Math in March 2025 and has recruited a team of ten employees, most of whom are from Meta, to build a math-focused AI model. Axiom Math (Source)
No comments:
Post a Comment