GPT-5.6 Sol Ultra Produces Proof of the Cycle Double Cover Conjecture
OpenAI claims GPT-5.6 Sol Ultra has generated a proof for a 50-year-old graph theory conjecture in under an hour. The math community is now verifying whether it holds up.
Read the full articleYou might also wanna read
OpenAI Says GPT 5.6 Sol Produced A Proof Of The 50-Year-Old Cycle Double Cover Conjecture Using 64 Subagents In 1 Hour
AI systems continue to accelerate at finding solutions to math problems. OpenAI’s Ethan Knight posted on X that GPT-5.6 Sol Ultra, made gene
OpenAI Says GPT 5.6 Sol Produced A Proof Of The 50-Year-Old Cycle Double Cover Conjecture Using 64 Subagents In 1 Hour
AI systems continue to accelerate at finding solutions to math problems. OpenAI’s Ethan Knight posted on X that GPT-5.6 Sol Ultra, made gene
GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]
Article URL: Comments URL: Points: 8 # Comments: 1
OpenAI says GPT-5.6 Sol Ultra produced a proof of a 50-year graph theory problem
Ethan Knight said the run used 64 subagents in under an hour, pushing OpenAI's new ultra mode into peer-review territory.
OpenAI claims new reasoning model disproves 1946 Erdős geometry conjecture, but credibility questioned after past false claims
OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who exposed its la
mexnews.online·1d agoOpenAI Reveals GPT-5.6 Sol Cybersecurity Model, Restricts Early Access
OpenAI is previewing its GPT-5.6 Sol model to a vetted few at the US government's request
GPT-5.6 Sol Shows Modest Gains on ARC-AGI Reasoning Benchmarks
GPT-5.6 reasoning variants across ARC-AGI-1, ARC-AGI-2, and ARC-AGI-3.
arcprize.org·1d ago
Comments
Sign in to join the conversation.
No comments yet. Be the first.