内容聚合站 · 最新收录

10月21日周三 1 条

陶哲轩邓煜最新对谈，呼吁数学「慢科研」

AI能给出数学证明，不代表人类真正理解了这道题

推荐理由本文围绕「陶哲轩」、「菲尔兹奖」等主题展开。

#菲尔兹奖#陶哲轩

10月15日周四 1 条

10-15

15:00

量子位量子位 1908 字

GPT证千禧年难题成果大反转！OpenAI自己没看懂就发…

科学美国人深挖一个月「西班牙路线」。

推荐理由本文涵盖「GPT」、「OpenAI」、「美国」等多个主题，重点关注 GPT。

#OpenAI#陶哲轩#美国#GPT

10月13日周二 1 条

10-13

12:00

机器之心机器之心 4455 字

九章云极问鼎陶哲轩数学挑战赛！让强化学习成为AI4S新基建

让 AI 探索更广袤的未知。

推荐理由本文涵盖「陶哲轩」、「强化学习」、「菲尔兹奖」等多个主题，重点关注陶哲轩。

#人工智能#菲尔兹奖#强化学习#Lean#陶哲轩

10月11日周日 2 条

10-11

15:15

量子位量子位 3212 字

陶哲轩：数学2.0时代已至！

当AI证明泛滥，数学家该何去何从？

推荐理由本文围绕「陶哲轩」、「菲尔兹奖」、「OpenAI」等主题展开。

陶哲轩最新演讲：数学2.0来了，证明稀缺时代正在终结

从证明稀缺到证明富足。

推荐理由本文涵盖「陶哲轩」、「Mac」、「活动」等多个主题，重点关注陶哲轩。

#陶哲轩#Mac#活动#WEB

10月9日周五 1 条

10-09

08:08

量子位量子位 1966 字

陶哲轩带头宣战！人类数学家联合抵制OpenAI

“没人求你们解题”

推荐理由本文涵盖「陶哲轩」、「OpenAI」、「菲尔兹奖」等多个主题，重点关注陶哲轩。

#生成式AI#OpenAI#菲尔兹奖#陶哲轩#AI公司

10月7日周三 1 条

10-07

09:02

AGI Hunt AGI Hunt 4830 字

刚刚，OpenAI 给数学界投下了一颗炸弹！

OpenAI 扔出了 722 篇 AI 数学论文，涉及黎曼、Hodge、BSD 等千禧年难题

推荐理由本文围绕「OpenAI」、「陶哲轩」等主题展开。

#OpenAI#陶哲轩

9月16日周三 1 条

09-16

12:00

机器之心机器之心 9638 字

本地该怎么做RSI？我们与StartLux CTO聊了聊

RSI 不一定要发生在云端

推荐理由本文涵盖「ART」、「陶哲轩」、「菲尔兹奖」等多个主题，重点关注 ART。

#人工智能#OpenAI#菲尔兹奖#陶哲轩#ART

9月14日周一 1 条

09-14

15:30

量子位量子位 2206 字

前OpenAI后训练VP回应陶哲轩：说AI毁了数学，可能还是太小瞧AI了

AI数学不仅要与人类理解对齐，更要进入现有的数学体系

推荐理由本文涵盖「OpenAI」、「后训练」、「陶哲轩」等多个主题，重点关注 OpenAI。

#后训练#OpenAI#菲尔兹奖#陶哲轩#AI公司

9月12日周六 2 条

09-12

17:05

机器之心机器之心 2248 字

AI又攻克了一个40年数学猜想

本证明由 Odin Automatic AI Research Agent 发现

推荐理由本文围绕「陶哲轩」、「菲尔兹奖」等主题展开。

突发！陶哲轩、邓煜等25位菲尔兹奖得主联合声明：AI公司正在摧毁数学

人工智能在数学中的严重错位（A Severe Misalignment of AI in Mathematics）

推荐理由本文涵盖「陶哲轩」、「菲尔兹奖」、「AI公司」等多个主题，重点关注陶哲轩。

#人工智能#菲尔兹奖#陶哲轩#AI公司

9月9日周三 1 条

09-09

17:16

量子位量子位 3489 字

陶哲轩：AI是直升机，把我空投到数学答案附近

上台前一分钟，他还在用AI做数学证明

推荐理由本文涵盖「陶哲轩」、「Agent」、「工作流」等多个主题，重点关注陶哲轩。

#OpenAI#Agent#工作流#陶哲轩#GPT

#陶哲轩

10月21日 周三 1 条