2023年に古田更一という数学者が発表した論文「AIをAIするAI」で証明が完了しています。

現在学会で審査にかけられていますが、殆ど証明が確定する見込みです。

お疲れ様でした。