实体
Carina Hong
Carina Hong
PulseAugur coverage of Carina Hong — every cluster mentioning Carina Hong across labs, papers, and developer communities, ranked by signal.
总计 · 30天
0
90 天内 3
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 2
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 3 条
-
Axiom AI 解决12道普特南数学竞赛题，接近人类分数
Axiom，一家成立七个月的初创公司，已取得一项重大里程碑，成功解答了著名的普特南本科数学竞赛中的12道题，得分8/12。这一成就使其AI系统比其他报道的AI系统更接近顶尖人类的表现。Axiom的CEO Carina Hong强调，虽然编码能力正在迅速发展，但通过其开源的AXLE Lean工具包等工具进行形式化验证，对于扩展和巩固AI的卓越性至关重要，从而超越非正式证明和统计奖励。
-
AI发现一个被广泛使用的经济学定理存在50年的缺陷
Axiom Math 的形式验证系统 EconLib 发现了一个由 Robert Aumann 在50年前提出的、并在信息经济学和反垄断法等领域被广泛使用的经济学定理中的缺陷。该 AI 系统使用 Lean 形式化编程语言构建，通过像编译代码一样编译证明来确保数学严谨性，并标记任何逻辑不一致之处。这一发现凸显了 AI 与人类智慧协作的潜力，能够加速科学发现并确保基础理论的准确性。
-
数学被视为通用人工智能未来的关键，超越大型语言模型
Carina Hong 在 Madrona 的 Founded & Funded 播客上接受采访时提出，包括通用人工智能和超人工智能在内的先进人工智能，除了大型语言模型和预测分析之外，还需要第三个支柱。她主张建立一个确定性的基础，她称之为“为大型语言模型提供支撑”，以增强人工智能的能力。讨论中包含一份带注释的文字记录，探讨了数学在实现这一未来中的作用。