OpenAI 称其人工智能模型给出了证伪指数时间假设的证明,该证明已在 Lean 证明助手中完成了机器验证,而提出这一假设的研究者本人将主导后续的独立核查工作,以确认这项证明是否真正成立,目前结论仍以 OpenAI 方面的说法为准。
正文完
OpenAI 称其人工智能模型给出了证伪指数时间假设的证明,该证明已在 Lean 证明助手中完成了机器验证,而提出这一假设的研究者本人将主导后续的独立核查工作,以确认这项证明是否真正成立,目前结论仍以 OpenAI 方面的说法为准。