Paul Seymour

mentions 3 type Person feed RSS

// recent coverage 3 mentions

14:03

2026-07-12

sourcefeed.dev

artificial-intelligence

AI Math Proofs Still Need Human Checkers

OpenAI claimed its GPT-5.6 Sol Ultra model produced a proof of the Cycle Double Cover Conjecture, a 50-year-old graph theory problem, in under an hour using 64 parallel subagents. The proof has not be…

22:45

2026-07-11

mlq.ai

artificial-intelligence

OpenAI Claims GPT-5.6 Sol Ultra Solved 50-Year-Old Math Conjecture in Under an Hour

OpenAI announced on July 10 that its GPT-5.6 Sol Ultra model generated a complete proof of the 50-year-old Cycle Double Cover Conjecture in under one hour using 64 parallel subagents. Mathematician Th…

09:08

2026-07-11

dev.to

artificial-intelligence

GPT-5.6 Claims to Solve a 50-Year-Old Math Problem. Nobody Can Confirm It.

OpenAI released a 3-page proof of the 50-year-old Cycle Double Cover Conjecture, generated entirely by GPT-5.6 Sol Ultra using 64 cooperating agents. The proof has not been independently verified by m…

// co-occurs with top 8 entities

OpenAI 3 GPT-5.6 Sol Ultra 3 Cycle Double Cover Conjecture 2 George Szekeres 2 Thomas Bloom 1 Ethan Knight 1 University of Manchester 1 Paul Tutte 1

// topics top 6 topics

artificial intelligence 3 large language models 3 ai research 3 ai agents 2 ai products 1 ai ethics 1