52. I don't know why people believe that mathematics has been solved. It's not even close. I have been using big mode… (t.co) by @kfountou (Kimon Fountoulakis) · backlist 2026-05-09 · rubric 85.0
51. Verification of math currently takes multiple days, if it succeeds at all. It needs to drop to O(generation time). by @kfountou (Kimon Fountoulakis) · backlist 2026-05-08 · rubric 91.0