TechCrunchAxiom Math wants to keep AI slop out of mathematics | TechCrunch
作者 Aditya Mehta全文約 5,523 字
文章摘要
TechCrunch · 文章頁摘要As AI floods math with unchecked proofs, Axiom Math is betting on verification. The startup’s AI agents just formally verified the Stacks Project, one of the field’s biggest libraries.
It feels like AI is cracking a new math problem every week. Last month, OpenAI alone released 719 manuscripts claiming solutions to some of the field’...