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

近期文章

  • 100万美元图灵奖奖金,强化学习师徒想献给科研自由
  • 文生图进入R1时代:港中文MMLab发布T2I-R1,让AI绘画“先推理再下笔”
  • 昆仑万维开源交互世界模型Matrix-Game:AI一键生成《我的世界》,这次真能上手玩
  • 新教皇取名竟和AI有关?美国首任AI沙皇:AI四年内增长100万倍!
  • 6个月估值翻倍!黄仁勋力荐的AI搜索公司欲开发浏览器取代谷歌Chrome

分类

  • 分享
  • 国际
  • 大模型
  • 学术
  • 开源
  • 机器人
  • 资讯
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秒送达!  立即下载
×