清华校友用AI破解162个高数定理，智能体LeanAgent攻克困扰陶哲轩难题！
清华校友用AI破解162个高数定理，智能体LeanAgent攻克困扰陶哲轩难题！诺贝尔物理学奖和化学奖被AI「包圆」后，人们再次确信：基础科学研究的范式，已经被AI从根本上改变。
来自主题: AI技术研报
6197 点击 2024-10-12 14:55
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
诺贝尔物理学奖和化学奖被AI「包圆」后，人们再次确信：基础科学研究的范式，已经被AI从根本上改变。
Agent 是未来人工智能公司所承诺的——也是迫切需要的，他们打赌你会为此付费。
创新中心正在开发高性能具身智能体“开物”。北京具身智能机器人创新中心正式升级为“国家地方共建具身智能机器人创新中心”，揭牌仪式近日在京举办。
AI数字员工来了 10月8日，诺贝尔物理学奖一经公布，瞬间惊爆了世界。甚至获奖人之一的杰弗里·E.辛顿（Geoffrey E. Hinton）本人，都大吃一惊。
OpenAI即将要兑现L3级智能体承诺了！MLE-bench新基准汇聚75个Kaggle竞赛，o1首测便拿下7金，多次尝试性能还能飙升17%，堪称首个AI Kaggle特级大师。
过度追求端侧大参数并无意义。
「多智能体系统」是人工智能领域最热门的流行词之一，也是开源框架 MetaGPT 、 Autogen 等研究的焦点。 但是，多智能体系统就一定是完美的吗 近日，来自卡内基梅隆大学的副教授 Graham Neubig 在文章《Don't Sleep on Single-agent Systems》中强调了单智能体系统也不可忽视。
近日，MIT团队推出了自动搞科研的AI系统——SciAgents。在仿生材料的研究中，模型揭示了以前被认为无关的一些跨学科联系，实现了超越传统人类研究方法的规模、精度和探索能力。
如果您正在探寻人工智能未来的辉煌篇章，那么答案就在这里。 OpenAI的领导者Sam Altman和Greg Brockman最近表示：“现在正是我们展望未来的最佳时机。”他们预见了一个新时代，用户将不再只是与单一的模型对话，而是与由众多多模态模型和工具构成的系统互动，这些系统能够代表用户执行操作。
未来的 AI 模型的能力将不仅局限于逻辑推理，它还应该具备自主计划和行动的能力。