Jeremy D. Avigad

AI for research mathematics has arrived

Artificial intelligence can now solve research problems in mathematics and verify the answers