#Erdős猜想

共 3 条 · 7 天 0 条 · 30 天 0 条

信息流里打上「Erdős猜想」标签的资讯、产品与论文，按刊登时间排，新的在上。

9月1日

论文精选73°09:39

OpenAI模型提出数学猜想反例，机器检查证明与人工验证的冲突揭示了数学验证的新挑战。

arXiv: OpenAI@Maher Kallel, Mohamed El Louadi原文

6月12日

模型中美对照多源确认83°12:35

数学研究者或对 AI 推理能力感兴趣的人会震撼——OpenAI 模型解决了数论几何交叉的经典难题，证明过程优雅且可验证。建议点开看看 AI 如何用代数数论工具攻克几何猜想，这对理解 AI 在严谨科学中的潜力很有启发。

官方账号Mark Chen (OpenAI 研究)@markchen909 个信源在谈原文

6月5日

模型中美对照多源确认05:27

数学家和AI研究者会感兴趣——模型不仅验证了猜想，还主动发现了反例，展示了AI在数学发现中的实际应用。建议点开了解人机协作如何突破传统研究边界。

官方账号OpenAI@OpenAI (@OpenAI)9 个信源在谈原文