Formalizing Fermat's Last Theorem We are sharing the first complete computer-checked proof of Fermat’s Last Theorem. Claude worked largely autonomously over 11 days to write the proof in the Lean programming language. Below, we describe how the formalization was done and share some thoughts about what this work could mean for res... はてなテクノロジー 2026年09月04日 18:57
Claude Code のデスクトップ操作、内蔵の computer-use ではなく Windows-MCP を使っている理由 Claude Code にデスクトップ操作を任せる手段には、内蔵の computer-use があります。画面を撮ってピクセル座標でクリックするこの方式のまま任せ続けてよいのか気になって代わりを... はてなテクノロジー 08/23 08:39