Has AI Advanced Enough to Discover New Maths?
We recently discussed how advances in technology are contributing to boosting the productivity of mathematicians during the last thirty years. But the chart we featured in that article depicting how the number of math papers being published each month has nearly doubled in the last three years may not do full justice to how fast the pace of new papers coming out has changed.
Another way to communicate that acceleration in output is Matt Parker’s approach of focusing on a small subset of the new papers being published in the last few months to show how they represent a big increase in the capability of the AI large language models used to generate their findings. In the following video, in what is becoming an annual tradition, he interrupts his vacation to cover breaking news in the world of mathematics.
Parker makes an explicit point of noting the use of the Lean proof assistant to verify their findings, which gives greater confidence the findings in these papers will stand up to serious scrutiny.
Not all the preprint papers that have recently populated the mathematics category of the arXiv database meet that standard, as Reddit math community poster Salt_Attorney recently observed.
By contrast, Lean verification was used in the ten advances spanning several disciplines in mathematics OpenAI claims its Astra AI system has made. As such, they have a much better chance they’ll be found valid when the findings are reviewed.
But the question now being raised is whether verification of findings by a proof assistant is enough to accept AI-generated results as presented. For further reading on that topic, we’ll recommend Gary Marcus’ discussion of OpenAI’s claimed accomplishment to appreciate it may not be either as grand or the Astra AI system as capable as presented in OpenAI’s announcement.
Source: https://politicalcalculations.blogspot.com/2026/08/has-ai-advanced-enough-to-discover-new.html
Anyone can join.
Anyone can contribute.
Anyone can become informed about their world.
"United We Stand" Click Here To Create Your Personal Citizen Journalist Account Today, Be Sure To Invite Your Friends.
Before It’s News® is a community of individuals who report on what’s going on around them, from all around the world. Anyone can join. Anyone can contribute. Anyone can become informed about their world. "United We Stand" Click Here To Create Your Personal Citizen Journalist Account Today, Be Sure To Invite Your Friends.
LION'S MANE PRODUCT
Try Our Lion’s Mane WHOLE MIND Nootropic Blend 60 Capsules
Mushrooms are having a moment. One fabulous fungus in particular, lion’s mane, may help improve memory, depression and anxiety symptoms. They are also an excellent source of nutrients that show promise as a therapy for dementia, and other neurodegenerative diseases. If you’re living with anxiety or depression, you may be curious about all the therapy options out there — including the natural ones.Our Lion’s Mane WHOLE MIND Nootropic Blend has been formulated to utilize the potency of Lion’s mane but also include the benefits of four other Highly Beneficial Mushrooms. Synergistically, they work together to Build your health through improving cognitive function and immunity regardless of your age. Our Nootropic not only improves your Cognitive Function and Activates your Immune System, but it benefits growth of Essential Gut Flora, further enhancing your Vitality.
Our Formula includes: Lion’s Mane Mushrooms which Increase Brain Power through nerve growth, lessen anxiety, reduce depression, and improve concentration. Its an excellent adaptogen, promotes sleep and improves immunity. Shiitake Mushrooms which Fight cancer cells and infectious disease, boost the immune system, promotes brain function, and serves as a source of B vitamins. Maitake Mushrooms which regulate blood sugar levels of diabetics, reduce hypertension and boosts the immune system. Reishi Mushrooms which Fight inflammation, liver disease, fatigue, tumor growth and cancer. They Improve skin disorders and soothes digestive problems, stomach ulcers and leaky gut syndrome. Chaga Mushrooms which have anti-aging effects, boost immune function, improve stamina and athletic performance, even act as a natural aphrodisiac, fighting diabetes and improving liver function. Try Our Lion’s Mane WHOLE MIND Nootropic Blend 60 Capsules Today. Be 100% Satisfied or Receive a Full Money Back Guarantee. Order Yours Today by Following This Link.
| Visits: | 1,830,101,993 |
| Stories: | 8,693,446 |
Whistler Blowers, Insiders
