LINKED LIST
[txt mode]
▸
AI "Proves" Collatz Conjecture with L...
home
explore
|
log in
AI "Proves" Collatz Conjecture with Lean 4 Bug
news.ycombinator.com · 2026-09-30 · 0 upvotes
log in
to save, upvote or flag this.
─── In 0 lists ─────────────────────────────────────────
(not in any lists yet)
related read on:
*
Declaration — Math and AI
(related HN threads)