HN Radio.daily Hacker News, read aloud

← all entities

GPT-5.6 Sol Ultra

product · 1 story across the archive · newest first · ai

0 mentions in Aug 20250 mentions in Sep 20250 mentions in Oct 20250 mentions in Nov 20250 mentions in Dec 20250 mentions in Jan 20260 mentions in Feb 20260 mentions in Mar 20260 mentions in Apr 20260 mentions in May 20260 mentions in Jun 20261 mention in Jul 2026mentions by month
mixed HN was impressed but cautious: commenters treated the claimed proof as potentially huge, while repeatedly asking how much cherry-picking, prompting, expert scaffolding, and failed runs were behind it. A major thread focused less on the graph theory and more on what the released prompt says about current models needing — latest discussion,
often appears withOpenAICodexCycle Double Cover Conjecture
  1. OpenAI model claims a proof of a famous graph theory conjecture▲ 510 · 424 comments0:00 / 0:25 · 3:12