他是首席科学家，是Gemini项目的联合负责人。

1、乐鱼官方 2025全球开发者先锋大会暨国际具身智能技能大赛赛项冠军 算一笔账 以极低场景投入，节省千万级研发成本 「揭榜挂帅」机制在本次大赛重大版本迭代升级，场景方出真题，全球赛队揭榜答题，本质是一场高效的「技术竞标」，形成「出题→答题→筛选→采纳」闭环。

用单点参数的领先去击穿物理世界的复杂性，本身就存在风险。乐鱼官方Anthropic给它的定位很明确：帮老师减负，把他们省下的时间还给教学，还给那些没法被自动化的、人与人之间的真实连接。

2、陈嫣冉的异世界漫游指南

去年，OpenAI的o3和谷歌DeepMind的AlphaProof、AlphaGeometry 2，都在IMO题目上达到了金牌线水平。

3、巴萨官方：德容右膝内侧副韧带撕裂，他将继续接受治疗

值得一提的是，Axiom Math的创始人洪乐彤年仅25岁。

4、纠缠11个赛点，蒯曼4-3险胜佐藤瞳，美国大满贯女单4强出炉

表面上，两人的意见高度一致，真正不同的是，他们对同一句评语对应着不同的评分尺度。

5、汤尤杯落幕：国羽男队力克黑马法国队成功卫冕，女队惜败需重新出发

从「看到」到「看懂后果」，这一步之差，恰恰是物理AI从表演走向生产力的分水岭。

信息安全机构Veracode发现：过去两年，模型的语法正确率从约50%提升到95%以上，但安全通过率始终徘徊在45%～55% 去年年末，GitLab调查了3266名DevSecOps从业者，73%遇到过Vibe Coding代码带来的问题；76%表示更多合规问题是在部署后，而不是开发过程中发现。

围绕「跑得稳、用得起、可持续」三大命题，此芯科技确立了三大战略支柱。

6、普利策奖得主帕布罗·托雷：揭NBA黑幕获奖后，球迷当街威胁“放过杰伦·布伦森”

如果没有那几个较真的开发者去拆解文件，或许这家假实验室已经顺利拿到某家风投几百万美元的天使轮融资了。

Claude Science虽然图表动效做得不错，但关键矩阵和本征值全都没给，甚至在假设上把全局和局域去极化混为一谈，逻辑底层直接打架。

7、德约刷新七大纪录称想起19年大战费德勒，酷小黑谈失利：以为能赢

当不确定性如此之大、赌注又如此之高时，带着「审慎的乐观」稳步前行，才是明智且正确的策略。

加速技术验证与迭代落地，有效解决实验室分拣痛点，全面提升自动化效率。

8、刚被文班亚马打爆，立马就面临被交易，雷霆欲用霍姆格伦换布泽尔

拿到题面后，Deedy Das迅速搭建起全自动化的测试框架。

这一层只关注最显而易见的常识性安全隐患，耗时在毫秒级。

在场景端，无论是高德途途的场景验证，还是城市级长程任务导航的实际案例，高德的体系是在真实泥泞的路上跑出来的。

9、别看是好兄弟，但杨瀚森真没法和马卢阿奇比，后者更早出头不奇怪

一本安全账。

卡了半年的弦论难题，Claude一夜解开！ 网友惊呼：人类迈入全新的科学时代。

10、雷军3次押注：西交大团队拿下“脑机接口首投”

有人连夜换掉所有密钥，有人直接卸载了事。

别人拼了命往管理岗爬，她往下走。

1、詹姆斯确定离队！湖人连走4人，补进2名射手

前Google工程师Deedy Das甩出一场AI横评：7个前沿大模型，全自主单挑IMO 2026全部6道题。

2、绿凯8运作节省1.86亿！全新14+1名单实力仍东区前三 美媒力挺战绩第一

画面中足足塞进了五十多号人物，最绝的是完全没有AI常见的「复制粘贴」敷衍感。

3、泰山队最新名单，一线队6人离队补报19岁新星，B队补强两人

先抛出一个古老的哲学追问：人类究竟如何理解世界？康德在《纯粹理性批判》中给出了经典回答：他认为人类心灵并非被动接收外界刺激，而是先天配备了十二种「纯粹知性概念」（「十二范畴」）作为认知的形式框架。阿德耶米：相信自己和亚马尔能默契配合，组成一对进攻组合有网友一针见血地评论：「谷歌需要削减其臃肿的官僚体系，才能在此领域取得进展。

4、4.3万人观赛费德勒创历史 官方没钱无缘上榜吉尼斯

门把手的高度、球拍的握法、楼梯的台阶，无一例外。

5、喝水都胖？这届减脂人都开始“邪修”了～

它在SeClaw上归零，也并非被防住，而是SeClaw干脆不再加载这类插件。

6、尽管局面“令人遗憾”，但温网始终还是温网

内部人士称，Gemini 3.5 Pro的开发进度已经落后了数月。

每一步，选两个数m和n，擦掉，换上gcd(m,n)和lcm(m,n)/gcd(m,n)。

2026年的第二跳，他们发布了AstraBrain WAM进阶成果，一举打开Scaling Law。

7、宾利第四大车系定名托卡尔 9月23日伦敦全球首秀

做了4年端到端加密产品、刚被挖来的高管Andrew Milich亲自站台背书。

祖泉研究院方面表示，本次启动的孵化营是祖泉研究院探索AI4S成果转化新机制的重要实践。

8、萨拉赫罗伯逊全走了，利物浦换帅又换血，芬威体育集团头都大了

Tibo在推文里说，本来想早点把额度调回来，结果被团队为保系统不崩、稳定运行而忙的「数以百万计的任务」给绊住了。

目前Pro、Max、Team、Enterprise四档都能用，唯一的限制是：公开分享出去的Artifact，享受不到这套能力。

这是一支跨学科的复合型、国际化、多元化团队：有人师从计算认知记忆奠基人，为AI注入人类记忆的理论灵魂；有人深耕世界模型与推理优化，把长序列记忆从算力黑洞变成可落地的工程现实；有人曾主导微软小冰核心算法开发、ToDesk、QwenC多模态推理Agent等千万级用户产品，把前沿论文变成真实世界的生产力。

本来要几天的活儿，几个小时干完。