据报道，一个尚未发布的 OpenAI 模型 Astra 已经解决了十个长期存在的数学问题，其中一些问题悬而未决已有数十年。与之前的说法不同，此次成果得到了数学上可验证且机器可检查的证明支持，这大大增加了其可信度。解决这些问题所需的计算成本约为 2000 美元，此前曾揭穿 OpenAI 一项早期夸大说法的数学家 Thomas Bloom 已确认了这些新成果的实质性。 AI
影响 为人工智能在抽象推理和形式证明生成方面的能力树立了新先例，有可能加速科学发现。
排序理由 前沿实验室模型发布，为数学问题提供可验证证明。[lever_c_demoted from frontier_release: ic=1 ai=1.0]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
