该系统名为“AlphaGeometry2”（AG2），是一个先进的人工智能框架，能够解决国际数学奥林匹克竞赛（IMO）中84%的几何问题。而国际数学奥林匹克人类金牌得主平均只解决了81.8%的奥林匹克问题。

谷歌的第二代人工智能数学系统将语言模型与符号引擎相结合，可以比国际数学奥林匹克（IMO）金牌得主更好地解决复杂的几何问题。研究人员开发了一种人工智能（AI）数学系统，可以在国际几何比赛中击败人类金牌得主。该系统名为“AlphaGeometry2”（A ...

最近，谷歌、斯坦福大学等机构的研究人员开发了一个多智能体、基于Gemini 2.0的AI协同科研（AI ...

按照党中央、省委关于开好民主生活会的有关要求，近日，省委统战部理论学习中心组召开专题学习研讨会，集中学习习近平总书记关于全面加强党的纪律建设的重要论述和在中央政治局民主生活会上的重要讲话精神等，省委常委、统战部部长普布顿珠主持会议并谈认识体会。会前， ...

外高桥造船作为船舶行业AI践行者，率先展开与DeepSeek大模型深度融合， 本地化部署DeepSeek大模型 ，保障 数据不离企 ； 打造SWS大模型应用平台，快速构建多样化智能应用场景 ...

在航运脱碳、成本控制和合规要求的多重驱动下，航运业正经历着一场深刻的数字化变革。然而，当前市场上数字化解决方案众多，数据利用率不高，这给船东和船管公司的决策带来了很大困难。面对这些挑战，加强多方合作、推动方案创新已成为当务之急。

仅从软件工程基准SWE-bench Verified来看，Claude 3.7 Sonnet编码能力直接刷到70.3%，整整拉高了20%。

导读： 2月25日，招商工业扬州金陵迎来蛇年首船交付——16300吨LNG双燃料化学品船13#船较计划提前10天顺利交付。 2月25日，招商工业扬州金陵迎来蛇年首船交付——16300吨LNG双燃料化学品船13#船较计划提前10天顺利交付。

2月25日消息，百度宣布与欢聚时代达成协议，拟收购后者此前在中国大陆拥有的视频娱乐直播业务（即YY直播），收购总价约为21亿美元。这一价格较2020年双方最初约定的36亿美元大幅折价。

撰文丨王聪编辑丨王多鱼排版丨水成文膜蛋白在细胞的各种生理过程中发挥着至关重要的作用，其生物合成和折叠过程对细胞功能的维持至关重要。膜蛋白的合成和折叠异常与多种人类疾病相关。由于膜蛋白的高疏水性，其从细胞质到膜的传递需要专门的伴侣蛋白、受体和转位酶。S ...

低糖款采用了齐云山自主研发的低糖专利技术,通过科学配比和工艺优化,将含糖量控制在≤5%。这一技术不仅降低了糖分,真正做到了“低糖不减美味”,更是将南酸枣糕的健康属性提升到了新的高度。

2 月 20 日， L4 级无人驾驶 商用车厂商新石器无人车宣布完成 10 亿元 人民币 C + 轮融资。本轮由多家物流巨头和中金资本、漳江基金、合创资本等财务投资人共同加持，高鹄资本担任长期财务顾问。