OpenAI 据称正试图解决霍奇猜想,同时与数学界存在争端” 笔记