标签：美国

6日，记者从北京大学北京国际数学研究中心了解到，该中心董彬教授课题组与合作者组建的AI4Math团队用自主构建的自动化AI框架解决了交换代数中一个开放问题——安德森猜想，并在用于形式化验证数学定理正确性的编程语言和定理证明器——Lean中完成了约19000行的形式化验证。这是国内首次以AI框架攻克交换代数开放问题并实现大规模形式化验证，开辟了数学与AI深度融合的更多可能。

人民网北京3月31日电 （记者乔业琼）据中疾控微信公众号消息，提到麻疹，很多人觉得它只是疫苗普及前“小时候普遍会出的一种疹子”，如今早已被有效控制，无需过多担心。的确，在1963年麻疹疫苗问世和广泛接种前，麻疹呈周期性流行，全球估计每年造成...

近期，“Token出海”成为人工智能领域的热门话题。这一概念的迅速兴起，源于海外主流大模型API聚合平台OpenRouter的公开数据——2026年2月，中国大模型在该平台的周Token调用量占比达61％，首次超越美国，并连续三周保持领先。这一数据令人振奋，也让“Token出海”迅速出圈，因为它激发了人们对“换道超车”的集体想象：过去我们出口衬衫、家电、手机、新能源汽车，都是实体产品；如今“Token出海”，似乎实现了质的飞跃。

在3月29日举行的2026中关村论坛年会上，中国科学技术发展战略研究院发布《国家创新指数报告2025》。报告显示，全球创新发展保持亚美欧三足鼎立格局。中国国家创新指数综合排名世界第9位，较上年提升1位。

人民网北京3月25日电（记者乔业琼）近日，中疾控微信公众号发布发热伴血小板减少综合征防控知识问答，主要内容如下：

　　24日，中国科学院国家天文台发布郭守敬望远镜LAMOST DR13数据集，光谱总数达到3082万余条，首次突破3000万条，继续保持国际光谱巡天项目发布光谱数量第一的地位。

全球最大人工智能（AI）模型API聚合平台OpenRouter最新数据显示，3月16日至3月22日，全球AI大模型总调用量为20.4万亿Token，环比增长20.7%。