AI for research mathematics has arrived.
Medicine
Abstract
Artificial intelligence can now solve research problems in mathematics and verify the answers.