現状は
企業宣伝用の荒らし行為であって、怪しい丸投げに付き合わされる方が迷惑

　＞OpenAIのAI生成数学論文719本に疑義 ナビエ–ストークス証明は形式検証と食い違いか

yellow.com/ja
＞数学界で、OpenAIによるAI生成の数学論文719本をどこまで信用できるのかをめぐり、疑問の声が強まっている。

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