「数学突破」共找到 1182 篇相关文章
姚班陈立杰入职OpenAI！破解50年世界难题的30岁天才，要颠覆ChatGPT
有消息称清华姚班天才陈立杰将入职OpenAI，他将告别UC伯克利助理教授岗位。陈立杰履历亮眼，16岁保送清华姚班，18岁获IOI金牌，若入职可能给OpenAI带来理论突破。
一文读懂 Deep Research：竞争核心、技术难题与演进方向
文章梳理了深度研究系统，包括其发展历程、现有系统差异、技术实现挑战、评估体系及推理架构演进方向。指出竞争焦点转向综合比拼，评估走向专业化，未来系统将在多方面突破。
50年僵局打破！MIT最新证明：对于算法少量内存胜过大量时间
MIT理论计算机科学家Ryan Williams最新研究建立数学程序，将任意算法转化为占用空间更少的形式，证明少量计算内存比大量计算时间更有价值，打破计算机科学家近50年认知。
AI Agent搞定世纪首次菲尔兹奖成果形式化！一周时间独立完成，20万行代码已公开
Math公司的AI Gauss用5天完成原本需6个月的菲尔兹奖级数学成果形式化证明，一周搞定24维情形，还修正原论文错误。其创始人是xAI联合创始人Christian Szegedy，代码已公开。
EmbodiChain开源，用100%生成式数据自动训练具身智能模型
跨维智能开源EmbodiChain，它是通往GS - World的基石，重构具身智能学习范式。其以100%生成式仿真数据训练机器人，突破数据瓶颈，还对比了不同路线，测试显示其模型效果佳。
具身智能迈入下半场，RoboMemArena全面评测机器人记忆系统
香港科技大学（广州）等多机构打造具身智能评测基准 RoboMemArena，突破传统局限，构建综合评测体系，配套真机测评。它提供多模态标注，任务长程多样，开源资源易用，PrediMem 在其上表现出色。
突发，Claude首破黎曼猜想新纪录！
Anthropic让内部研究版Claude证明「黎曼猜想」失败，但它将符合猜想的黎曼Zeta函数零点比例下限从41.6%提升到67.2%。此成果意义重大，标志AI进入开放数学研究。
成本砍半！国产黑马攻破机器人「瘫痪」难题，大厂纷纷上车
深圳机器人产业生态优越，产业链完整。小象电动聚焦轴向磁通路线，实现技术突破，累计出货近7万台，进入华为等大厂供应链，完成超亿元融资，体现深圳产业链整体优势。
刚刚，Ilya一个神秘动作！OpenAI全员狂欢：AGI来了
Ilya更换X头像和背景封面引发全网猜想，有人猜测SSI内部已实现「超级智能」。另一边，OpenAI研究员集体高呼感受AGI，有人认为取得突破，也有人觉得是跟风刷存在感。
台积电CoWoS的接班人：CoPoS
台积电将CoPoS定位为CoWoS下一代接班人，计划取代CoWoS - L。它用面板尺寸基板替换硅中介层，突破现有技术限制。目前已启动试点线验证，预计2027年小规模生产，或成高端芯片封装主流。