目前不在新聞媒體排行榜上。
現存收錄紀錄首次見到:11/5 16:23 · 最早已收錄報導:11/6 00:16
報導趨勢
關鍵字變化
過去 3 天標成 #math 的報導
另有 12 篇標題或摘要提到「math」,但沒有這個標籤。看所有提到「math」的文章 →
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.
