OpenAIは、90年前の数学の問題を88時間で解いたと述べ... ノート