标签：代码 第2页

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

“把客厅收拾一下，再给客人做杯奶茶。”随着指令下达，机器人环顾四周，识别出散落的物品。机械臂精准抓取扫帚，沿着计算好的路径清扫地面；任务完成后，它转向操作台，取杯、加茶、加奶、搅拌、递送，动作行云流水，一气呵成。整个过程没有人工干预，仿佛一位训练有素的管家。

为进一步促进跨境电商出口，海关总署日前发布公告，宣布自2026年4月1日起，在全国海关推广跨境电商零售出口商品跨关区退货模式。 跨境电商零售出口商品（海关监管代码：9610）跨关区退货，是指跨境电商企业零售出口的商品在海外发生退货时，不再要...

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

人民网北京3月30日电 （记者赵竹青）当高端科学仪器被AI赋能，会发生什么？3月27日，2026中关村论坛年会AI for Science（人工智能赋能科学研究）青年论坛上发布的我国首套智能双束电镜系统“Hyper-FIB”给出了答案：样品制备成功率从新手不足30%跃升至90%以上，单样品制备时间缩短到60分钟以内，实现了“无人值守超过8小时”。

3月23日，国家数据局局长刘烈宏在中国发展高层论坛2026年年会上披露，今年3月份，中国日均Token调用量已突破140万亿，较2024年初的1000亿增长超千倍。