银河官方官网新华社北京1月22日电谷歌旗下人工智能公司“深层思维”近日发布公报称，该公司与美国纽约大学的研究人员合作开发的一种名为AlphaGeometry的人工智能（AI）系统，可以解决复杂的几何问题，其水平接近国际数学奥林匹克竞赛金牌得主，这是人工智能在性能上的突破。

　　证明数学定理是一项具有挑战性的工作，因此国际数学奥林匹克竞赛通常被认为是识别相关人才的方法，同时也是AI在数学和推理领域的试验场。公报说，AI系统往往难以解决几何和数学中的复杂问题，而该研究团队开发的一种方法可生成大量的合成训练数据（1亿个独特的示例），能让AlphaGeometry在没有任何人工演示的情况下进行自我训练。此外，研究团队还添加了一个基于形式逻辑的符号推演引擎，能让系统做出更“深思熟虑”的决策。

　　测试结果显示，在2000年到2022年国际数学奥林匹克竞赛汇编的30个几何问题中，AlphaGeometry在比赛时间内解决了25个问题，而通常的人类金牌得主能解决25.9个。相比之下，此前最先进的AI系统只解决了其中的10个。

　　公报说，通过AlphaGeometry，研究团队展示了AI日益增长的逻辑推理能力，以及发现和验证新知识的能力。解决国际数学奥林匹克竞赛级别的几何问题，是在通往更先进和通用的AI系统的道路上发展深度数学推理的一个重要里程碑。研究团队正在开源AlphaGeometry代码和模型，并希望它与合成数据生成和训练中的其他工具和方法一起，推动数学和人工智能等领域的新发展。

　　坚持因地制宜，理清思路、完善规划，做到宜农则农、宜林则林、宜牧则牧，把自身比较优势发挥好。

　　作为信息通信业“风向标、晴雨表”，2024国际信息通信展日前在京落下帷幕。

　　相信随着各项改革举措落细落实，全社会尊重和关爱妇女儿童的氛围将更加浓厚，广大妇女群体的获得感、幸福感、安全感也将不断提升。

　　大规模设备更新关系各行各业和千家万户，既稳增长又促转型，既利企业又惠民生，具有全局性战略性意义。

　　天峨龙滩特大桥主孔将世界混凝土拱桥跨径世界纪录一次性提高155米，比国外最大跨径混凝土拱桥大210米，建造风险大。

　　除了在国家体育场鸟巢推出的《唐宫夜宴》，河南台的另一部大空间沉浸展《隐秘的秦陵》也在上海获得广泛关注。

　　接下来，释放出的氢气可能与水中的二氧化碳结合形成甲烷（一种可以在火星黏土表面储存数十亿年的碳形态）。科学家提出，这些被封存的火星碳或许有一天能被回收并转化为推进剂，为火星与地球之间的未来任务提供动力。

　　澳大利亚国立大学科学家的一项最新研究显示，地球外核存在一个与赤道平行的环状区域。液态外核内探索到的低速地震波暗示，这些轻化学元素浓度较高，可减缓地震波的速度。

　　一个国际研究团队在理解宇宙的大尺度结构方面取得了重要进展，他们确定了被称为“引力盆地”的关键区域。这项研究加深了人们对于宇宙复杂引力动力学的理解，也让科学家更清楚地认识到塑造宇宙结构的力量。

　　党的十八大以来，三次产业协同发展和优化升级态势更加明显，第一产业基础地位巩固夯实，第二产业加快转型升级，第三产业持续快速发展。党的十八大以来，我国把贫困人口全部脱贫作为全面建成小康社会的底线任务，汇聚全党全国全社会之力打响脱贫攻坚战。

　　上海博物馆馆长褚晓波说，此次长江口二号古船试发掘区域位于古船南端。 国家文物局党组成员、副局长关强说，长江口二号古船考古工作站是目前我国最先进、体量最大的智能化考古专用工作站，填补了我国超大型水下文物实验室考古领域的空白。

　　日常生活中，我们还能听到“晒太阳可以预防骨质疏松”“趴着午休会导致胃下垂”“孩子身材矮小可以打增高针”等等说法。

　　记者在丹江口大坝现场看到，借助数字孪生技术，丹江口大坝已经建成全要素、全天候动态监控体系。据介绍，十四五以来，水利行业协作奋进，推进数字孪生水利建设取得明显进展。

　　不到一年，杨绍辉就夺得省级职业技能大赛冠军，并被授予“山东省技术能手”称号。

　　在算力的支持下，东数西算、东数西渲、东数西训、东数西存，应用场景更加多元，不少贵州本土企业也开始布局新的赛道。

　　在阮祥燕的办公室里，有一张照片格外醒目——她身着蓝色手术服怀抱一名新生儿，对着镜头深情微笑。正是这名女婴的降生，让她有了“冻存婴儿之母”的称呼。

　　我科学家团队利用化学重编程诱导多能干细胞（以下简称“CiPS细胞”）制备胰岛细胞治疗1型糖尿病。

　　党的十八大以来，中国农业科学院基础研究重大成果不断涌现，创新水平整体跃升。数据显示，2023年我国农业科技进步贡献率达63.2%，技术进步成为推动农业现代化的重要引擎。

　　科学的种子埋在当下，长在未来，在播种孕育的过程中，奔走在各地的科普大篷车、深入乡村基层的科普教育活动和服务平台，正不断赋予齐鲁大地科学的神奇与美好。

　　SDG中心主任、中国科学院院士郭华东介绍，报告利用多源卫星遥感数据和人工智能算法对全球7个SDGs及中国227个可持续发展指标定量评估。