不得了，这个名叫Gauss（高斯）的新AI Agent，有点杀疯了的感觉。 因为它只用了三周的时间，就完成了陶哲轩和Alex Kontorovich提出的数学挑战—— 在Lean中形式化强素数定理（P … Continue reading 陶哲轩18个月没搞定的数学挑战，被这个“AI高斯”三周完成了
标签： 陶哲轩
《华盛顿邮报》：世界上最伟大的数学家回避政治，然后特朗普削减了科学经费
The world’s greatest mathematician avoided politics. Then Trump cut science funding. 常被称作“数学界莫扎特”的陶哲 … Continue reading 《华盛顿邮报》：世界上最伟大的数学家回避政治，然后特朗普削减了科学经费
“失去留在美国的信心”，顶尖华裔数学家陶哲轩，被迫在美紧急筹款
据澎湃新闻9月8日报道，美国华裔数学家陶哲轩是世界顶尖科学家之一，然而自7月下旬以来，他却被迫专注于一件事：筹款。 顶尖华裔数学家 被迫在美筹款 根据陶哲轩接受媒体采访时提供的信息，自今年8月起，他和 … Continue reading “失去留在美国的信心”，顶尖华裔数学家陶哲轩，被迫在美紧急筹款
「数学天才」陶哲轩：GPT-4 无法攻克一个未解决的数学问题，但对工作有帮助
数学天才陶哲轩的研究也用上了 AI 工具 GPT-4。有了 GPT-4，你想做的，只需复制、粘贴、一键完成！ 当红炸子鸡 ChatGPT，也成为数学天才陶哲轩的研究工具了。 近日，他在网上称自己发现了 … Continue reading 「数学天才」陶哲轩：GPT-4 无法攻克一个未解决的数学问题，但对工作有帮助
改进张益唐证明，陶哲轩「他的证明比我还强」
原标题：改进张益唐证明，陶哲轩「他的证明比我还强」，这个天才青年还解决了困扰数学界近 80 年的「简单问题」 鱼羊 萧箫 发自凹非寺 量子位报道公众号 QbitAI … Continue reading 改进张益唐证明，陶哲轩「他的证明比我还强」
