#AI数学

共 8 条 · 7 天 2 条 · 30 天 3 条

菲尔兹奖 3 a16z 1 AI安全 1 AI推理 1 Astra 1 Christian Szegedy 1 Daniel Litt 1 Lisha Li 1

信息流里打上「AI数学」标签的资讯、产品与论文，按刊登时间排，新的在上。

10月17日

行业多源确认83°17:19

数学家质疑 OpenAI 的 Navier-Stokes 证明方法论

OpenAI 交了 166 页的 Navier-Stokes 证明，结果数学家说他们自己都讲不清方法是怎么来的，挺离谱的。

#OpenAI #Navier-Stokes #千禧年难题 #AI数学

事件专题

官方账号Decoder@Manuel Uth11 个信源在谈原文

10月13日

行业中美对照22:56

西方数学家警惕AI证明，丘成桐牵头千余科学家推进AI数学研究

同一个AI证明问题，25位菲尔兹奖得主想抵制，丘成桐却拉了8家机构1000多号人要把它用起来，两边路线分歧挺有意思。

#Shing-Tung Yau #菲尔兹奖 #AI数学 #AI安全

官方账号Decoder@Manuel Uth原文

10月4日

行业 Agent 与开发者06:39

Christian Szegedy：AI 已能猜想与理论化，怀疑论者描述的是去年春天的模型

Szegedy 回应 Tao 和 Gowers 的文章，说 AI 数月内就能猜想和理论化，他还写了篇长文讲自己的判断，可以看看他怎么论证的。

#Christian Szegedy #Terry Tao #AI数学 #AI推理

Paul Graham@paulg原文

9月2日

行业73°01:18

多伦多数学家谈AI对数学的影响

多伦多数学家揭秘AI在数学中的真实能力与局限，AI能计算却无法构建理论。

#Daniel Litt #Lisha Li #AI数学 #数学理论

a16z@a16z原文

8月17日

行业19:09

菲尔兹奖得主：AI现在主要靠「抬杠」突破重大数学猜想

菲尔兹奖得主说AI靠找反例突破数学猜想，这思路跟传统证明完全不一样。

#菲尔兹奖 #数学猜想 #反例 #AI数学

量子位@梦瑶原文

8月15日

行业22:42

菲尔兹奖得主马丁·海尔：AI数学推演已达博士水平，中国基础科学投入印象深刻

菲尔兹奖得主马丁·海尔说AI数学已经到博士水平，但他觉得全面超越人类还早。还聊了中国数学这几年的飞跃，挺有意思。

#马丁·海尔 #菲尔兹奖 #AI数学 #中国基础科学

IT之家原文

8月4日

论文01:20

陶哲轩谈AI与数学：警惕“证明消化不良”

陶哲轩对AI做数学的真实看法，讲得很清楚：AI能算题，但建理论还不行。

#Terence Tao #Astra #AI数学 #数学研究

Gary Marcus@GaryMarcus原文

7月29日

行业20:32

中科院院士与北电数智共探AI与数学乘法效应

院士和一线专家聊透了数学怎么帮AI省钱、提效，比纯技术文章更接地气。

#中科院 #北电数智 #AI数学 #产业落地

量子位@量子位的朋友们原文