「AI Slop」的搜尋結果
11/6（五）
Axiom Math wants to keep AI slop out of mathematics | TechC…
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.
TechCrunch