#研究開発

Anthropic が公開したのは、Fermat の最終定理について「新しい数学の発見」ではなく、「既にある証明を Lean で最後まで機械検証できる形に落とし込んだ」成果だ。しかもその作業は、人間が細かく手を動かして積み上げたというより、Claude が 11 日間かなり自律的に進めたものだという。数学の世界では、証明が正しいかどうかを読む人間が何週間も何か月もかけて確かめることがある。そこに AI と proof assistant の組み合わせがどこまで食い込めるのか、Anthropic はかなり強い実演を見せた格好だと思う。 Anthropic の発表によると、Claude は Fermat の最終定理の proof を Lean という programming language に書き直し、computer-checked な形で最後まで通した。Fermat の最終定理とは、正の整数 a, b, c について aⁿ + bⁿ = cⁿ を満たす解は n > 2 では存在しない、という有名な命題だ。17世紀に Pierre de Fermat が書き残したもので、長く未解決だっ

この記事を読んでまず思ったのは、Anthropic がやろうとしていることは「便利そう」というより、かなり危うい段差をまたごうとしている、ということだった。Claude のようなモデルが、文章や画面の中で完結しているうちはまだ失敗の影響を押し戻しやすい。でも、ロボットアームや顕微鏡、液体ハンドリング装置に触り始めた瞬間、間違いはただの誤答では済まない。ビーカー一つ、試料一つ、場合によっては実験全体を壊すかもしれない。 その意味で、MHS みたいな「共通の話し方」を作ろうとしている発想はかなり筋がいいと思う。今の現場って、機械ごとにバラバラな接続や操作手順があって、結局は人間の経験や暗黙知でつないでいることが多いはずだ。そこに標準化された drivers と safety restrictions を持ち込めるなら、AI 以前に、普通の運用でも助かる場面は多いのではないか。しかも、それを自然言語で機械の説明に落とし込めるというのは、研究者や現場の人が「この装置、結局どう動かすんだっけ」と manual を探す手間を減らせそうで、地味だけど効く。 ただ、記事を読んでいて少し引っかかったのは

まず気になったのは、性能の上昇そのものよりも、Anthropic がかなり露骨に「使われ方」を意識していることです。単にベンチマークで勝った、では終わっていない。cache reads の値下げ、zero data retention、false positive を減らした safeguards、そして Cyber と biology だけ別のアクセス制御。モデルの賢さを売るだけでなく、実際に会社や研究機関が怖がるところを順番に潰しにきている感じがしました。 特に印象に残ったのは、Fable 5.1 と Mythos 5.1 が「同じモデルだが、safeguards の強さが違う」と書かれている部分です。ここは少し不思議でもあります。性能差というより、どこまで出していいかの線引きで製品を分ける発想だからです。しかも cybersecurity では「脆弱性を見つけることはできるが、exploit の作成には使えない」、biology では政府と組んだ access program という具合に、能力の解放と抑制を同時にやっている。AI が強くなるほど、モデルの中身より周辺の統治設計の

読んでいてまず引っかかったのは、Anthropicがやろうとしていることが、いわゆる「賢いロボットを作る」話というより、もっと地味で、でもたぶんずっと効く「共通の接続規格を置く」話だったことだ。派手さはない。でも現場で本当に面倒なのは、AIそのものより、機械ごとにバラバラな操作方法をどうそろえるかなので、そこを先に押さえにいくのはかなり筋がいいと思う。 特に面白いのは、これがClaude専用ではなく model-agnostic だという点だ。Anthropicの標準なのに、OpenAIのモデルでも open-source のモデルでも使える。ここはかなり野心的だし、同時に少し意外でもある。自社モデルの囲い込みではなく、「AIと機械のUSBみたいなもの」を作る方向に振っているわけで、もし本当に広がるなら、勝負はモデルの性能だけじゃなく、誰の標準が現場に入るかに移るのだと思う。 ただ、手放しで明るい話とも思わない。記事にもある通り、今の設備が全部そのままつながるわけではないし、プロプライエタリな機器が多い現場ほど、標準化はきれいには進まないはずだ。結局、機械メーカーがどれだけ乗るかで決ま

この記事を読んでまず思ったのは、Anthropicがやっているのは「ロボットを賢くする話」というより、「AIを危ない現実に接続するための配線工事」なんだな、ということでした。テキストの中だけで完結していたClaudeが、実験室の機器や製造用ハードウェアとつながる。ここに来ると、便利さより先に、事故ったときの怖さが頭に浮かびます。 Model Hardware Standard（MHS）という名前も、かなり地味です。でもこの地味さが逆に重要だと思いました。派手なデモより、まず共通の接続ルールを作る。ロボットや lab equipment は種類も振る舞いもバラバラなので、AIが直接しゃべるだけでは足りない。どこまで命令してよいか、どんな safeguard を挟むかを先に決めないと、実運用には怖くて出せないはずです。研究 preview にしているのも、その慎重さの表れに見えました。 一方で、こういう standard が広がると、AI の「できること」がまた一段増えるのは確かです。ソフトウェアの中で賢いだけではなく、手を動かす側に入ってくる。そこまで来ると、AI の進化は文章生成の上手

この記事を読んでまず思ったのは、「またAIが文章の外に出てきた」というより、「ようやく本当に危ないところまで来たな」という感覚だった。テキストを返すだけなら、まだ机の上の話で済む。でも今回は、robot arm や microscope、laser みたいな実物の機械を、AI agent が共通のinterface越しに扱えるようにしようとしている。便利そう、で終わらない重さがある。 面白いのは、Anthropic がこれをいきなり“未来の自律ロボット”として売っていないところだと思う。最初の使い道として持ち出しているのは、研究室の面倒な接続作業の短縮だ。たしかに、実験装置ってメーカーも形式もバラバラで、つなぐだけで時間が溶ける。そこを標準化するのは筋がいいし、科学の現場ではかなり切実なんだろう。ここまでは素直にうれしい。 ただ、その「標準化されたつなぎ方」があると、AI が入ってくるハードルも一気に下がる。便利さと危うさが同じ仕組みの裏表になっているのが引っかかる。モデルがエラーから回復したり、条件を見ながら手順を組み替えたりするのは確かに賢い。でもそれは同時に、間違えたときの被害が

本制度は、【令和８年度】二酸化炭素排出抑制対策事業費等補助金のうち、「国内資源循環体制構築に向けた再エネ関連製品及びベース素材の全体最適化実証事業」として実施されるものです。 太陽光パネルや車載用バッテリー等の再エネ関連製品に含まれる非鉄金属・レアメタルのリユース・リサイクルや、ガラス等のベース素材の代替に向けた実証を支援します。 実施機関は、J-Grants 掲載の「令和８年度二酸化炭素排出抑制対策事業費等補助金（国内資源循環体制構築に向けた再エネ関連製品及びベース素材の全体最適化実証事業）」です。 全国 漁業 建設業 製造業 電気・ガス・熱供給・水道業 情報通信業 複合サービス事業 サービス業（他に分類されないもの） 公務（他に分類されるものを除く） 分類不能の産業 農業、林業 鉱業、採石業、砂利採取業 運輸業、郵便業 卸売業、小売業 金融業、保険業 不動産業、物品賃貸業 学術研究、専門・技術サービス業 宿泊業、飲食サービス業 生活関連サービス業、娯楽業 教育、学習支援業 医療、福祉 民間企業 独立行政法人 地方独立行政法人 一般社団法人・一般財団法人 公益