清华校友用AI破解162个高数定理，智能体LeanAgent攻克困扰陶哲轩难题！
清华校友用AI破解162个高数定理，智能体LeanAgent攻克困扰陶哲轩难题！诺贝尔物理学奖和化学奖被AI「包圆」后，人们再次确信：基础科学研究的范式，已经被AI从根本上改变。
来自主题: AI技术研报
6263 点击 2024-10-12 14:55
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
诺贝尔物理学奖和化学奖被AI「包圆」后，人们再次确信：基础科学研究的范式，已经被AI从根本上改变。
在加州华纳兄弟制片厂摄影棚内，数个特斯拉人形机器人Optimus在无辅助的情况下，排队走进会场。会场另一边的展览区，一台Optimus不断为客人递送零食、进行打招呼、猜拳等互动。
在当今的人工智能领域，Transformer 模型已成为解决诸多自然语言处理任务的核心。然而，Transformer 模型在处理长文本时常常遇到性能瓶颈。传统的位置编码方法，如绝对位置编码（APE）和相对位置编码（RPE），虽然在许多任务中表现良好，但其固定性限制了其在处理超长文本时的适应性和灵活性。
大模型赛道的角逐已经行至深水区，唯有真正的价值创造者才能走到终局。后起之秀：无界方舟，推出媲美GPT-4o的王炸模型，垂直深耕AI陪伴领域。
Agent 是未来人工智能公司所承诺的——也是迫切需要的，他们打赌你会为此付费。
对于一些人来说，人工智能疲劳是真实存在的——但显然风险投资者对这个领域并没有感到厌倦。
生成性人工智能正从快速预训练响应向慢速深度推理转变，开启自主应用的新篇章。
今年毛利率41%，Agent产品收入明年超API。
家人们！今天是特斯卡开“We Robot”发布会的日子，从早上十点奶茶就搬一个小板凳蹲着了！
酷睿Ultra 200S会引爆AI PC吗？ 前段时间，英特尔公布了最新一代的酷睿系列处理器，与以往不同的是，它的命名并非我们熟悉的数字世代，而是全新的Ultra系列。作为英特尔针对AI PC设计的新一代处理器，酷睿Ultra 200S系列在架构设计等方面都与传统CPU有着很大区别。