跳至内容
每时AI

每时AI

  • 资讯
  • 国际
  • 分享
  • 大模型
  • 学术
  • 开源
  • 机器人
  • 关于我们

数学证明

o3拿下25%高分震惊数学教授,2025 IMO金牌或被AI收入囊中!

下午4时 2025/01/01 作者 新智元

新智元报道
编辑:编辑部 JHY
【新智元导读】
AI真的可以做数学了吗?来自帝国理工学院教授Kev

分类 资讯 标签 伦理影响、 可解释性、 大语言模型、 定理证明器、 数学证明、 解析能力 发表评论

Grok 3证明黎曼猜想,训练遭灾难性事件?数学家称不夸张,两年内AI将解出千禧年难题

下午2时 2024/11/18 作者 每时AI

新智元报道
编辑:编辑部 HYZ
【新智元导读】
最近,大家都被这条消息吓到了:传说Grok 3已经

分类 资讯 标签 AlphaProve、 IMO、 P/NP问题、 数学证明、 超级计算机、 黎曼猜想 发表评论

2025年 AGI AI AI技术 Anthropic ChatGPT Claude DeepSeek DeepSeek-R1 DeepSeek R1 GitHub GPT-4o LLM Meta OpenAI Python Sam Altman 人工智能 人形机器人 具身智能 大型语言模型 大模型 大语言模型 字节跳动 开源 强化学习 微软 扩散模型 技术创新 智能体 木易 机器学习 深度学习 清华大学 生成式AI 用户体验 百度 腾讯 自然语言处理 英伟达 谷歌 阿里云 阿里巴巴 马斯克 黄仁勋

近期文章

  • 欧洲AI公司发布会自称「SOTA」,却翻车成网友寻找千问现场
  • Sam Altman美国国会发言:DeepSeek让我感到紧张,AI竞争最终是中美的能源竞争
  • 解读理想VLA司机大模型:你不用付费的专属“代驾”
  • YC合伙人吐槽:今天的AI应用不行,不是AI的问题,而是产品设计能力不行
  • 小红书“撕毁”了竞业协议,但整个行业却在越陷越深

分类

  • 分享
  • 国际
  • 大模型
  • 学术
  • 开源
  • 机器人
  • 资讯
2025 年 5 月
一 二 三 四 五 六 日
 1234
567891011
12131415161718
19202122232425
262728293031  
« 4 月    

归档

  • 2025 年 5 月
  • 2025 年 4 月
  • 2025 年 3 月
  • 2025 年 2 月
  • 2025 年 1 月
  • 2024 年 12 月
  • 2024 年 11 月

AI新闻 | X平台 | APK反编译 | 京ICP备2024096144号 |
© 2025 每时AI • Built with GeneratePress
 下载我们的APP,AI秒送达!  立即下载
×