TechCrunch · AI精选7474PSI 尝试把 AI 驱动的科学发现做成生意
初创公司 Physical Superintelligence（PSI）的技术人员 David Turturean 借助 Anthropic Fable 5.2 模型的早期访问权限，解决了悬置 18 年的量子计算问题 Aaronson-Ambainis 猜想。
推荐理由: 一家初创用 Anthropic 未发布模型的早期权限解决量子计算悬置问题，呈现 AI 科研商业化的现实路径与边界。
实时
标签
#论文/研究
今天最值得读的 AI 新闻，来自正在塑造 AI 的实验室、创业公司和研究者。
- TechCrunch · AI精选7474
The Decoder精选8888OpenAI 请外部专家核查 AI 在数学、计算机科学与物理领域生成的证明
OpenAI 邀请外部专家担任“shepherd”，核查其 AI 在数学、计算机科学和物理三个领域生成的证明，并按各领域情况分别处理。数学与计算机科学的证明已被翻译成 Lean，计算机科学结果声称推翻了指数时间假设（ETH），数学结果声称证明了所有维度上的局部平滑猜想。
推荐理由: OpenAI 把三项 AI 生成的证明交给外部专家审阅，读者可据此了解 AI 科研成果如何被独立核查与分配署名。
The Verge · AI精选8383OpenAI 公布数学、计算机科学与物理三项发现，并让外部专家把关
OpenAI 公布三项由 AI 产出的“重大”发现，分别涉及数学、计算机科学和物理，并首次安排外部专家作为“shepherd”引导计算机科学和物理结果的验证。
推荐理由: OpenAI 公布三项 AI 产出的数学、计算机科学与物理结果，并首次引入外部专家把关，读者可据此观察 AI 科研成果的验证与署名规范如何形成。
IT之家 · AI精选9494OpenAI 宣布 AI 在数学、计算机科学与物理领域取得三项成果
OpenAI 宣布其 AI 模型在数学、计算机科学和物理学领域取得三项成果，包括证明适用于所有维度的局部光滑猜想并由此解决挂谷猜想、给出指数时间假设（ETH）不成立的证明，以及提出量子色动力学与杨–米尔斯理论的存在性证明。
推荐理由: OpenAI 称模型在数学、算法与物理三领域给出可形式化验证的证明，并公开材料交由外部专家审查。
已浏览全部内容