图灵周报：精选AI行业一周大事件，从良莠不齐的行业资讯中挑选出最有价值的信息，配上专业点评，值得你细读、品味。

01攻破奥数难题登Nature，AI水平接近人类金牌得主

图源：Pexels

1月17日，谷歌研发的AI数学模型AlphaGeometry登上国际顶刊Nature。AlphaGeometry能解决几何问题，解题水平接近人类奥林匹克金牌得主，有望成为AI迈向通用人工智能的一个重要里程碑。

点评：谷歌研发的AI数学模型再登国际顶刊Nature，展示了AI在几何问题解决上的强大能力。图形是非常抽象且考验逻辑的，谷歌开创性地通过将神经语言模型和符号推演引擎结合，使得AI实现了远高于此前系统和匹敌人类奥数金牌得主的水平。这一突破可能意味着AI迈向通用人工智能的重要里程碑，不仅为AI领域带来了新的突破，更可能成为数学和工程、艺术等领域常用的工作方法。谷歌DeepMind的研究只是一个开始，未来以AlphaGeometry为代表的AI方法将继续迭代，在更多领域释放自己的潜力。

02图森未来决定退市

图源：图森未来公告

1月18日，在美股上市的自动驾驶卡车公司图森未来发布文件称，公司将自愿从纳斯达克退市，并终止在美国证券监管机构的注册。按照计划，图森未来将于1月29日完成注销和退市，并于2月7日终止其在纳斯达克的所有普通股交易。此后，该公司将不再需要提交任何业务层面上的公开文件。

点评：在一系列自动驾驶公司无奈退市的新闻中，主动申请退市的大概率还是头一遭。但这并不意外，毕竟之前核心创始人出走，美国业务出售、裁员、变卖资产，已经表明图森未来的业务重心，不会在美国。自愿退市后，图森的美国业务将迎来终局。

03Meta宣布改组旗下AI部门

图源：Unsplash

1月19日消息，据外媒The Verge报道，Meta公司最近对自家部门进行了大规模改组，主要整合了自家 AI 研发部门 Facebook AI Research（FAIR）与产品部门，并宣布已开始训练下一代大型语言模型Llama 3，意图令 AI“成为公司发展核心”。

点评：AI现已被视为Meta产品的核心要素。此次部门调整的目标是将AI更深入地融入到公司的各类产品中，从而提升产品的智能化水平，并改善相关软硬件产品的开发流程。Llama 3新模型的开发也将进一步提升Meta在人工智能领域的竞争力。

04我国算力全球第二

图源：Pixabay

1月19日，工信部新闻发言人陶青表示，我国在算力领域取得了显著进展，算力总规模已位居全球第二。在云计算、大数据等技术方面，我国的创新能力已达到世界第一梯队水平。

点评：随着新一代人工智能技术的快速发展和突破，以深度学习计算模式为主的AI算力需求呈指数级增长。数据显示，在1960到2010年间，AI的计算复杂度每两年翻一番；在2010到2020年间，AI的计算复杂度每年猛增10倍。面对如此大的模型和复杂的计算，提升AI算力迫在眉睫。毕竟，在人工智能发展的三要素：数据、算法和算力中，无论是数据还是算法，都离不开算力的支撑。

05上海发布大语言模型书生·浦语2.0

图源：魔搭社区书生·浦语2模型页截图

1月17日，上海人工智能实验室与商汤科技联合香港中文大学和复旦大学正式发布新一代大语言模型书生·浦语2.0（InternLM2）。书生·浦语2.0能够一次性接受并处理约30万汉字的输入内容，准确提取关键信息，实现长文本中“大海捞针”。

点评：大模型有限的上下文长度仍为当前学界及业界面临的重要难题。研究人员对书生·浦语2.0进行了“大海捞针”试验，将一份时长3小时的公开会议录音转录稿输入模型中，并要求书生·浦语2.0从中提取出关键信息。测试结果表明，尽管在未校对的文本中存在较多错别字，但书生·浦语2.0仍能从中准确提炼出关键信息，并总结发言人的主要观点。

06阿里云、阿里巴巴起诉山寨通义千问APP一审胜诉

图源:Pixabay

1月16日，武汉市中级人民法院做出一审判决，飞游科技公司因侵犯注册商标及虚假宣传，被责令赔偿相关经济损失及维权费用，并于官网连续十五日发布道歉声明。判决书显示，在阿里云“通义千问官方APP”处于测试阶段尚未正式发布时，飞游科技公司趁机在运营的软件园中提供了“通义千问”“通义听悟”仿冒软件，描述为阿里官方版，并设置了通义千问下载专区。

点评：事实上，通义千问自去年推出后，就陆续有山寨“通义千问”和通义系列产品的APP、账号在搜索平台、应用商店和社交平台出现，有些甚至还打着官方的旗号向用户收费。值得一提的是，去年ChatGPT火爆后，可接入的ChatGPT聊天机器人服务层出不穷。去年4月，百度还未宣告文心一言上线APP时，在苹果应用商店里就出现了三款名字中有“文心一言”字样的APP，且以上三款APP均需在提问一至两次后购买会员，否则无法继续提问。