AI解决更多开放问题，证明更优雅 Kevin WeilAI 不仅在解决更多开放问题，而且随着模型改进，其证明也变得更为优雅。 Mehtaab Sawhney很高兴分享一篇新论文，解决了 Erdős 提出的另外三个问题；每个问题的解决均由 OpenAI 内部模型完成。每个证明简短而优雅，论文见此：https://t.co/x1yAHRZpJx 动态Kevin Weil2026-04-01原文 打开互动版