数学界被重新定义？AI 高斯 3 周破难题，陶哲轩警示别丢根本
5天前笔杆先生 2025-09-15 16:42 被称为数学界莫扎特的陶哲轩和同事搞的这个“强素数定理形式化”，说白了就是给数学定理做“数字化安检”。 咱们上学时学的数学证明，都是用文字写的，难免有歧义或者 …
陶哲轩联手ChatGPT！10分钟击碎30年「无理」难题，数学圈炸裂
10天前新智元报道 编辑：KingHZ 【新智元导读】10分钟，答案浮出水面！陶哲轩用ChatGPT，发现一道30多年来一直认为悬而未决的问题，其实早被华人数学家给破解了。没有「神迹」，他这次只是用对 …
陶哲轩用GPT-5解决数学难题：仅29行Python代码
13天前AI又又又帮陶哲轩解决了一个难题！ 消息来自陶本人最新发帖，他直言不讳地表示： 如果没有AI帮忙，完成同样任务就需要花费数小时（主要是手动编写代码和调试）。 甚至，如果没有AI，他也不会决定采用目前已 …
陶哲轩痛诉很缺钱！科研经费暴跌67%十年最低，自掏腰包科研
5个月前新智元报道 编辑：犀牛 【新智元导读】美国国家科学基金会（NSF）对基础科学的资助，十年间从人均80美分骤降至22美分。菲尔兹奖得主陶哲轩一声叹息：已经无力再为长期项目筹措资源，只能自掏腰包做 …
陶哲轩：从数学神童到平凡学者的非凡人生
5个月前天天娱乐达人老王 2025-04-13 08:01 在人类智力发展的历史长河中，陶哲轩的名字犹如一颗璀璨的星辰，以其非凡的数学天赋照亮了学术界的天空。这位1975年出生于澳大利亚阿德莱德的华裔数学家， …