邓煜、陶哲轩对谈“AI与数学”：把解题当基准测试犹如抛出“有毒废料”

以OpenAI和Anthropic为代表的AI公司，几乎每隔几天就有AI数学“突破”发布在社交媒体上，引发了媒体的围观与报道。