OpenAI、数学界との対立の中、ホッジ予想の解決を試みてい... ノート