發現高質量的人工智能工具
將全球領先的人工智能工具聚集在一起，以幫助提高工作效率
RogerLopez發表的文章
Anthropic 的 Claude 透過驗證臨界線上 67.25% 的黎曼ζ函式零點，推進了黎曼猜想的證明。數學家 Youness Lamzouri 利用希爾伯特空間不等式改進了該證明，AxiomProver 隨即在 Lean 中完成了即時驗證。這種人機協作加速了形式化驗證程序，標誌著數學研究從人工審查向機器驗證的轉變，並推動了對孿生素數猜想的進一步探索。
Anthropic 的 Claude 透過驗證臨界線上 67.25% 的黎曼ζ函式零點，推進了黎曼猜想的證明。數學家 Youness Lamzouri 利用希爾伯特空間不等式改進了該證明，AxiomProver 隨即在 Lean 中完成了即時驗證。這種人機協作加速了形式化驗證程序，標誌著數學研究從人工審查向機器驗證的轉變，並推動了對孿生素數猜想的進一步探索。
Mistral AI 釋出了 Shieldstral，這是一款基於 Apache 2.0 授權的 3B 參數開放權重內容評審模型。該模型可在單顆 16GB GPU 上運行，支援 12 種語言，並宣稱其安全性表現可媲美規模大 7 倍的模型，在多模態評審領域達到 SOTA 水準。 其獨特設計將評審準則嵌入輸入中，並透過二元問題輸出經校準的安全分數。
Mistral AI 釋出了 Shieldstral，這是一款基於 Apache 2.0 授權的 3B 參數開放權重內容評審模型。該模型可在單顆 16GB GPU 上運行，支援 12 種語言，並宣稱其安全性表現可媲美規模大 7 倍的模型，在多模態評審領域達到 SOTA 水準。 其獨特設計將評審準則嵌入輸入中，並透過二元問題輸出經校準的安全分數。
微信官方帳號推出專為創作者設計的 AI 驅動「一鍵排版」功能。該功能可自動優化段落結構、生成小標題樣式，並調整圖片佈局，包括將多張圖片轉換為輪播圖。提供兩種樣式及可自訂的顏色選項，節省手動編輯的時間。
微信官方帳號推出專為創作者設計的 AI 驅動「一鍵排版」功能。該功能可自動優化段落結構、生成小標題樣式，並調整圖片佈局，包括將多張圖片轉換為輪播圖。提供兩種樣式及可自訂的顏色選項，節省手動編輯的時間。
Meta 正在測試一款名為 StoryKit 的人工智慧應用程式，該程式能利用孩子玩具的照片，為他們生成個人化的睡前故事。雖然該應用程式設有安全過濾機制且不具備社交功能，但仍引發了人們對其可能取代親子互動的擔憂。
Meta 正在測試一款名為 StoryKit 的人工智慧應用程式，該程式能利用孩子玩具的照片，為他們生成個人化的睡前故事。雖然該應用程式設有安全過濾機制且不具備社交功能，但仍引發了人們對其可能取代親子互動的擔憂。
由赫爾曼·弗裡德曼公司提供支援的這家中心企業計劃進行首次公開募股，目標籌集高達30億美元的資金，這使其成為近期規模最大的資本市場交易之一。儘管具體時間表尚未公佈，但相關準備工作正在快速推進中。
由赫爾曼·弗裡德曼公司提供支援的這家中心企業計劃進行首次公開募股，目標籌集高達30億美元的資金，這使其成為近期規模最大的資本市場交易之一。儘管具體時間表尚未公佈，但相關準備工作正在快速推進中。
美國政府正放寬對人工智慧公司 Anthropic 的限制，允許該公司恢復其 Fable 5 模型的存取權限；此前，該模型因出口管制法規於 6 月 12 日遭禁用兩週。Anthropic 已獲得授權，可向值得信賴的美國組織重新發行 Mythos 5 模型。 作為適用範圍更廣的公開模型，Fable 5 預計將在相關討論持續進行之際恢復服務，這反映出在人工智慧技術管控與國家安全之間所達成的政策平衡。
美國政府正放寬對人工智慧公司 Anthropic 的限制，允許該公司恢復其 Fable 5 模型的存取權限；此前，該模型因出口管制法規於 6 月 12 日遭禁用兩週。Anthropic 已獲得授權，可向值得信賴的美國組織重新發行 Mythos 5 模型。 作為適用範圍更廣的公開模型，Fable 5 預計將在相關討論持續進行之際恢復服務，這反映出在人工智慧技術管控與國家安全之間所達成的政策平衡。
Google 的 NotebookLM 人工智慧工具透過僅從使用者上傳的文件中生成答案，從而減少人工智慧的「幻覺」現象。它作為一套先進的 RAG 系統運作，能將知識進行結構化處理以實現持續更新，並將使用者互動簡化為僅需上傳文件並進行查詢。
Google 的 NotebookLM 人工智慧工具透過僅從使用者上傳的文件中生成答案，從而減少人工智慧的「幻覺」現象。它作為一套先進的 RAG 系統運作，能將知識進行結構化處理以實現持續更新，並將使用者互動簡化為僅需上傳文件並進行查詢。
英國金融監管機構正緊急評估 Anthropic 新款 AI 模型「Claude Mythos Preview」所帶來的網路安全風險，據報該模型含有數千個關鍵軟體漏洞。英格蘭銀行及其他監管機構正向主要銀行和保險公司進行簡報。類似的擔憂也促使美國財政部與華爾街展開討論。Anthropic 表示，該模型是用於受控的安全研究專案中。
英國金融監管機構正緊急評估 Anthropic 新款 AI 模型「Claude Mythos Preview」所帶來的網路安全風險，據報該模型含有數千個關鍵軟體漏洞。英格蘭銀行及其他監管機構正向主要銀行和保險公司進行簡報。類似的擔憂也促使美國財政部與華爾街展開討論。Anthropic 表示，該模型是用於受控的安全研究專案中。
MiniMax 已將其「編碼方案」升級為全新的全模態「代幣方案」，該方案提供統一存取多種 AI 模型的管道，涵蓋程式設計、影片、語音、音樂及圖像生成等功能。此方案針對不同模態提供獨立的使用配額，並為高並發開發需求提供專屬資源套件，從而推動產業從單點技術突破轉向整合式 AI 服務。
MiniMax 已將其「編碼方案」升級為全新的全模態「代幣方案」，該方案提供統一存取多種 AI 模型的管道，涵蓋程式設計、影片、語音、音樂及圖像生成等功能。此方案針對不同模態提供獨立的使用配額，並為高並發開發需求提供專屬資源套件，從而推動產業從單點技術突破轉向整合式 AI 服務。
由阿里巴巴與紅山投資支持的Moonshot AI，正式發布其開源多模態模型Kimi K25。該模型經15兆字元訓練，在程式碼生成與影像理解領域表現卓越，據稱在基準測試中可匹敵甚至超越GPT-52與Gemini 3 Pro等模型。該公司同時推出開發者工具Kimi Code。
由阿里巴巴與紅山投資支持的Moonshot AI，正式發布其開源多模態模型Kimi K25。該模型經15兆字元訓練，在程式碼生成與影像理解領域表現卓越，據稱在基準測試中可匹敵甚至超越GPT-52與Gemini 3 Pro等模型。該公司同時推出開發者工具Kimi Code。
