标签： AI 数学证明

AI资讯

OpenAI 传闻将公布 unique games 猜想证明，MIT 团队抢先发布 95 页论文

2026 年 9 月 11 日，MIT 教授 Dor Minzer 收到朋友短信，询问他是否接近解决理论计算机科学中最著名的开放问题之一。随后更多消息传来，传闻称 OpenAI 在公布流体行为证明后，又发现了 unique games…