Rohan Paul

数学和人工智能咨询小组公开呼吁 OpenAI 公布其扣留的杨-米尔斯证明。 他们想要 OpenAI 声称的杨米尔斯理论、量子色动力学的存在证明以及现在发布的标准模型的完整版本背后的自然语言和精益输出。 OpenAI 表示，其模型于 9 月 9 日证明了 Yang-Mills 的存在，并于 9 月 18 日证明了量子色动力学，Lean 在 10 月 16 日之前验证了第一个模型。 它的 Kakeya 和指数时间假设结果直接发送到 GitHub，而物理文件则由 David Gross 领导的审阅者保留。