Kevin Weil 🇺🇸(@kevinweil)· Kevin Weil 🇺🇸 (@kevinweil)·· 2026-04-09AI 评估 · 48/100分数表示内容值得关注的程度，依据实质份量、信息增量、证据强度、读者相关性和可用性，按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误，评分不代表事实已被核实，也不同于热点榜的讨论热度。
OpenAI 内部模型一次解决五个 Erdős 问题，证明随模型进步愈发优雅
Five Erdos problems at once! The proofs are getting more elegant as the models improve 👀
AI 导读
OpenAI 用内部模型一次性解决了五个新的 Erdős 问题，相关论文已发布在 arXiv（2604.06609）。其中 Erdős Problem 1091 被解决：该猜想问的是色数为 4、且所有小子图色数不超过 3 的图是否必含带多条对角线的奇环，模型给出了反例。论文 Figure 5 由 Codex 生成，随模型进步，证明也变得更优雅。
来源：Kevin Weil 🇺🇸(@kevinweil) · x.com