George Szekeres

mentions 2 type Person feed RSS

// recent coverage 2 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…

// co-occurs with top 8 entities

OpenAI 2 GPT-5.6 Sol Ultra 2 Cycle Double Cover Conjecture 2 Paul Seymour 2 Thomas Bloom 1 Ethan Knight 1 University of Manchester 1 Codex 1

// topics top 5 topics

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