AI日報：Luma AI發佈Uni-1圖像模型；阿里達摩院發佈玄鐵C950；美團龍貓發佈開源數學定理證明模型

歡迎來到【AI日報】欄目!這裏是你每天探索人工智能世界的指南，每天我們爲你呈現AI領域的熱點內容，聚焦開發者，助你洞悉技術趨勢、瞭解創新AI產品應用。

新鮮AI產品點擊瞭解：https://app.aibase.com/zh

1、Luma AI 發佈 Uni-1 圖像模型，採用自迴歸架構同步生成文本與像素

Luma AI 發佈了基於自迴歸架構的圖像生成模型 Uni-1，支持文本與圖像同步生成，並提供多種視覺風格。該模型在基準測試中表現優異，API定價合理，適合企業使用。

【AiBase提要:】

🧠 自迴歸架構實現文本與圖像同步生成

🎨 支持76種視覺風格，涵蓋寫實攝影、漫畫等

💰 API按token計費，成本低於競品

2、美團龍貓發佈開源數學定理證明模型 LongCat-Flash-Prover

美團龍貓團隊發佈了名爲 LongCat-Flash-Prover 的開源深度學習模型，專門用於數學形式化與定理證明。該模型通過自動形式化、草稿生成和證明生成三大能力，實現了從概率預測答案到嚴謹邏輯證明的範式轉變，並在多個基準測試中取得了優異成績。

【AiBase提要:】

🧠 該模型通過自動形式化、草稿生成和證明生成三大能力，實現邏輯推理的範式轉變。

📊 在 MiniF2F-Test 基準測試中，僅需72次推理預算即可達到97.1%的通過率，刷新了開源 Prover 模型的 SOTA 紀錄。

🔒 採用基於 TIR 的“混合專家迭代”框架，有效解決邏輯漏洞與代碼欺騙問題。

詳情鏈接:https://github.com/meituan-longcat/LongCat-Flash-Prover

3、阿里達摩院發佈玄鐵C950：單核性能突破 70 分，刷新全球RISC-V紀錄

阿里達摩院發佈的玄鐵C950處理器在性能、安全性及AI能力方面實現了重大突破，標誌着RISC-V架構在高性能計算領域的實力提升。

【AiBase提要:】

🚀 單核性能突破70分，刷新全球RISC-V紀錄

🧬 原生支持機密計算安全隔離與數據保護

🧠 集成自研AI加速引擎，支持千億參數大模型

4、4000 億參數“生啃”成功！iPhone 17 Pro 挑戰本地運行超大模型，但速度只有 0.6 token

文章探討了iPhone 17 Pro成功運行4000億參數大語言模型的技術挑戰與意義，儘管速度較慢，但展示了本地運行超大模型的可能性。

【AiBase提要:】

🧠 通過SSD流式傳輸數據，突破內存限制

⚡ 每兩秒生成一個詞，速度較慢

🔒 本地運行提升隱私保護和離線可行性

5、Claude 助手升級！Anthropic 推出電腦控制新功能

Claude 助手的升級標誌着 AI 從‘動口’到‘動手’的轉變，其直接控制用戶電腦的功能引發了對安全性和效率的討論。

【AiBase提要:】

🧠 Claude 助手升級，具備直接控制用戶電腦的能力。

🔒 安全性方面，Anthropic 強調權限確認和主動防禦機制。

🚀 2026 年 AI 智能體全面爆發，巨頭爭奪用戶桌面定義權。

6、西湖大學發佈“泰坦 o1”：全球首個機器人“通用小腦”誕生

西湖大學發佈的泰坦 o1 人形機器人搭載了全球首個動作泛化大模型 GAE 系統，實現了毫秒級動作復刻、動作泛化和遠程同步操控，標誌着人形機器人從玩具向生產力工具的轉變。

【AiBase提要:】

🤖 毫秒級復刻：泰坦 o1 能精準同步人類動作，實現一人操控百臺機器人。

🧠 動作泛化：GAE 系統讓機器人具備像人類一樣的動作適應能力，無需死板編程。

🚀 時空突破：支持遠程同步操控，可同時指揮成百上千個機器人完成高難度協同作業。

7、搜索規則生變?OpenAI 申請入駐安卓“選擇界面”，ChatGPT 或成 Chrome 默認新寵

OpenAI向英國競爭與市場管理局提交申請，希望將ChatGPT納入谷歌安卓系統及Chrome瀏覽器的可選默認搜索引擎名單。此舉標誌着AI原生應用對傳統搜索入口的介入，並可能重塑移動端的搜索生態。

【AiBase提要:】

✅ OpenAI申請將ChatGPT作爲安卓和Chrome的默認搜索引擎，挑戰傳統搜索入口。

💡 OpenAI認爲生成式AI平臺應被納入搜索資格標準，而非僅限於傳統引擎。

🔄 若獲批，將打破谷歌在覈心流量入口的長期主導地位，推動搜索市場的去中心化趨勢。

8、國家數據局定調:Token官方中文名正式確認爲“詞元”

國家數據局正式將大模型基礎計量單位‘Token’定名爲‘詞元’，這一命名終結了學術界與產業界關於Token中文譯名的爭議，標誌着大模型技術標準語境在國家層面的進一步規範化。

【AiBase提要:】

🧠 詞元作爲AI理解人類語言的最小單位，其切分粒度介於字與詞之間。

📊 我國人工智能行業日均詞元調用量已突破140萬億次。

🌐 統一術語規範有助於降低行業溝通成本，爲後續AI基礎設施的統計量化與政策制定夯實基礎。