AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever
Anthropic says Claude spent 11 days turning Fermat's Last Theorem into 13 million lines of code a computer can check itself, no human trust required
- 출처
- Decrypt
- 게시 시간
- 2026-09-05 13:01 UTC
- 캐시 업데이트
- 2026-09-05 13:03 UTC
이 페이지는 제목, 요약, 출처 정보만 표시합니다.
원문 열기 ↗전송 수수료 확인