**AI 破解 Erdős 第 106 号未解数学猜想**

_VibeMathed – Math problems solved by AI_

> VibeMathed 社区记录显示，OpenAI Codex 通过 Lean 验证推翻了 Erdős 关于单位正方形内不相交正方形总边长的猜想（f(k²+1)=k），在 k=4 时找到反例。该平台收录 AI 解决的人类未解难题，并附带可核查的证明来源与验证标签。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：ai-models
- **发布时间**：2026-07-30 23:23（北京时间）
- **原文**：[打开原文](https://vibemathed.com/)