中国科学家首次用国产大模型攻克三维Ghys猜想
困扰数学界30余年的三维Ghys猜想被中国团队依托书生-S2大模型破解,并经北京大学团队形式化验证。这标志着中国科学家首次用国产大模型攻克世界级数学难题,确立了“人机协同”在基础科学研究中的新范式。
困扰数学界30余年的三维Ghys猜想被中国团队依托书生-S2大模型破解,并经北京大学团队形式化验证。这标志着中国科学家首次用国产大模型攻克世界级数学难题,确立了“人机协同”在基础科学研究中的新范式。
明略科技正式推出专有大模型产品线DeepMiner,致力于解决企业级智能体落地难题,该产品定位为商业数据分析领域的可信生产力工具。DeepMiner通过双引擎驱动架构、多智能体集群及人机协同机制,显著降低垂直领域幻觉率,已在跨境电商场景验证商业价值。
中国翻译协会发布行业首部生成式人工智能应用指导文件,提出人机协同范式重构方案与双轨制监管框架。白皮书创新性融合认知科学与机器翻译,建立包含场景适配、能力进化、伦理约束、质量评估的智能转型体系。