谷歌「AI联合数学家」来了！刷新最难数学AI基准SOTA，牛津教授用它解开群论悬案
中文摘要
谷歌发布“AI数学家”刷新基准记录，助力牛津教授解决群论难题，推动数学研究新进展。
English Summary
Google’s new AI co-mathematician achieved SOTA results and helped an Oxford professor solve a long-standing group theory mystery.
Original Excerpt
谷歌AI for Math迈出最新一步