Post

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/