「月之暗面」共找到 1049 篇相关文章
华人女学霸AI杀疯！本科最难数赛12题全对，自主证明首次公开
24岁华人女学霸Carina Hong初创打造的AxiomProver，在2025 Putnam数学竞赛拿下满分，其自主生成的Lean证明也公开。该竞赛是北美本科生数学竞赛天花板，人类满分罕见。此外，GPT - 5.2 Pro数学表现也很强，引发“奇点将近”之感。
万字实录：VLA 范式，具身智能的曙光与迷雾丨GAIR Live
2025年5月9日，雷峰网等举办“具身智能之VLA的实践与突破”线上圆桌沙龙。多位专家探讨VLA定义、起源、技术路线等，指出其面临推理、数据等瓶颈，还讨论了与强化学习结合、数据选择、提升泛化性、长程任务及落地场景等问题。
「Memory as a Context」是否将重新定义 Transformer 的 「记忆模式」？
本期机器之心PRO会员通讯解读3个AI业内要事，包括「Memory as a Context」能否重新定义Transformer记忆模式、世界模型发展情况，以及OpenRouter联合a16z发布的《State of AI》报告。详细探讨了谷歌Titans架构及其理论框架MIRAS，还提及业界对LLM记忆力的改进方案。
DeepMind AlphaProof 前负责人谈2025年IMO
前Google DeepMind AlphaProof项目联合负责人Rishi Mehta发布关于2025年IMO结果的分析。今年OpenAI和Google DeepMind双双宣布达到金牌水平，解法各有特点。Mehta预测前沿大语言模型明年或开箱即用获奖牌，未来6个月内或攻克非平凡开放数学问题。
下一站AI创业主线：别卷模型了，把这件事干成才重要
在AGI Playground 2025上，极客公园张鹏与三位投资人探讨Agent时代投资。他们认为AI创业进入「拼交付」时代，多模态短期影响被高估、长期潜力被低估，通用Agent是巨头之争，垂直Agent是创业机会，还会催生新基础设施，付费模式向按结果付费演变。
只剩5年？诺奖得主Hassabis放出AGI时间表：还差一两个技术突破
诺奖得主、Google DeepMind掌门人Demis Hassabis给出AGI终极时间表，认为5年内或需1-2项重大技术突破就能跨越障碍。他指出大模型有局限，实现AGI需“世界模型”和“智能体系统”，还称AI将加速科学发现，中国AI模型距美国仅差数月。
74岁“酒鬼”教授终于拿诺贝尔化学奖了
今年诺贝尔化学奖授予北川进、理查德·罗布森和奥马尔·M·亚吉，以表彰他们在MOF上的杰出贡献。MOF是一种金属有机框架材料，有特殊多孔结构，可用于收集水、捕获二氧化碳等。北川进被称为PCP之父，他的研究源于对酒的热爱。
干货满载！腾讯云AI技术周圆满收官，回顾如何利用AI增效创收
2025腾讯全球数字生态大会启幕前夕，腾讯云联合InfoQ打造「AI技术周」，9月8 - 14日直播输出，围绕多关键议题邀大咖对话，公布多项AI+产品进展，涵盖降成本搭应用、AI Agent落地、数据库智能进化等内容。
“国产英伟达”沉浮：经历欠薪、二度创业
本文讲述了从 2018 年起，一支人才“梦之队”投身国产 GPU 芯片创业。先后成立中天恒星和砺算科技，却都遭遇资金问题。砺算科技正在流片的 G100 号称对标英伟达，但其资金困境使其未来充满未知，也反映了芯片创业市场现状。