X · @emollick
· X / Twitter
This time it is novel math proofs with a public model (most of the other big math breakthroughs have been with experimental LLMs).
This time it is novel math proofs with a public model (most of the other big math breakthroughs have been with experimental LLMs).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 subagents in j