r/singularity3h agoenergy 105
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.
image: r/singularity
read the original at r/singularity →
This source publishes only a summary in its feed, so the full article lives at the outlet. The link above and below goes to the original.