行业资讯2026年5月21日OpenAI 推理模型破解 80 年几何难题OpenAI 的最新推理模型成功解决了自 1946 年以来悬而未决的几何猜想，并获得了数学界的正式认可，标志着 AI 从生成式向逻辑推理式的重大飞跃。阅读全文 →