橙橘网
加州理工华人用AI颠覆数学证明！提速5倍震惊陶哲轩，80%数学步骤全自动化
2024-04-23
AI颠覆数学研究！菲尔兹奖得主、华裔数学家领衔11篇顶刊论文｜陶哲轩转赞
2024-04-08
AI颠覆数学研究！陶哲轩借AI破解数学猜想，形式化成功惊呆数学圈
2023-12-06
陶哲轩：我用GPT-4辅助证明不等式定理，论文还会上传arXiv
2023-10-10
AI无人机「误杀」事件震动全球！LeCun吴恩达陶哲轩怒斥炒作，揭露真相
2023-06-04