数学家在 CMU 讲解 OpenAI 证明的非 sofia 群存在性定理
littmath · x · 2026-09-04
数学博主 BooleanAnalysis 在卡内基梅隆大学(CMU)做了一场报告,讲解 OpenAI 最近给出的「非 sofic 群存在性」证明——这是 AI 生成数学工作进入严肃数学共同体的标志性事件。
转发者 thomasfbloom 表示,应鼓励并正常化让顶尖数学家(和优秀讲解者)为「不是自己做出的」AI 生成工作做讲座:这是让这些想法真正进入人类头脑的最佳方式。
所属事件:CMU 演讲解读 OpenAI 非索弗ic群存在性证明(2 条相关)→
「研究」频道最新
- Gemini 数小时破解悬置 59 年的核聚变磁场数学猜想 — DynamicWebPaige · 2026-10-21
- CMU 与 Meta 开源 TrackEverything：追踪长视频全部 3D 点 — AdamWHarley · 2026-10-21
- 开源婴儿脑连接工具包:vibe coding 串起皮层-电极-纤维追踪分析 — Dr_Alex_Crimi · 2026-10-21
- 伯克利获 Schmidt Sciences 资助：用 AI 破解抹香鲸与虎鲸语言 — begusgasper · 2026-10-21
- 斯坦福 CS336 第 6 讲:kernel 提速先少跑几趟显存 — stanfordnlp · 2026-10-21
- NVIDIA Cosmos3-H-Dreams：用生成式模拟让临床手术场景活起来 — Hugging Face Blog · 2026-10-21