커뮤니티해외
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에 있습니다. 위 발췌는 원문 확인을 돕기 위한 짧은 인용입니다.
같은 소식 다른 보도
- The only AI that can be of help....r/ChatGPT · 11.11 18:16
- Skydance Is Betting On AI To Help Dig Itself Out Of $87 Billion In DebtCartoon Brew · 11.11 09:46
- Left Lane Logic: When the passing lane rules only apply to the car ahead of your/aivideo · 11.11 02:41
- ComfyUI Tutorial :Fixing MiniMax H3 Video Upscaling Details loss with RelayVSR & DLSS5 Nodes with only 6GB of Vramr/comfyui · 11.10 22:05
- Big Walk developer House House reveal genAI use in final stretch of development, only revealing it now as "it has become a matter of public interest"Rock Paper Shotgun · 11.10 19:19