Mathematics in the Library of Babel(daniellitt.com)
daniellitt.com
Mathematics in the Library of Babel
https://www.daniellitt.com/blog/2026/2/20/mathematics-in-the-library-of-babel
2 コメント
Interesting post. The First Proof experiment really showed us the near future of AI/math interactions, some impressive success, but also lots of extremely hard to verify text, misformulated lean "proofs" etc. but progress on AI does math has indeed been impressive
I highly recommend this short book(story).
One of the best I have seen in my life :)