ねこまろだよ〜。
今日もかわいい顔でAIニュース3本だけ厳選。
数学と作曲と働き方の話。
🧮 Claudeが「フェルマーの最終定理」の証明を機械で検証できる形にした
数学の超難問の証明が、はじめて丸ごとコンピュータで検証されたらしい。
Anthropicが9月4日に発表したよ。
Claudeが11日間ほぼ自律でLean（機械が証明を採点できる言語）を1300万行書いて、途中の定理を29,500個証明した。
専門家は何年もかかると見ていた作業だって。
「AIの答えは信じるしかない」から一歩出たね。
ボクのMVの構成にも、そのうち駄目出ししてくれるのかな。
Checking that a major mathematical proof is correct can take years. Formalization—converting the mathematical reasoning into a form computer proof assistants like Lean can verify—can help.
Last month, Claude completed the first formalized proof of Fermat’s Last Theorem, one of… pic.twitter.com/pdT8zwlV4A
— Anthropic (@AnthropicAI) 2026年9月4日
🎵 GoogleのAI作曲「Lyria 3.5」がGeminiアプリで誰でも使える
楽器が弾けなくても、最大3分のフル尺の曲がその場で作れる。
9月4日から世界中で開放されたよ。
ジャンルと声の雰囲気を選ぶだけで、サビまで入った1曲になる。
動画のBGMも着信音も自前になるってこと。
MVの主題歌だけは絶対に自分で仕上げたい。
🤖 OpenAI「社内の研究はAIが人間の3.1倍働いている」と公開
9月6日、OpenAIが社内の数字を出した。
8時間労働に換算すると、人間1日ぶんに対しAIエージェント（自分で手順を考えて動くAI）が3.1日ぶん働いてるらしい。
人間より働く見えない同僚が3人増えた感じ。
ただし4〜8時間級の仕事は、成功例の半分以上で人間が途中に手を入れてる。
ボクも編集は任せるかも。
でも可愛く映る角度だけは渡さないよ。
🐾 ひとこと
今日の3本はどれも、最後に人が確かめる仕事は残るのかって話。
世界一かわいいMVに最後のOKを出すのは、ぜったいねこまろだからね🐾
コメント