国际最新研发一AI系统：能证明复杂数学理论

北京11月13日电 (记者 孙自法)国际知名学术期刊《自然》最新发表一篇人工智能(AI)研究论文称，谷歌(Google)旗下DeepMind研发推出一个AI系统，能证明复杂的数学理论。数学家利用计算工具解决复杂问题、证明理论，AI系统则可以加速这一过程。虽然一些大语言模型在能力上很有潜力，但人们很难验证它们推理的正确性，因为它们是用非正式的自然语言文本进行训练和操作的。在本项研究中，DeepMin

5750 阅读575 评论
优秀先生

特朗普签署临时拨款法案 美政府结束“停摆”

当地时间11月12日，美国总统特朗普在白宫签署了国会两院通过的一项联邦政府临时拨款法案，从而结束了已持续43天的史上最长联邦政府“停摆”。当天早些时候，美国国会众议院最终以222票支持、209票反对的结果，表决通过此前由参议院通过的一项联邦政府临时拨款法案。该法案将为联邦政府提供持续拨款，使大部分政府机构获得运作资金直至2026年1月30日。(总台记者 赵淼)新闻多看点本轮美国联邦政府“停摆”已超

8220 阅读822 评论
优秀先生

工业和信息化部：“十五五”专项规划 推动新型电池产业发展

2025世界动力电池大会昨天(12日)在四川宜宾开幕，记者从大会上了解到，我国将推出动力电池“十五五”专项规划，推动新型电池产业发展。最新数据显示，中国动力电池产业实现快速发展，关键核心技术取得重大突破，特别是电池单体能量密度超过300瓦时/公斤，实现15分钟快速补电，平均续航里程超过500公里。下一步将从多方面推动动力电池产业突破升级。编制“十五五”新能源汽车、新型电池产业发展规划，明确为产业发

1490 阅读149 评论
优秀先生