Post
David Orban
davidorban.com
did:plc:pjuii3awes7zrs3fmcuujxb3
Ten thousand agents, eighty-eight hours, one Millennium Prize problem, and a proof Lean checks line by line. So: do you want to win a Nobel Prize? Pick the problem, design the reward, go.
https://davidorban.com/2026/09/do-you-want-to-win-a-nobel-prize/
2026-09-17T21:14:24.561Z