Terence Tao on Nostr: nprofile1q…q7afh Most questions on MathOverflow cannot be solved through code, as ...

nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqt7trw6hz36c3slvr6kxtrmed4exls69tkmq2phlhkkzpys08s9sq5q7afh (nprofile…7afh) Most questions on MathOverflow cannot be solved through code, as they often involve infinite spaces, or unbounded numerical quantities. In the long term, when formal proof assistants improve and become more integrated with AI, it may become possible for AI to generate answers to MathOverflow type questions written in such languages; but this is still several years away from being feasible at current trends.