offline-ant/wiggums-proof-loop
View on GitHub ↗ ★ 2 Lean
Simplify/shrink this Lean proof, repeatedly: 24.65% fewer substantive lines; same protected theorem, fresh kernel verification.
3 mentions on Hacker News by 1 person: 1 story, 2 comments · first 2026-10-09 · latest 2026-10-24
20082026
-
This experiment might be relevant: https://github.com/offline-ant/wiggums-proof-loop
comment by athrowaway3z · 2026-10-24 · in Oai-math-revised: a community hub for revising OpenAI's math write-ups -
…afaict which is the openai math proofs; and they didnt even take the time to wash out the dirt ( https://github.com/offline-ant/wiggums-proof-loop ) and the trick of scaling really isn't all that mind-bending beyond increasing an integer…
comment by athrowaway3z · 2026-10-13 · in The gap in shared understanding of LLM capability is widening