AI科技 智慧城市 智能教育 加州理工华人用AI颠覆数学证明！提速5倍震惊陶哲轩，80%数学步骤全自动化 2024年4月23日 yinhua 没有评论 让陶哲轩大神赞不绝口的形式化研究神器Lean，运行LLM的推…
