Quanta Magazine

In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far?

The quest to make mathematics rigorous has a long and spotty history — one mathematicians can learn from as they push to ...

For the First Time, ChatGPT Has Solved an Unproven Math Problem in Geometry

New research has found ChatGPT-5.2 can generate original mathematical proofs, introducing “vibe-proving” as a new AI ...
Yahoo

Mathematicians Wrote a Proof for a 100-Year-Old Problem—and May Have Just Changed Geometry

"Hearst Magazines and Yahoo may earn commission or revenue on some items through these links." A 125-page proof posted to arXiv may represent a huge breakthrough in geometric measure theory. This ...
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 ...
AOL

Mathematicians Wrote a Proof for a 100-Year-Old Problem—and May Have Just Changed Geometry

"Hearst Magazines and Yahoo may earn commission or revenue on some items through these links." Two mathematicians now say they’ve made progress on a very old unsolved math problem. The problem ...
来自MSN

AI verifies a prizewinning math proof, raising stakes for the field

Artificial intelligence has formally verified the prizewinning proof that solved the sphere packing problem in eight dimensions, a result closely tied to Maryna Viazovska’s Fields Medal. The ...
Wired

Google DeepMind’s Game-Playing AI Tackles a Chatbot Blind Spot

Several years before ChatGPT began jibber-jabbering away, Google developed a very different kind of artificial intelligence program called AlphaGo that learned to play the board game Go with ...