「科研进展」共找到 653 篇相关文章
陶哲轩转发！DeepMind开源「AI数学证明标准习题集」
DeepMind开源形式化数学猜想库，收录经典数学猜想，还提供代码函数方便形式化表述。此库可作测试基准提升AI数学推理能力，是AI+ATP范式关键前置步骤，团队邀更多人参与丰富内容。
大模型首次打破围棋思维「黑盒」，打通科学发现新路径！上海AI Lab发布新一代InternThinker
上海AI Lab发布新一代书生·思客（InternThinker），它是我国首个具围棋专业水平且能展示透明思维链的大模型。其得益于InternBootcamp训练环境，还在多任务混合训练中现‘涌现时刻’，背后有通专融合底层技术突破。
微软 Build 2025：AI 智能体时代与开放智能体网络的构建
微软 Build 2025 大会展示迈向 AI 智能体时代路径，如发布新功能助力开发者，让 AI 智能体更强大安全，支持开放智能体网络，还推出平台加速科学发现。
破解300年数学难题，智能体大突破！谷歌发布超强AI Agent
今天凌晨谷歌Deepmind发布编程AI Agent——AlphaEvolve，它与Gemini深度集成，能评估算法。它解决了300多年的数学难题，还提出新算法，提升大模型计算效率，可优化GPU指令，架构含多模块。
Morgan Stanley：中国 GPU的产能、良率、价格及收入
这是Morgan Stanley对中国GPU自给自足程度研报的部分内容，列出华为昇腾系列GPU 2024 - 2027年产能等情况。估算2024年中国AI GPU自给率34%，2027年将提至82%，还分析了半导体自给率提升原因及各领域国产化进程。
开源AI引爆热潮！GOSIM AI Paris 2025首日直击：80+位技术大咖聊模型、拼算力、秀落地
5月6日，GOSIM AI Paris 2025大会在法国巴黎启幕，80余位技术专家与学者参会。GOSIM联合创始人认为开源AI已追上闭源，AGI或由多模型组成网络。大会设四大分论坛解析开源AI，还有特色单元，明日将迎PyTorch Day。
成果三年两登Nature封面，这支清华团队想让AI换个方式看世界
清华大学类脑计算研究中心团队成果三年两登Nature封面。晰见科技承接天眸芯技术产业化，重新做AI的眼睛。天眸芯拆解视觉信息，构建互补通路，团队还研究算法融合信息，目前芯片进展良好。
英伟达把8个AI和8台机器人关在一起，它们学会了自己做实验
英伟达高级研究科学家公布“ENPIRE”项目，8个AI与8台机器人组成科研团队，能自主做实验。研究测试三种coding agent，Codex表现最佳。系统分两阶段，虽有局限但有新发现。
刘陈立领衔！六国学者联合发布亚洲合成细胞技术路线图
由刘陈立牵头的联合团队发表论文，提出亚洲合成细胞技术路线图。它指出构建合成细胞的四大挑战，提出新型研究范式和十年两阶段目标，体现亚洲科研协作原创探索，推动国际合作。
苹果画的饼谷歌率先搞定！Gemini全面进驻全家桶，连鼠标都AI上了
在Android Show独立发布会上，谷歌推出诸多新品，核心是将Gemini嵌入安卓底层，还带来AI鼠标光标、Googlebook等。Gemini能跨应用执行任务，Googlebook为其量身打造，谷歌这波操作像把苹果画的饼烙好端上桌。