How do we prevent mathemathics from devolving into the Medieval Era of secrecy?
Thread
Unofficial Hacker News client; not affiliated with Y Combinator.
How do we prevent mathemathics from devolving into the Medieval Era of secrecy?
Unofficial Hacker News client; not affiliated with Y Combinator.
philprx · · focus · HN ↗
The proof must be as succinct as possible so that it's reviewable. It's ok for the same LLM to publish repeatedly, but it's not Ok to drop a bulk 600kb Lean proof.
The proof must build on other works that are similarly bite sized and published before (so that it's incrementally reviewed)
The proof must be published as soon as fully formed, and not in bulk like current LLMs proofs.