实体
Richard Taylor
Richard Taylor
PulseAugur coverage of Richard Taylor — every cluster mentioning Richard Taylor across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
OpenAI 因对人工智能在数学领域作用的反对而退出加州理工学院数学马拉松 · 追踪 8 个来源
在大量数学家对人工智能在数学领域“严重不匹配”及其对该领域潜在的破坏性影响表示担忧后，OpenAI 已撤销对加州理工学院数学马拉松的赞助。数学家的公开信强调了人工智能研究实践中的问题，导致 OpenAI 决定撤回其资助。尽管 OpenAI 撤资，但该活动预计将继续获得包括 Anthropic 和 DARPA 在内的其他支持者的支持，尽管 OpenAI 每支队伍 10,000 美元的贡献的确切财务影响尚不确定。
-
Anthropic 的 Claude AI 在 11 天内完成费马大定理形式化证明 · 跟踪 1 个来源
Anthropic 的 Claude AI 已成功完成了费马大定理的首个端到端、计算机可验证的形式化证明。该 AI 系统在包括 Tianyi Peng 在内的研究人员的指导下，利用了大约 1300 万行 Lean 代码和超过 30,000 个中间定理，在短短 11 天内完成了这一壮举。这一成就显著加速了此前耗时数年、由人类主导的形式化定理的努力，展示了 Claude 在复杂数学推理和大规模代码生成方面的先进能力。该项目利用了一个名为 …