实体 Robert Aumann

Robert Aumann

PulseAugur coverage of Robert Aumann — every cluster mentioning Robert Aumann across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

RESEARCH · CL_56727 · May 28 · 08:11

Axiom Math 的 AI 生成数学论文被接受；融资 2 亿美元

由 2001 年出生的数学家洪乐彤创立的初创公司 Axiom Math 取得了一项重大里程碑，其五篇由 AI 生成的数学论文已被学术期刊接受发表。该公司的 AI 系统 AxiomProver 生成了可机器验证的正式证明，补充了人类在问题陈述和解释方面的数学专业知识。这种方法旨在解决 AI 的幻觉问题，并吸引了大量资金，Axiom Math 最近以 16 亿美元的估值获得了 2 亿美元的 A 轮融资。