來源: TechCrunch AI ↗
Axiom Math wants to keep AI slop out of mathematics
|
暫時無法翻譯，請重試。
來源報導重點
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 AI 閱讀原始報導 ↗