注册    登录   
今天看啥  ›  专栏  ›  量子位

#陶哲轩力荐谷歌形式化数学猜想库##DeepMind开源形式化数-20250529100142

量子位  · 微博  ·  · 2025-05-29 10:01
    

原文地址： 访问原文地址 (快捷配置)
总结与预览地址：访问文章预览/总结
文章地址： 访问文章快照
推荐文章
田俊国讲坛  ·  【8月8日】第39期《10天非凡心力训练营》开始招生，欢迎报名
3 小时前
Linux爱好者  ·  阿里全员卸载 Claude + 工信部提示 CC 后门风险 + 媒体批评 A\\ 虚伪至极
昨天
田俊国讲坛  ·  你想要的未来藏在你抗拒的改变里
昨天
培训杂志  ·  洞见｜当业务跑在人才前面：亿纬锂能如何搭建梯队培养体系
昨天
第一财经YiMagazine  ·  小米SU7将参加Nürburgring北环赛道挑战；微软系统大宕机，巴黎奥运都受影响了……｜本周大公司动态
1 年前
前端要努力  ·  2025年第一期算法训练营开班
1 年前
谷歌开发者  ·  【谷歌开发者月刊】回看三月资讯，科技新进展加速开发者成长
1 年前
畅行951  ·  申请个人消费贷款财政贴息，需要哪些操作？官方详解→
11 月前
汽车服务世界  ·  途虎养车捐款300万港元，驰援香港大埔灾后重建；福州知名奥迪4S店“退网”！不售新车不退服务；...|汽服早报
7 月前
关于   移动版   ·   TodayRss海外   ·   RSS之家   ·   卧龙AI搜索
今天看啥 - 公众号rss, 微信rss, 微信公众号rss订阅, 稳定的RSS源
© 2025 ~ 沪ICP备11025650号