AI 科技與科學
「Gemini Who？」Meta 突襲全面釋出 Muse Spark 1.3 Max！Alexandr Wang 親證程式與 Agent 能力大爆發，力壓 GPT-5.6 與 Claude
在歷經嚴密安全評測後，Meta 旗艦推理模型 Muse Spark 1.3 Max 於 9 月 5 日正式對外公開。Meta 首席 AI 官 Alexandr Wang 直言其 Coding 與 Agent 表現大幅躍進，全面叫陣 OpenAI 與 Anthropic。
AI 科技與科學
在歷經嚴密安全評測後，Meta 旗艦推理模型 Muse Spark 1.3 Max 於 9 月 5 日正式對外公開。Meta 首席 AI 官 Alexandr Wang 直言其 Coding 與 Agent 表現大幅躍進，全面叫陣 OpenAI 與 Anthropic。
AI 科技與科學
Anthropic 旗下 Claude 僅花 11 天自主產出 1,300 萬行 Lean 4 代碼，完成人類首個《費馬最後定理》端到端電腦形式化證明。本文深度解析 Prove2Me 平台架構、Kevin Buzzard 專家評價，以及 AI 如何化解純數學百年「審稿危機」。