PulseAugur
中
实时 01:29:31
实体 Annals of Acad. Rom. Sci.

Annals of Acad. Rom. Sci.

PulseAugur coverage of Annals of Acad. Rom. Sci. — every cluster mentioning Annals of Acad. Rom. Sci. across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
0
90 天内 0
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 0
层级分布 · 90 天

过去 90 天内暂无报道。

主题
最近 · 第 1/1 页 · 共 1 条
  1. RESEARCH · CL_56727 ·

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

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