解が爆発するような反例を上手く見つけるアイデア自体は
人間の数学者が数年前に論文にしてたようだ。

この方向性でAIにやらせたのがAnthropicの2人で、
3つの方程式について爆発解を得ることに成功。
自分たちは上記のアイデアをAIに食わせただけ、
みたいな声明も出してるらしい。

で、似たようなタイミングで OpenAI が
ナビエストークスの爆発解を見つけたと発表。
Anthropicと同じ手法らしい。

うーん、AIのひとり立ちはまだ先かねえ。