Google neme • 3mo ago • 100%

Google claims math breakthrough with proof-solving AI models

arstechnica.com