커뮤니티해외
Fable 5.2 에이전트 1,000개가 페르마의 마지막 정리를 공식 검증했다
원제 · A team of 1,000 Fable 5.2 agents fully formalized Fermat’s Last Theorem in 30 hours, translating the proof into a language a computer can check step by step. With the same setup, Opus 5.5 completed only 26% in 18 hours, and barely made any more progress after 30 hours.
r/singularity오늘 6위
이 소식은 제목과 출처만 제공됩니다. 자세한 내용은 원문에서 확인하실 수 있습니다.
원문의 저작권은 r/singularity에 있습니다. 위 발췌는 원문 확인을 돕기 위한 짧은 인용입니다.