据IT之家10月27日消息,OpenAI宣布其AI模型在数学、计算机科学和物理学领域取得三项重大突破,并称模型可独立发现并证明复杂科学理论。
数学方面,模型证明了适用于所有维度的局部光滑猜想,并由此解决挂谷猜想和斯坦因限制猜想;OpenAI于10月18日获得该证明,次日完成Lean形式化验证。计算机科学方面,模型给出指数时间假设不成立的证明,10月16日生成自然语言证明,10月17日完成Lean验证,相关证明已发布在公开GitHub仓库。
物理学方面,OpenAI提出四维空间中包含规范场和费米子的相互作用量子场论存在性证明,包括量子色动力学及标准模型的一种统一完备化理论,并解决纯杨-米尔斯理论存在性这一千禧年难题子问题;相关成果正由诺贝尔物理学奖得主等专家审查,仍需学术界进一步独立确认。
