加州理工华人宋沛洋领衔,AI颠覆数学证明!提速5倍震惊陶哲轩,80%数学步骤全自动化 加州理工华人用AI颠覆数学证明!提速5倍震惊陶哲轩,80%数学步骤全自动化最近,加州理工团队解决了Lean中运行LLM推理的bug,实现了80%以上数学证明步骤的自动化。这一突破让... 科学定理实验陶哲轩自动化数学家加州理工国防部门特种部队美国国防部 科技2024-04-23 13:29