bluesky — David Orban — 17 Sep 2026
Ten thousand agents, eighty-eight hours, one Millennium Prize problem, and a proof Lean checks line by line. So: do you…
#ai-aided-mathematics #formal-verification #automated-theorem-proving
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/