注册    登录   
今天看啥  ›  专栏  ›  人工智能学家

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

人工智能学家  · 公众号  · AI  · 2024-06-16 15:56
    

原文地址： 访问原文地址
总结与预览地址：访问文章预览/总结
文章地址： 访问文章快照
-- 推荐文章 --
新智元  ·  突发，OpenAI 24小时在线dots正式上岗！GPT悍然推出500美元最贵套餐
13 小时前
人工智能产业链union  ·  【报告】机器人专题一：《全球机器人技术路线图2025-2035》深度解读：未来十年，机器人会取代你还是成为伙伴？（附PDF下载）
23 小时前
机器之心  ·  从发现漏洞到判定作弊：BenchShield提出Reward Hacking检测新框架
昨天
架构师带你玩转AI  ·  一文搞懂阿里巴巴 AI Native 研发范式：企业级 Agent Harness
昨天
量子位  ·  刚刚，GPT-6 Astra接上宇树G1，把厨房收拾了！
昨天
最强蜗牛  ·  【内有福利】x3，领一下
1 年前
CityDiscount都市折扣  ·  在家自测！【Chemist Warehouse】药店 尿路测试盒 补货
1 年前
文明福建  ·  点赞！厦门这个案例入选全国体育文化建设案例
8 月前
关于   移动版   ·   TodayRss海外   ·   RSS之家   ·   卧龙AI搜索
今天看啥 - 公众号rss, 微信rss, 微信公众号rss订阅, 稳定的RSS源
© 2026 ~ 沪ICP备11025650号