A New AI Math Startup Just Cracked 4 Previously Unsolved Problems

Axiom says its AI found solutions to several long-standing math problems, a sign of the technology’s steadily advancing reasoning capabilities.
People

Louisiana High School Seniors Say They Discovered a New Proof for 2,000-Year-Old Math Theorem

Calcea Johnson and Ne'Kiya Jackson believe they can prove the Pythagorean Theorem using trigonometry — and are being encouraged to submit their work for peer review Jason Hahn is a former Human ...
Communications of the ACM

Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification

A marriage of formal methods and LLMs seeks to harness the strengths of both.
Complex

2 New Orleans Teens Provide Historic New Proof for 2,000-Year-Old Math Theorem

Two teens say they’ve historically solved Pythagoras’ famous theorem by using trigonometry. New Orleans natives Calcea Johnson and Ne’Kiya Jackson, who attend St. Mary’s Academy, presented their ...
Black Enterprise

Black New Orleans Teens Provide Trigonometry Proofs for Pythagorean Theorem, Once Thought To Be Impossible

Two New Orleans teens joined an exclusive club of mathematicians when they discovered trigonometry proofs for Pythagorean's Theorem. Two teens in New Orleans joined an exclusive club of mathematicians ...

What is the pizza theorem? A fun geometry concept that challenges your intuition

A surprising mathematical concept, the pizza theorem, reveals that uneven pizza slices can still be equal in total area. This holds true when a pizza is cut in a specific way, with the number of ...
The New York Times

A.I.’s Latest Challenge: the Math Olympics

Watch out, nerdy high schoolers, AlphaGeometry is coming for your mathematical lunch. Credit...Christian Gralingen Supported by By Siobhan Roberts Reported from Stanford, Calif. For four years, the ...