Codex Sol has been running for a day on a simpler Fermat’s Last Theorem proof
MikePFrank · x · 2026-07-25
One poster says they have had Codex Sol (Extra High) running since yesterday, trying to find a simpler proof of Fermat’s Last Theorem than the current state of the art. So far, there’s no breakthrough, but it has been making small advances on subproblems along the way.
More from Fun
- A joke says UK AISI evals can unlock Pentagon hacking in prompts — anpaure · 2026-07-25
- A cotton-picking robot with 108 arms is the latest robotics spectacle — chris_j_paxton · 2026-07-25
- A sarcastic pitch to “empower developers to use more Midjourney” — MickeySteamboat · 2026-07-25
- A meme predicts 2027 science fairs will feature GPT-6 solving Collatz — var_epsilon · 2026-07-25
- A wizard joke tweet lands on X with a meme-style arrival punchline — HankYeomans · 2026-07-25
- Creator turns the history of AI into an illustrated documentary with “clankers” — daniel_mac8 · 2026-07-25