跳至内容
每时AI

每时AI

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

广度优先搜索

超越DeepSeek-ProverV1.5!豆包首个形式化数学推理模型BFS-Prover来了,直接开源

下午4时 2025/02/25 作者 机器之心

多篇内容,覆盖全球各大高校与企业的顶级实验室,有效促进了学术交流与传播。如果您有优秀的工作想要分享,

分类 学术、 资讯 标签 72.95%、 BFS、 IMO问题、 MiniF2F测试集、 广度优先搜索、 数学推理 发表评论

全面超越CoT!Meta田渊栋团队新作:连续思维链

上午10时 2024/12/19 作者 新智元

Meta田渊栋团队提出的新范式Coconut(连续思维链)在LLM推理任务中性能更强、效率更高,通过移除模型头尾的LLM head和embedding层,并使用中间状态进行自回归。

分类 资讯 标签 Meta、 大语言模型、 广度优先搜索、 思维链方法、 田渊栋、 自回归技术 发表评论

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

近期文章

  • 走进杭州“六小龙”等AI先锋企业,解码AI商业新动能|2025杭州AI创变营来啦
  • 国产AI智能体竞逐海外!Manus推出数据分析师、思维导图,Genspark上线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秒送达!  立即下载
×