Kevin Weil 🇺🇸(@kevinweil)· Kevin Weil 🇺🇸 (@kevinweil)·· 2026-04-01AI 评估 · 55/100分数表示内容值得关注的程度，依据实质份量、信息增量、证据强度、读者相关性和可用性，按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误，评分不代表事实已被核实，也不同于热点榜的讨论热度。
OpenAI 内部模型解出三个 Erdős 问题，证明随模型改进更优雅
Not only is AI solving more open problems—its proofs are getting more elegant as the models improve
AI 导读
Kevin Weil 引用 Mehtaab Sawhney 的推文称，一篇新论文解决了三个 Erdős 问题，每个解均由 OpenAI 内部模型找到，且证明简短优雅，论文见 arxiv.org/pdf/2603.29961。他表示不仅 AI 正在解决更多开放问题，随着模型改进其证明也变得更优雅。
来源：Kevin Weil 🇺🇸(@kevinweil) · x.com