标签：人工智能辅助数学证明

原标题：8分钟，Grok 3破解美国本科生最难数赛题！马斯克要用100万GPU反超「星际之门」？ 文章来源：新智元 内容字数：4814字马斯克xAI扩张迅猛：亚特兰大新...

菲尔茨奖获得者、华裔数学家陶哲轩最新论文被拒稿引发热议