注册    登录   
专栏名称: 新智元
智能+中国主平台，致力于推动中国从互联网+迈向智能+新纪元。重点关注人工智能、机器人等前沿领域发展，关注人机融合、人工智能和机器人革命对人类社会与文明进化的影响，领航中国新智能时代。
购买VIP
提交新专栏
我也要提交微信公众号
今天看啥
公众号rss, 微信rss, 微信公众号rss订阅, 稳定的RSS源
TodayRss-海外RSS稳定源
目录
今天看啥  ›  专栏  ›  新智元

清华校友用AI破解162个高数定理，智能体LeanAgent攻克困扰陶哲轩难题！

新智元  · 公众号  · AI  · 2024-10-12 12:25
    

原文地址： 访问原文地址
总结与预览地址：访问文章预览/总结
文章地址： 访问文章快照
推荐文章
数字生命卡兹克  ·  OpenAI开源的这个安全插件，是每个Vibe Coding的人都必装的神器。
昨天
爱可可-爱生活  ·  [人人能懂AI前沿] 从信任博弈、记忆传承到行动节拍你有没有想过-20260806073104
昨天
人工智能产业链union  ·  【AI加油站】机器人设计系列一百五十六：读《机器动力学》，才明白高铁为什么稳如老狗，而拖拉机却抖得像帕金森（附下载）
昨天
爱可可-爱生活  ·  【别让语义争论掩盖了AI的进化】图灵奖得主Dijkstra在19-20260805084735
2 天前
爱可可-爱生活  ·  #机器人像是家里多了个玩具# 真正值得注意的不是机器人现在能干嘛-20260805070837
2 天前
化工365  ·  8月1日实施！《山东省危险化学品企业“五职责任人”安全生产履责记分管理办法》
2 年前
迂磨二公子  ·  三无试剂才是实验的关键
2 年前
知识管理中心KMCenter  ·  高手的底层思维能力提升框架
1 年前
锦观新闻  ·  韩国突发！8层商业楼发生火灾，“楼内人员众多”！已救出40人，50余人自行逃出
1 年前
云南日报  ·  云南日报报业集团2025年上半年公开招聘人员面试成绩公告
1 年前
关于   移动版   ·   TodayRss海外   ·   RSS之家   ·   卧龙AI搜索
今天看啥 - 公众号rss, 微信rss, 微信公众号rss订阅, 稳定的RSS源
© 2025 ~ 沪ICP备11025650号