登录

当前标签：代数世界模型

姚期智团队新作：代数世界模型

姚期智团队新作：代数世界模型

姚期智团队提出代数世界模型AWM，让AI在规则未知的陌生环境中主动发现规律、建立数学模型，并用Lean 4写出机器可检查的证明，首次在ARC-AGI-3中完成“给定预算内无法通关”的形式化不可达推理。