「数学突破」共找到 1182 篇相关文章
英伟达加冕历史第一股！老黄最新身家1388亿美元，刚入职的研究员都赶上了
英伟达市值达3.92万亿美元刷新全球纪录，超加拿大与墨西哥股市总市值之和及英国所有上市公司总市值。其股价飙升源于AI热潮与芯片技术突破，同时老黄还不断从清华系AI公司挖人。
港中文薛天帆团队：实现 4K 全景视频生成，普通视频也能「长出空间」丨CVPR 2026
香港中文大学薛天帆团队提出CubeComposer框架，可将普通视角视频扩展成原生4K的360°视频。研究在两个数据集测试，结果显示其在多指标上优于基线。该成果突破技术上限，让普通人也能制作360°视频。
上海AI Lab提出CANON：让RLVR自主识别优质推理模式
上海AI Lab与上海交大团队提出创新框架CANON，解决将人类先验知识融入RLVR训练的难题。它通过条件分组与对比机制，自适应放大有益指标变化趋势，在数学和逻辑推理任务上成果卓越，还能提升推理效率。
AI基建的高潮，2025年才真正开始
文章指出AI将科技与资本结合推向新高度，美国资本市场引领技术革命，吸引全球资本。科技巨头2025年起大规模投资AI基建，其投资热能持续取决于前沿模型突破等因素，还探讨了AI对就业与分配的影响。
马斯克终于成『AI No.1』，6大案例看实力与水分
马斯克发布Grok 4，宣称其超越OpenAI等LLM。它屠了各种榜单，但Grok系列口碑欠佳。文中通过多案例测试，展现其在各方面的表现，如编码、数学、图像等，还提到了API速度和价格。
从《塞尔达传说》理解 Agent 的上下文工程：Claude Skills 还是被低估了
Claude Skills 是为 AI 设计的「技能包」，能把复杂任务指令打包。作者认为其信息分层设计哲学是关键突破，以《塞尔达传说》为例，介绍了信息分层和按需加载理念，还阐述了三层架构及应用案例、挑战和通用原则。
“智元机器人收购A股上市公司是创新需要…现金流能撑三年”
智元机器人收购A股上纬新材后公开亮相，董事长邓泰华透露融资、出货等规划。其团队高管回应收购舆论、技术成果及合作等问题，如远征A2高温行走突破、与上市公司合作原因等，还提及出海和工业场景ROI规划。
阿里首个世界模型：快乐…生蚝
刚成立一个月的阿里ATH事业群发布全球首个主动式实时交互世界模型HappyOyster（快乐生蚝），它搭载原生多模态架构，有漫游、导演、创造、分享等玩法，目前需邀请码体验。其技术突破让它区别于传统文生视频模型。
暴涨3倍！光模块背后大赢家
2025年源杰科技股价表现强劲，年初迄今涨幅达348%，反超下游大客户中际旭创。其前三季度业绩爆发，得益于数据中心市场产品放量。随着AI算力需求爆发，光互连技术向CPO架构演进，对光芯片要求提高，源杰科技高端产品突破助其获利。
AI「生肉证明」堆爆GitHub！陶哲轩重磅发声：只会解题没用了
陶哲轩判断数学从证明稀缺进入过剩时代，AI 使证明生成加速，出现验证和消化跟不上的‘阻抗失配’现象。如 Erdős 问题有众多待评估方案堆积，而仅1196号案例跑通‘三件套’。他还指出学术评价体系将重写。