陶哲轩 + AI 解决困难的数学问题🤯 在这个例子中,洞察来自陶哲轩,而力量——通过与 GPT-5 的一小时对话以及它编写的一些 Python 代码——来自 AI。 “在这里,AI 工具的使用节省了大量时间……实际上,如果没有 AI 的帮助,我很可能根本不会尝试这个数值搜索。”