已收录文章摘要,完整内容可前往原文阅读。
大家好,我是PaperAgent,不是Agent!陶哲轩:Math 2.0(数学2.0)时代已至近期,OpenAI和Anthropic在AI数学上动作频频(Google也加入),先是模型挑战开放数学问