← 返回列表

@ylecun: RT @logic_int: NEW: Aleph Prover has formalized OpenAI’s disproof of Paul Erdős’ planar unit problem. We are releasing the formalization a…

@ylecun 3 信息等级 3 1 噪音/剔除；2 较弱；3 普通事实；4 重要行业动态；5 极重大事件。该分数是信息显著性，不是投资建议。 发布：2026-05-28T20:51 抓取：2026-05-28 23:20
🔗 原文链接
AI 研究
摘要

Aleph Prover 形式化了 OpenAI 对 Paul Erdős 平面单位问题的反驳，并发布了形式化内容。这是一个数学问题的 AI 形式化验证进展。

客观事实
  • Aleph Prover 形式化了 OpenAI 对 Erdős 平面单位问题的反驳
  • 相关形式化内容已发布
Aleph Prover OpenAI

原文

RT @logic_int: NEW: Aleph Prover has formalized OpenAI’s disproof of Paul Erdős’ planar unit problem.

We are releasing the formalization a…

likes: 74 | retweets: 17 | replies: 6 | views: 20775