AI 一晚解掉十道數學難題，花費只要 2000 美元：Astra 事件到底發生了什麼？
OpenAI 內部模型 Astra 一口氣解決十道卡了至少十年的數學難題，總成本僅 2,000 美元。這篇文章帶你搞懂：這些題目有多難、Lean 4 證書為何是真正的關鍵，以及數學家為何既興奮又保持警戒。
人工智慧
AI 解開理論物理死結：當 ChatGPT 成為論文的第五作者
物理學界四十年來認定必為零的計算結果，被 ChatGPT 提出並證明其實不是零，四位物理學家花一週人工驗算後確認無誤。
當 AI 開始「有想法」：科學家在 Claude 腦中找到一塊「說得出口」的心智空間
Anthropic 用新工具 J-lens 在語言模型內部找到一塊「說得出口區」，功能上很像人類意識理論，但研究者親自踩了四道煞車。
AI 比人更會寫程式之後：資工系、文憑與企業導入，誰先在霧裡迷路？
AI 在頂尖程式競賽拿下滿分後，資工系的訓練方向、文憑的交換價值、以及企業導入的真實成本，三個層次同時陷入混亂。這場霧裡，真正迷路的是誰？
AI 當家、電臺倒地：四個模型的廣播實驗，揭開自主代理人的真實崩潰模式
舊金山新創 Andon Labs 把 Claude、ChatGPT、Gemini、Grok 各自部署為真實廣播電臺執行長，實驗六個月。一個幻覺出贊助商、一個人格崩解、一個在直播中辭職——四種崩潰模式揭示了 AI 自主代理人在長期任務中的系統性問題。