注册    登录   
专栏名称: AI思想会
连接人工智能技术人才和产业人才的交流平台
购买VIP
提交新专栏
我也要提交微信公众号
今天看啥
公众号rss, 微信rss, 微信公众号rss订阅, 稳定的RSS源
TodayRss-海外RSS稳定源
目录
今天看啥  ›  专栏  ›  AI思想会

陶哲轩最新采访：AI将颠覆数学界！用Lean规模化，成百上千条定理一次秒杀

AI思想会  · 公众号  · AI  · 2024-06-15 20:51
    

原文地址：访问原文地址
总结与预览地址：访问总结与预览
文章地址： 访问文章快照
推荐文章
人工智能那点事  ·  “被小学家长举报了2个月”，复旦大学副教授沈奕斐连日来撰写情况说明、配合调查，没法正常工作！校方已查清事实
昨天
人工智能产业链union  ·  【报告】清华大学《AI幻觉深度研究报告》：别被AI的“自信”骗了！这3个真相太扎心（附PDF下载）
昨天
量子位  ·  LeCun 10亿押注的方向，全球领先视觉大模型团队早已布局
2 天前
量子位  ·  李飞飞再出手，空间智能的ImageNet来了
2 天前
机器之心  ·  ICML 2026｜智能体的下半场：为什么「答对」已经不够了？
2 天前
彭博新能源财经  ·  倒计时2天|亚洲海洋风能大会嘉宾阵容&大会议程抢先看！
1 年前
春江潮起  ·  12356来了！
1 年前
鮀浦微帮  ·  邓紫棋何时来汕头开演唱会？官方回应→
9 月前
雨心教育观  ·  现在的四校八大已经不是我们认知中的四校八大
8 月前
新东方  ·  浙大食堂8.8元一只的大闸蟹火了，评论区：破防了！母校，我命令你即刻收购浙大食堂哈哈哈
6 月前
关于   移动版   ·   TodayRss海外   ·   RSS之家   ·   卧龙AI搜索
今天看啥 - 公众号rss, 微信rss, 微信公众号rss订阅, 稳定的RSS源
© 2025 ~ 沪ICP备11025650号