#mathematical proof のAIニュース

OpenAI、80 年前の数学的難問を解決したと主張

OpenAI は、80 年以上前に提出された数学的な未解決問題について、新たな手法を用いて実際に解決できたと公式に発表しました。