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.
NextBigFuture

Autonomous Deepmind AI Generates Publishable Math Papers – Next Accelerate Science Research

DeepMind's Aletheia is a huge advance in AI-driven mathematical reasoning. It is a research agent built on top of Gemini Deep ...
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.
IFLScience on MSN

"Once In A Century" Math Proof Threads The Needle On A Decades-Old Conjecture

If pure math can teach us anything, it’s this: occasionally, your special interest might just change the world. For Joshua Zahl and Hong Wang, that special interest was the Kakeya conjecture. “I read ...
Wired

A New Proof Moves the Needle on a Sticky Geometry Problem

The original version of this story appeared in Quanta Magazine. In 1917, the Japanese mathematician Sōichi Kakeya posed what at first seemed like nothing more than a fun exercise in geometry. Lay an ...
Popular Mechanics

Machines Are on the Verge of Tackling Fermat’s Last Theorem—a Proof That Once Defied Them

A mathematician will turn a groundbreaking 100-page proof into computer code. The proof tool, Lean, lets users turn proofs written in prose into rules and logic for testing. Kevin Buzzard already uses ...
Scientific American

AI Does Math as Well as Math Olympians

The International Mathematical Olympiad (IMO) is probably the most prestigious competition for preuniversity students. Every year students from around the world compete for its coveted bronze, silver ...