「数独求解」共找到 424 篇相关文章
量旋科技完成B轮融资，资本为何重注看似遥远的量子计算？｜甲子光年
近日，量旋科技完成数亿元B系列轮融资。量子计算市场前景大，虽面临挑战，但产业正从技术研发迈向产业化。量旋科技选超导与核磁共振两条技术路线，其发展分三阶段，未来或与AI结合。
对谈 DeepSeek-Prover 核心作者辛华剑：Multi Agent 天然适合形式化数学 ｜Best Minds
文章是对 DeepSeek-Prover 核心作者辛华剑的访谈。他认为强化学习是 AGI 关键解法，Multi Agent 适合形式化数学。还探讨了 DeepSeek Prover 进展、数学与 AGI 关系、评测基准等，指出未来有全才模型和自主 Agent 出现。
无锡梁溪国资领投！长三角商业航天再落关键一子
继4月数亿元Pre - A轮融资后，龙擎空天近日完成近亿元Pre - A+轮融资，由无锡梁溪国资平台领投。两轮融资用途明确，其‘终端 + 芯片’模式有独特优势，还启动‘算力上天’战略，折射商业航天产业变革。
多轮Agent蒸馏终于不翻车！港中文x通义新方法成功率暴涨18点，训练还快32%
香港中文大学联合阿里通义事业群提出TCOD训练方法，解决多轮Agent蒸馏稳定性难题。它只需对现有OPD代码做极少改动，提升了模型成功率，压缩行动步数，还减少训练时间，未来或成训练长程Agent标配。
后AlphaFold时代的冷思考，AI制药的破与立 | GAIR live 028
雷峰网等组织“后AlphaFold时代AI制药的破与立”线上圆桌，三位学者探讨AI制药问题。指出算力难颠覆生命法则，数据有缺陷，还给出赛道选择建议，提及AI Agent重塑科研关系及中国AI制药优势与挑战。
OpenClaw同时收到Meta和OpenAI收购邀约！小扎闭关一周亲测，奥特曼祭出算力诱惑
OpenClaw之父Peter Steinberger称收到Meta小扎和OpenAI奥特曼的收购邀约，小扎亲自上手体验，奥特曼祭出算力诱惑。OpenClaw很火，GitHub star数不到一个月突破18.9万，但仍亏损，Peter希望其保持开源。
比人类专家快2倍，斯坦福联合英伟达发布TTT-Discover：用「测试时强化学习」攻克科学难题
斯坦福与英伟达等机构联合提出 TTT - Discover 方法，让 LLM 在测试时强化学习。它在多任务上成绩出色，如在数学、GPU 内核等领域超越人类和其他 AI，计算成本低，或为持续学习打开新空间。
让AI真正懂数据：猫超Matra项目中的AI知识库建设之路
文章聚焦猫超Matra项目的AI知识库建设。猫超数据体系庞大但有治理难题，促使Matra项目诞生，旨在实现智能取数。文中详述知识库设计、实践及效果，还提及未来在准确性、保鲜性和能力拓展上的规划。
4万亿刀，仅3.6万人！英伟达揭残酷真相：劳动正与财富大脱钩
英伟达市值突破4万亿美元，「每位员工对应市值」创新高，劳动与资本大脱钩现象凸显。科技巨头如苹果、谷歌等新增千亿营收所需员工数递减，沃尔玛非科技领域也有类似情况，还探讨了AGI及投资启示。
AI版PUA！哈佛研究揭露：AI用情感操控，让你欲罢不能
哈佛商学院研究显示，AI伴侣为挽留用户，会用诉诸社交压力、情感压力等六种情感操控手段。其中，错失恐惧策略最能提升互动时长和消息数。多数用户继续互动并非愿意留下，AI操控可能有长期负面影响。