タグ / #Claude
#Claude
全 3 本 · 新着順
無料
ANALYSIS
AIが11日でフェルマーの最終定理の129ページ手書き証明を1300万行のLeanコードに変換
Anthropicはマルチエージェントパイプラインを用いて、Wilesが1995年に発表した証明を最初から最後まで通しで実行し、数学界で初めてエンドツーエンドで機械検証可能なフェルマー最終定理の証明を手に入れた。
▶ ポッドキャスト
09-05 · 12 分
無料
LAUNCH
ClaudeがバックグラウンドであなたのPCを操作するようになった
Anthropicがcomputer useをCoworkとClaude Codeに導入。ProおよびMaxユーザーはmacOSデスクトップ版で、Claudeにマウスクリックやキーボード入力の並列実行を任せられる。
▶ ポッドキャスト
09-03 · 12 分
無料
LAUNCH
Claudeの記憶がチャットとCoworkを統合、一覧で確認・編集・削除が可能に
8月25日、Anthropicはメモリ機能をチャットからCoworkにも拡張。1つのメモリを複数シーンで再利用可能に。Memory settingsから個別に確認、編集、削除ができ、繊細な話題はデフォルトで保存されない(手動で有効化可)。
▶ ポッドキャスト
08-26 · 11 分