跳至内容
每时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 用户体验 百度 腾讯 自然语言处理 英伟达 谷歌 阿里云 阿里巴巴 马斯克 黄仁勋

近期文章

  • 如何借助分类路由让Qwen3实现思考模式自动切换?兼看DeepFlow等技术进展
  • AI视频神器!腾讯混元HunyuanCustom,角色一致性大突破!
  • AI 看片写 App!Gemini 2.5 首创音视频+代码原生融合+视频理解 SOTA,构建案例来了~
  • EmotiVoice:网易免费开源TTS引擎,2000种音色+情感控制!狂揽7900星
  • 【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秒送达!  立即下载
×