3 ms·
Mathematics in the Library of Babel
- iberator 8mo agoI highly recommend this short book(story). One of the best I have seen in my life :)
- mlpoknbji 8mo agoInteresting 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