香港浸会大学团队新突破：让AI数学证明学会“举一反三”能力
数学证明领域迎来一项突破性进展——由跨机构研究团队开发的"EvolProver"系统，成功解决了人工智能在数学推理中"知其然不知其所以然"的长期难题。该系统通过创新训练范式，使AI模型在面对形式变化但本质相同的数学问题时，解答正确率较传统模型提升近一倍。研究团队发现，当前主流AI数学模型存在显著局限：当数学问题的表述方式发生微小变化时，模型准确率平均下降57%。例如，在证明"若ab=0则a=0或b=0"时表现良好的模型，面对"若xy=0则x=0或y=0"的等价表述时，错误率高...
2025.11.04
乔治亚大学团队新突破：让AI推理既“多线探索”又“精准聚焦”
人工智能领域迎来一项突破性进展，由跨国研究团队开发的MITS框架为大型语言模型在复杂推理任务中开辟了新路径。这项创新技术通过引入信息论核心概念，成功解决了传统方法在计算效率与推理质量间的两难困境，在多个权威测试集中展现出显著优势。当前主流的思维链推理模式虽能处理简单问题，但面对需要多路径探索的复杂场景时，常因单一路径偏差导致整体失败。蒙特卡洛树搜索等改进方案虽能拓展思维广度，却因需要海量模拟计算而难以实际应用。研究团队发现，现有评估体系无法准确量化推理步骤与具体问题的关联度，...
2025.11.04
突破旧框架 勇攀新高峰——北邮6G团队以创新引领通信科技跨越发展
在通信科技领域，北京邮电大学的一支6G研发团队凭借卓越的创新能力，为中国6G研究开辟出一条全新路径，摆脱了长期以来在西方传统理论框架下“修修补补”的被动局面。该团队突破既有理论桎梏，成功构建起语义信息论新体系，并建成国际首个面向6G智能通信融合的外场试验网，为全球通信技术发展贡献了中国智慧。面对人工智能浪潮对通信网络产业格局的深刻重塑，团队敏锐捕捉到旧模式、旧理论已难以适应技术快速迭代的现实。他们以创新理念为引领，主动跳出西方经典信息论的思维定式，提出信息通信新范式。这一突破...
2025.11.04
港大团队DeepCode出圈：论文复现超越顶尖高校博士与商用AI工具
在人工智能与科研领域，一项突破性成果引发广泛关注。香港大学研究团队推出的开源工具DeepCode，在学术论文代码复现任务中展现出超越人类专家的实力，并在多项关键指标上领先主流商业智能体。这一成果标志着自主科学软件工程迈入新阶段，为解决科研成果转化难题提供了创新方案。科研论文承载着算法创新的核心价值，但理论到实践的转化过程充满挑战。研究显示，超过70%的论文复现失败源于关键技术细节缺失，包括超参数配置、训练技巧、数据预处理等核心要素。传统方法依赖人工经验，即便资深研究员也常因细...
2025.11.02
京东许冉团队走进老板电器，共绘厨电科技融合与体验升级新蓝图
京东集团高层团队近日到访厨电行业领军企业老板电器总部，展开深度交流与考察。此次到访的京东团队由集团SEC副主席兼CEO许冉、集团副总裁兼京东零售家电家居事业群总裁姚彦中领衔，老板电器总裁任富佳、高级副总裁何亚东全程陪同。双方通过参观全球烹饪艺术中心、体验数字厨电产品，就技术创新、供应链协同及全域合作等议题展开战略对话，为厨电行业高质量发展注入新动能。作为深耕厨电领域46年的品牌，老板电器打造的全球烹饪艺术中心以“工业+文旅”模式成为行业标杆。该中心年接待访客超10万人次，覆盖...
2025.10.31
-
5人小团队打造《逃离鸭科夫》爆火，揭秘游戏成功背后的故事
一款名为《逃离鸭科夫》的国产游戏近期引发全网热议，其销量突破200万份的战绩令行业侧目。开发团队“碳酸小队”在接受专访时透露，这个由五名90后成员与一只名为小白的团队吉祥犬组成的微型团队，最初设定的回本目标仅为30万份。如今这款俯视角PVE游戏不仅在Steam平台创下30万同时在线纪录，更以96%的好评率成为今年口碑最强的国产新作之一。游戏首周51.04元的定价策略与仅2GB的轻量安装包形成鲜明反差，40小时的主线流程时长让玩家直呼“良心”。区别于传统搜打撤游戏的硬核设定，开...
2025.10.30
估值93亿的Vercel用AI“复制”顶尖销售，10人团队精简至1人加1个智能体
在数字化转型浪潮中，知名前端云平台Vercel正以独特方式探索人工智能与商业运营的深度融合。这家估值超93亿美元的技术公司，近期通过内部AI项目实现了工作流程的革命性变革——用单个智能体取代了传统十人销售团队的部分职能，同时将人力资源重新配置到更具战略价值的领域。公司核心业务围绕Next.js框架展开，为全球开发者提供现代化Web应用构建工具。自今年3月新任首席运营官Jeanne DeWitt Grosser上任后，Vercel启动了代号"Lead Agent"的智能体训练计...
2025.10.30
-
从动物自护到人类抗菌新希望：我国团队发现“微观利剑”AM-X
在人类与细菌的漫长博弈中，抗生素曾是扭转战局的关键武器。然而，随着耐药菌株的快速扩散，传统抗生素的效力正逐渐衰退，寻找新型抗菌策略已成为全球科研界的紧迫任务。近日，一支中国跨学科研究团队从自然界中汲取灵感，通过模仿动物的天然防御机制，发现了一种名为“AM-X”的小分子抗菌剂，为应对耐药菌威胁提供了新思路。在自然界中，许多动物长期暴露于充满病原体的环境中，却能依靠自身分泌的抗菌物质维持健康。例如，猪、牛、鱼类及昆虫的黏膜分泌物中，含有短肽、生物碱等天然抗菌成分，这些物质通过破坏...
2025.10.29
字节跳动深化海外游戏布局，GameTop平台启动运营团队招聘
近日，字节跳动被曝出正筹备在海外市场推出一款名为GameTop的游戏发行平台，其定位与Steam相似，旨在整合游戏分发、创作工具支持及玩家社交功能。这一动作被视为字节跳动深化海外游戏发行战略的重要举措，同时也是其游戏业务战略调整后的关键布局。据了解，GameTop平台将面向海外用户，提供个性化游戏内容推荐服务，同时满足游戏创作者的工具需求和玩家的社交互动需求。目前，字节跳动已启动GameTop平台的运营团队招聘，招聘岗位涵盖用户运营的核心环节，包括制定用户拉新、激活、留存及召...
2025.10.25
重金揽才后Meta AI团队启动裁员：约600人受影响，FAIR研究员田渊栋在列
meta公司近期在人工智能领域展开了一系列重大调整，继此前以高薪吸引硅谷顶尖AI人才后，公司开始对内部团队进行结构性优化。据知情人士透露，当地时间10月22日，meta宣布其AI部门将裁减约600个岗位，涉及AI基础设施部门（MSL）、基础AI研究部门（FAIR）等多个核心团队。此次裁员由新任首席人工智能官亚历山大·王（Alexandr Wang）主导，他在内部备忘录中解释称，此举旨在简化管理层级、提升运营效率。被裁员工将获得16周基础遣散费，每满一年工龄额外增加两周薪资，但...
2025.10.25
