AI Axiom Math wants to keep AI slop out of mathematics 2026-11-06 04:00 · 읽기 1분 목차 ▲ 🔗 원문 전체 보기 → TechCrunch AI 요약 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 원문 게시일: Thu, 05 Nov 2026 16:16:45 +0000 이 글은 RSS 피드를 통해 자동으로 수집된 콘텐츠입니다. 원문은 위 링크를 통해 확인하세요.