X · @gdb
· X / Twitter
50-year old math conjecture solved with Sol Ultra. Feels like the limit of what you can do is increasingly your ambition and imagination:
50-year old math conjecture solved with Sol Ultra.Feels like the limit of what you can do is increasingly your ambition and imagination:Ethan Knight: Yesterday, we made GPT-5.6 Sol Ultra generally available. Today, we're sharing that it produced a proof of the 50-year-old Cycle Double Cover Conjecture using 64 subagent