Thomas Wolf(@Thom_Wolf)· Thomas Wolf (@Thom_Wolf)·· 8 天前AI 评估 · 51/100分数表示内容值得关注的程度，依据实质份量、信息增量、证据强度、读者相关性和可用性，按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误，评分不代表事实已被核实，也不同于热点榜的讨论热度。
Thomas Wolf 转发 Kevin Buzzard 谈机器在数学中的自然边界
Very thoughtful piece from Kevin Buzzard (perfect IMO score, number theorist, pioneer of formal math...
AI 导读
Thomas Wolf 转发并赞同数学家 Kevin Buzzard 关于 AI 与数学的观点。Buzzard 认为，未来数学会到达一个新的自然边界，机器会在那里停滞，再投入资源也难以实现下一次大跃迁，因此最优做法是放手让机器去探索，再沿着它们停下的地方继续推进。
来源：Thomas Wolf(@Thom_Wolf) · x.com