首页
资讯
新闻
科技要闻
人工智能
5G/通信
互联网
手机
数码
家电
机器人
IT资讯
半导体
商业
标签 >
AI时代的数学发展:数学研究的新范式|AI for Math读书会第二季第6期
AI for Math 读书会第二季第 6 期纪要|AI 时代数学研究新范式,智能体、形式化证明与人机协作
本期是集智俱乐部发起的 AI for Math(人工智能与数学)读书会第二季第 6 期,由北大朱韬宇博士主讲,核心主线是:AI 正在把数学从
2026-11-08 14:51:32