Interesting to read! > contributions One thing I think you and the other "AI math builders" have done, is to show how good the top models are at logics and re

Interesting to read! > contributions One thing I think you and the other "AI math builders" have done, is to show how good the top models are at logics and reasoning. I didn't realize how good they are, until they solved an Erdös problem. And now lots of Erdös problems! (Plus verified that the AIs actually did solve the problems, that's not easy :- ))