Alex Korbonits
Home
Blog
Now
Uses
Reading
Projects
About
Friends
Stocks
Search
LinkedIn
GitHub
Mastodon
Bluesky
#mathematics
One of the Following Four Statements
Sep 8, 2026
The Question Was Already Written
Sep 6, 2026
Who Writes the Question
Aug 1, 2026
Easier to Convince Than to Prove
Jun 12, 2026
Who Verifies the Verifier
May 28, 2026
The Verification Problem
May 23, 2026