いや解けてないよ

現状、宣伝目的での企業の荒らし行為が酷いから、粗末な丸投げに付き合わされて迷惑だと声が上がってる

　＞OpenAIのAI生成数学論文719本に疑義

＞ナビエ–ストークス証明は形式検証と食い違いか
yellow.com/ja
＞数学界で、OpenAIによるAI生成の数学論文719本をどこまで信用できるのかをめぐり、疑問の声が強まっている。

＞きっかけは、同社が先に公表したナビエ–ストークス方程式の証明について、
＞新たな論文が
＞「論文本文と形式検証用のLeanコードが一致していない」と指摘したことだ