标签:数学家
陶哲轩转发、菲尔兹奖得主领衔:AI正在颠覆数学家的工作方式 | 美国数学学会特刊
梦晨 发自 凹非寺量子位 | 公众号 QbitAI陶哲轩点赞转发,《美国数学学会通报》用一整期特刊介绍了AI给数学带来的改变。 这些文章读起来很有趣,尽管使我自己...
数学界“诺贝尔奖”的阿贝尔奖揭晓
来源:中国科学报、科学网 近日,被誉为数学界“诺贝尔奖”的阿贝尔奖揭晓。 挪威科学和文学学院决定将2024年阿贝尔奖授予法国概率理论家米歇尔·塔拉格兰德(Mi...
2024年阿贝尔奖揭晓!授予解释随机性的数学家Michel Talagrand
来源:科学网 文:《中国科学报》记者韩扬眉 3月20日,被誉为数学界“诺贝尔奖”的阿贝尔奖揭晓。 挪威科学和文学学院决定将2024年阿贝尔奖授予法国概率理论家...
传奇大爷拿下“数学界诺贝尔奖”;陶哲轩祝贺:他本应更知名
丰色 发自 凹非寺量子位 | 公众号 QbitAI这是属于概率论的高光时刻。 有着“数学诺贝尔奖”之称、与菲尔兹奖齐名的阿贝尔奖,今年颁给了72岁法国数学家米歇尔•...
对话陶哲轩:什么造就“好”的数学?人工智能如何改变数学?
来源:返朴 对话:Steven Strogatz 嘉宾:陶哲轩(Terence Tao) 翻译:zzllrr小乐 被称为“数学莫扎特”的陶哲轩在2007年写了一篇文章,探讨“好”的数学研究的...
陶哲轩预测再成真!AI做出椭圆曲线难题重大发现,华人数学家接近千禧年大奖
新智元报道编辑:Aeneas 好困 【新智元导读】最近的数学圈,都被椭圆曲线的murmuration(椋鸟群飞)现象震惊了。由经验不足的本科生无意中做出的这个成果,竟...
陶哲轩上新项目:Lean中证明素数定理,研究蓝图都建好了
机器之心报道 编辑:陈萍借助 Lean,陶哲轩又开始了新的项目。「由 Alex Kontorovich 和我领导的一个新的 Lean 形式化项目刚刚正式宣布,该项目旨在形式化素...
对话阿贝尔奖得主拉兹洛·洛瓦兹
大数据文摘授权转载自zzllrr小乐 作者:拉斐拉·穆拉斯(Raffaella Mulas) 译者:zzllrr小乐拉兹洛·洛瓦兹(László Lovász,1948 -,以下简称LL)是匈牙利数...
再登Nature!DeepMind大模型突破60年数学难题,解法超出人类已有认知
来源:量子位 作者:克雷西 用大模型解决困扰数学家60多年的问题,谷歌DeepMind最新成果再登Nature。 作者之一、谷歌DeepMind研究副总裁Pushmeet Kohli表示:...
Nature:DeepMind大模型突破60年数学难题,解法超出人类已有认知
克雷西 发自 凹非寺量子位 | 公众号 QbitAI用大模型解决困扰数学家60多年的问题,谷歌DeepMind最新成果再登Nature。作者之一、谷歌DeepMind研究副总裁Pushmee...
陶哲轩用 AI 形式化的证明究竟是什么?一文看懂 PFR 猜想的前世今生
选自量子杂志机器之心编译编辑:panda正是包括两位菲尔兹奖获得者在内四位数学家的坚持,才得以证明了一个堪称「加性组合学圣杯」的猜想,其中 AI 辅助证明起...
华人攻破上世纪数学难题:求一张白纸上的所有线条上共有多少灰尘|普林斯顿&纽大
丰色 发自 凹非寺量子位 | 公众号 QbitAI想象你面前有一张巨大的白纸,上面画了很多线,每条都指向不同的方向。突然一阵风吹过,一些灰尘落在纸上。此时一位...
百岁数学巨匠陨落!丘成桐视他为师,90岁依旧研究数学
克雷格 金磊 发自 凹非寺量子位 | 公众号 QbitAI被誉为“20世纪最有影响力之一”的数学家卡拉比(Eugenio Calabi)逝世了,享年100岁。他的一生,为人类几何学...
「陶哲轩×GPT-4」合写数学论文!数学大佬齐惊呼,LLM推理神助证明不等式定理
新智元报道编辑:编辑部【新智元导读】陶哲轩的新论文,竟是用GPT-4辅助写的?前不久,GitHub Copilot的惊人能力已经让陶哲轩不安,现在,众大佬齐呼数学研究...
沉寂四十年,海尔布隆三角问题找到了更小的上界
机器之心编译编辑:赵阳一项新的证明打破了几十年来海尔布隆三角问题的上界,虽然数值上只是突破了一点,但却是三角问题的一大步。假设有一个里面有一堆点的...