[B! AI] 【チャッピー快挙】GPT5.4が素人のプロンプトで60年来の数学難問エルデシュ問題を証明 https://b.hatena.ne.jp/entry/s/www.sbbit.jp/article/cont1/185368

すでに話題になってる話題だけどこれに関してふと思ったけど、
これって、AIにとって(も)静的型つけ言語や形式検証環境が有用であって、AIには動的型つけ言語でよいなどという事は決してないことを示す例にならないのかな？＞＜