GPT-5.6 Sol Ultra solves the 50-year-old Cycle Double Cover Conjecture in under an hour
The model coordinated 64 subagents to generate the mathematical proof.
Combined views
1M
21 Sources, first seen ago
Sources
ZE 
Zephyr@zephyr_z9- likes: 78
- replies: 1
- bookmarks: 7
- reposts: 1
RP Rohan Paul@rohanpaul_aiThis is so great. GPT-5.6 Sol Ultra produced a 50-year-old conjecture proof using 64 subagents within one hour. The prompt directed 64 agents toward competing approaches, repeated audits, and rejection of partial arguments. OpenAIโs release says GPT-5.6 Sol Ultra parallelizesโฆ
- likes: 102
- replies: 7
- bookmarks: 33
- reposts: 12
KA kache@yacineMTBThat's cool but can I get the ceberas 750 TPS version? I want to have my shit simulator optimized in webgpu faster https://twitter.com/__eknight__/status/2075643450196971805
- likes: 59
- replies: 3
- bookmarks: 4
- reposts: 1
AW Alexander Wei@alexwei_A delightful two-page proof of the Cycle Double Cover Conjecture, from a model you can access at home! https://twitter.com/__eknight__/status/2075643450196971805
- likes: 112
- replies: 0
- bookmarks: 10
- reposts: 6
DS Dan Shipper ๐ง@danshipperYesterday, GPT-5.6 Sol Ultra became generally available. Today, I'm sharing that I accidentally spent 2b tokens overnight and I didn't even solve a 50-year-old math conjecture. This is extremely cool though, skill issue on my part clearlyโฆ
- likes: 412
- replies: 18
- bookmarks: 49
- reposts: 7
GB Greg Brockman@gdb50-year old math conjecture solved with Sol Ultra. Feels like the limit of what you can do is increasingly your ambition and imagination: https://twitter.com/__eknight__/status/2075643450196971805
- likes: 2.2K
- replies: 94
- bookmarks: 319
- reposts: 123