Hacker GitHub

← All repos

openai/cdc-lean

View on GitHub ↗ ★ 136 Lean

3 mentions on Hacker News by 3 people: 0 stories, 3 comments · first 2026-07-11 · latest 2026-07-11

Mentions per year 3 mentions · busiest year 2026 (3)
20082026
AllStoriesComments NewestTopOldest
  1. I guess it was done as an afterthought? This is supposed to be a lean formalization https://github.com/openai/cdc-lean
    comment by kzrdude · 2026-07-11 · in GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]
  2. https://github.com/openai/cdc-lean
    comment by mmoskal · 2026-07-11 · in GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]
  3. …- https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98... Lean formalization of the proof - https://github.com/openai/cdc-lean
    comment by virgildotcodes · 2026-07-11 · in Cycle Double Cover Conjecture Proof Using 5.6 Sol Ultra