形式化验证

AI不再只是对话：OpenAI用代码攻克三大硬核难题

OpenAI宣布借AI文稿与Lean验证攻克数学、物理及计算机三大难题，引发AI科研范式变革与学界争议。