AI 科技與科學
「百年數學難題被 AI 機器驗證了！」Anthropic 震撼宣布：Claude 僅花 11 天寫出 1,300 萬行 Lean 程式碼，完成人類首個《費馬最後定理》形式化證明全解析
Anthropic 旗下 Claude 僅花 11 天自主產出 1,300 萬行 Lean 4 代碼，完成人類首個《費馬最後定理》端到端電腦形式化證明。本文深度解析 Prove2Me 平台架構、Kevin Buzzard 專家評價，以及 AI 如何化解純數學百年「審稿危機」。
Latest
AI 科技新聞
Google AI Studio 正式上線 Lyria 3.5 音樂生成模型：支援 3 分鐘完整曲式結構、Gemini App 與 API 同步開放
Google AI Studio 宣布旗艦音樂生成模型 Lyria 3.5 正式開放，支援 44.1 kHz 高音質、3 分鐘完整曲式結構、Gemini App 與 API 同步支援。本文解析核心突破、官方實測與開發者串接方式。
AI 科技新聞
Omen Alpha 是什麼？OpenCode 新匿蹤模型挾「付 10 送 100」登場，為何社群實測大翻車？身分線索、三大硬傷與避坑指南
OpenCode 推出匿蹤模型 Omen Alpha，主打訂閱 Go 享 100 美元額度。但實測頻傳多輪失憶與追問死循環，本文整理智譜線索、三大硬傷與避坑指南。
AI 科技新聞
K2 Horizon 是什麼？開源最強 AI 艦隊 6 款模型、MoVA 稀疏架構與「真開源」深度研究
K2 Horizon 開源 0.9B 至 375B 六款模型，首創 MoVA 注意力稀疏架構與 Uno Diffusion 無損加速，並全盤開源 20 兆 Token 訓練配方與 Reward Hacking 審計。
科技趨勢
「沒有方向盤與踏板的車真的上路了！」Tesla 官方影片引爆全網，Cybercab 於德州奧斯汀正式展開商業載客營運全解析
特斯拉官方發布最新影片，展示完全無方向盤與踏板的專用自駕車 Cybercab 正式於德州奧斯汀展開公眾載客，每英里成本 0.2 美元顛覆出行市場。
AI 科技新聞
「他們把果蠅大腦接上 AI，結果它只聊爛水果？」百萬爆紅推文背後，Google 聯手科學界繪製首張完整雄果蠅神經圖譜
社群瘋傳「果蠅大腦接上 AI 只聊爛食物」，吸引超 160 萬觀看。本文拆解 X 爆紅推文由來、社群備註闢謠，以及 Google 發表於《Cell》的雄果蠅神經圖譜真相。
AI 工具
GPT-6 Astra 如何在 Blender 重建舊金山藝術宮？看懂 OpenAI 新模型如何自主搜文獻、寫程式到閉環修正
OpenAI 研究員展示 GPT-6 Astra 在 Blender 隔夜自主重建舊金山藝術宮。本文拆解其檢索國會圖書館歷史藍圖、操控 Python API、渲染中間幀視覺自我修正的 Agentic 3D 閉環，剖析 3D 與建築產業的典範轉移。
AI 科技新聞
Google Workspace 迎來 Gemini Live 語音升級：Gmail、Docs、Keep 怎麼用？方案門檻與功能深度解析
Google Workspace 導入 Gemini Live 語音功能，讓 Gmail、Docs 與 Keep 支援對話式搜尋、免動手文件共創與意識流筆記整理。本文解析功能、方案門檻與實測限制。
AI 科技新聞
Hermes Desktop 一鍵跑本地模型：自動偵測硬體、免終端指令，但 8B Agent 真的夠用嗎？
Hermes Desktop 推出一鍵本地模型功能，自動掃描硬體並配置 llama.cpp 執行環境，但本機跑 8B AI Agent 仍有上下文與推論限制。
AI 科技新聞
WeatherNext 3 是什麼？Google 每小時更新的 AI 天氣模型，功能、準確度與限制完整解析
Google DeepMind 發表 WeatherNext 3，跳脫傳統數值分析延遲，直接學習即時衛星與地面觀測，實現每小時全球更新與多層次高解析度預報。
AI 科技新聞
Runway GWM Worlds 2 是什麼？AI 不只算短片，首款支援「任意動作」的即時互動世界模型深度解析
Runway 發表通用世界模型 GWM Worlds 2，支援 720p/24fps 視訊與 48kHz 音訊連續串流，首創 WorldPrompt 架構並泛化至任意動態動作。本文深度解析運作原理、三種互動模式、與遊戲引擎差異及目前瓶頸。
AI 科技新聞
GPT-6 Astra 正式發布：價格、功能、使用資格與 AI Agent 市場影響
GPT-6 Astra 已正式發布。一次看懂 API 價格、ChatGPT 使用資格、Agent 新功能、安全限制與企業導入策略。