Latest

《The Last Bond》28秒AI短片官方正片影像

生成式 AI

28 秒震撼影視圈!舊金山導演 el.cine 開源爆紅神作《The Last Bond》:Filmera 模板、Seedance 2.5 底座與 13 鏡頭 AI 導演實戰教學

舊金山電影導演 el.cine 打造 28 秒現象級 AI 短片《The Last Bond》,無對白卻引爆全網 80 萬觀看!他全面開源 Filmera 專案模板、Seedance 2.5 底座生成參數、6 大角色與場景設定表,以及 13 鏡頭好萊塢級雙語 Prompt。本文深度拆解頂級 AI 導演心法與手把手複製教學。

Claude 完成費馬最後定理 1300 萬行 Lean 形式化證明視覺圖

AI 科技與科學

「百年數學難題被 AI 機器驗證了!」Anthropic 震撼宣布:Claude 僅花 11 天寫出 1,300 萬行 Lean 程式碼,完成人類首個《費馬最後定理》形式化證明全解析

Anthropic 旗下 Claude 僅花 11 天自主產出 1,300 萬行 Lean 4 代碼,完成人類首個《費馬最後定理》端到端電腦形式化證明。本文深度解析 Prove2Me 平台架構、Kevin Buzzard 專家評價,以及 AI 如何化解純數學百年「審稿危機」。