TechCrunch · AI· Aditya Mehta·· 1 d ago
Axiom Math wants to keep AI slop out of mathematics
Axiom Math wants to keep AI slop out of mathematics
AI summary
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.
Selection record
Threshold 76Media and individualsFirst 62Second 58
Not admittedSum of both 120 < twice the threshold 152
- Source tier
- Media and individuals; this tier's threshold is 76
- Pre-filter
- passed：AI代理形式化数学验证，实质AI技术应用
A model scores each item twice, independently, against one written standard, out of 100. An item is admitted only when the two scores add up to twice the threshold. The threshold is set per source tier.
Source: TechCrunch · AI · techcrunch.com