加州理工华人用AI颠覆数学证明！提速5倍震惊陶哲轩，80%数学步骤全自动化

加州理工学院华人团队利用AI颠覆数学证明，开发Lean Copilot工具，可自动化80%以上数学证明步骤，提速5倍，震惊数学家陶哲轩。该工具解决了在Lean中运行LLM推理的bug，允许人类无缝干预和修改，大幅提高数学研究效率，主要贡献者为华人小哥宋沛洋。（新智元）