#数学

共 53 条 · 7 天 4 条 · 30 天 24 条

OpenAI 25 AI安全 7 AI 5 Terence Tao 4 LLM 3 推理模型 3 菲尔兹奖 3 AI生成内容 2

8月20日

行业72°23:05

陶哲轩：AI或引发数学领域危机

数学家陶哲轩说AI可能引发数学领域危机，和1900年那次一样严重。他建议，如果一个证明没人能解释，那它就是不完整的。

#Terence Tao #AI #数学 #危机

官方账号Decoder@Matthias Bastian原文

8月19日

论文精选22:43

腾讯混元Hyra数学领域取得四项新进展

腾讯混元Hyra在数学领域又有突破，开源模型解决开放问题的能力又提升了。

#Hyra #Tencent #数学 #开源模型

Hunyuan@TXhunyuan原文

模型精选72°02:12

AxiomProver 完成 BGP246 定理形式化

Axiom 的 AxiomProver 证明了 BGP246 定理，离孪生素数猜想很近。

#Axiom #AxiomProver #BGP246 #推理模型

The Rundown AI@therundownai原文

8月8日

行业多源确认72°16:00

OpenAI 下一代模型 Astra 数学成果遭抄袭指控

OpenAI 的 Astra 论文被数学家抓了没引文献，两项核心结果撞车 2016 和 2019 年的工作，OpenAI 说要改，看看学术圈怎么较真。

#OpenAI #Astra #学术不端 #数学

事件专题

IT之家11 个信源在谈原文

8月5日

论文11:22

用范畴论语言描述与构建统计学习模型

这篇用范畴论重讲统计学习模型，少见。适合数学背景的人看，能帮你找到跟机器学习研究接头的入口。

#统计学习 #范畴论 #机器学习 #数学

arXiv cs.LG@Congwei Song原文

8月3日

行业21:56

Paul Graham：LLM 数学强写作弱，因有明确对错

Paul Graham 问专家后得到一个反直觉的解释：数学容易训练不是因为简单，而是因为对错明确。

#Paul Graham #LLM #数学 #写作

Paul Graham@paulg原文

8月1日

论文官方一手15:34

OpenAI公布数学与理论计算机科学十项进展

OpenAI一口气放出十项数学和理论计算机科学进展，几何、密码学、复杂性全覆盖，都是几十年没解开的难题。

#OpenAI #数学 #密码学 #复杂性理论

事件专题

官方一手OpenAI Blog3 个信源在谈原文

7月27日

行业71°10:56

Gary Marcus：AI虽聪明但不可靠，世界未变是因前提有误

Gary Marcus一句话点透：AI再聪明，不可靠也是白搭。只有编码数学这种能验证的地方才是AI的用武之地。

#Gary Marcus #AI可靠性 #自主系统 #编码

Gary Marcus@GaryMarcus原文

7月20日

论文23:09

社交媒体讨论数学发现方法论与论文引用

这场讨论点出了论文引用和算法溯源的重要性，适合关注数学推导细节的读者。

#Vitushkin #Fable #论文 #数学

elvis@omarsar0原文

5月30日

行业精选20:12

陶哲轩：AI 首次让数学研究实现分工协作

数学研究者或 AI 从业者会看到，AI 如何将数学从个人艺术变为团队工程——陶哲轩的洞见值得所有关注科研范式变革的人细读。

#AI 辅助研究 #数学 #分工协作 #陶哲轩

官方账号Decoder@Matthias Bastian原文

5月21日

模型中美对照多源确认93°17:28

OpenAI 未公开推理模型自主解决 Erdős 1946 年平面单位距离问题

这是 AI 首次自主解决数学开放问题，证明了通用推理模型能跨领域创造新解法，做 AI 研究和数学研究的都该看看——它可能改变我们对 AI 创造力的认知。

#推理模型 #数学 #OpenAI #创造性涌现

事件专题

orange.ai@oran_ge11 个信源在谈原文

模型中美对照多源确认83°14:57

OpenAI 推理模型推翻 1946 年 Erdős 猜想，数学 AI 再创历史

OpenAI 用通用推理模型解决了一个困扰数学家近 80 年的难题，证明 AI 不需要专用引擎也能做前沿数学研究。做 AI 推理或数学建模的团队值得关注——它展示了“推理时计算”比“更多训练”更能带来突破。

#推理模型 #数学 #OpenAI #Erdős 猜想

事件专题

rohanpaul_ai@rohanpaul_ai11 个信源在谈原文

5月11日

技巧 Agent 与开发者22:15

François Chollet:无法用数学或代码表达的想法只是直觉

该言论来自AI领域权威人物，直接点出了理论与实践结合的瓶颈，对AI从业者的学习和研究方式有参考价值。

#编程技能 #数学 #AI思维 #知识表达

官方账号François Chollet@fchollet原文