Mathematical Knowledge Proof Checking
Machine checking creates proof abundance but leaves adjudication scarce, affecting mathematical research and software verification practices.
#Erdős conjecture
3 stories · 0 in 7 days · 0 in 30 days
Stories, products and papers tagged "Erdős conjecture", newest first.
Sep 1
Jun 12
Chinese contentOpenAI 模型推翻 Erdős 单位距离猜想，数学界迎来 AI 突破
数学研究者或对 AI 推理能力感兴趣的人会震撼——OpenAI 模型解决了数论几何交叉的经典难题，证明过程优雅且可验证。建议点开看看 AI 如何用代数数论工具攻克几何猜想，这对理解 AI 在严谨科学中的潜力很有启发。
Jun 5
Chinese contentOpenAI模型发现80年Erdős猜想反例
数学家和AI研究者会感兴趣——模型不仅验证了猜想，还主动发现了反例，展示了AI在数学发现中的实际应用。建议点开了解人机协作如何突破传统研究边界。
