「正式证明搜索」共找到 1052 篇相关文章
宇树王兴兴，A股上市辅导公告了
宇树科技创业九年正式冲刺A股上市，其创始人王兴兴持股情况曝光。公司估值超百亿，产品涵盖多类型机器人，应用潜力大。当下具身智能领域投资火热，行业正迈向产业场景落地。
Cursor 2.0 来了！自研模型 Composer1，更禅的界面，多代理并行，Browser调试更强大
Cursor 2.0 发布，有诸多升级。它有自研编码模型 Composer1，速度快且适合 Agent 模式；界面更清爽禅意；支持多代理并行，能提升编码效率；浏览器可嵌入编辑器，沙盒终端在 macOS 正式发布等。
北大数学家终结50年猜想！一只蝴蝶翅膀，竟难倒菲尔兹奖得主
历时50年的「十杯马提尼猜想」被北大Lingrui Ge等学者证明。该猜想连接量子物理和数学，为解「霍夫施塔特蝴蝶」之谜。他们基于「全局理论」找到对偶方程，成果发表在arXiv，还攻克另外两个关键问题。
曝苹果拟收购Perplexity AI，人才一并拿走
据彭博社消息，苹果并购负责人等最高决策层讨论过收购Perplexity AI，目的是招揽人才及为AI搜索引擎做准备。目前处于早期阶段，双方未回应。苹果也考虑合作，还在与Meta竞争招揽人才。
留给人类数学家的悬赏不多了！谷歌DeepMind一口气解决9道埃尔德什问题
AI进军数学界速度惊人，谷歌DeepMind发布由Gemini驱动的AlphaProof Nexus框架，解决9个埃尔德什开放问题，还证明44个猜想、搞定代数几何难题、改进凸优化理论边界，推理成本低且代码开源。
刚刚，Gemini攻克「宇宙弦」终极难题！AI科学家最优雅解法震撼物理学
Google Research团队用Gemini Deep Think + 树搜索框架，攻克理论物理领域宇宙弦引力辐射功率谱精确解析解难题。AI探索600条候选路径，找出6种解法，最优雅的格根鲍尔方法让物理学家拍案叫绝。
详细介绍！RAG 和 GraphRAG：了解何时（When）、如何（How）使用它们
文章详细介绍传统RAG和GraphRAG技术，前者通过向量搜索检索上下文，但无法体现数据关系；后者用知识图谱提升检索效果，亮点是构建图谱、整合信息。还指出两者优缺点，建议结合使用。
这脑洞神了！两AI「互喷」，竟治好祖传科研软件95%老毛病？
科学计算领域开源工具多，但大多难以直接运行，制约AI4S与Agentic Science发展。深势科技推出Deploy - Master，以执行为中心，经搜索和构建，将约50万个仓库筛选收敛，构建成功率达95%以上。
陶哲轩震撼！数学家1975年埋下的「坑」，被AI和全球网友用48小时填平了
2025年12月，困扰数学界50年的Erdos#1026问题被攻克。陶哲轩宣布，在AI辅助下人类团队仅用48小时就完成证明。传统方法可能需数周甚至数月，AI带来全新理解，生成了新数学洞见。
Meta首个Agent生图模型登场，空降竞技场第二
Meta超智能实验室推出图像生成模型Muse Image，引入智能体机制，能编写代码、网络搜索，有自主修正能力，支持算力扩展、多轮编辑与画面合成。还预览了Muse Video，两模型均与Meta产品深度整合。