もっと詳しく

北京オリンピックが始まって久しいが、スポーツ観戦をする習慣のない筆者はテレビをつけても退屈なのでYouTubeばかり見ている。 そんな折、今月2日、OpenAIは新たに「Solving (Some) Formal Math Olympiad Problems(いくつかの数学オリンピックの問題を解く)」というブログ記事を発表した。 国際数学オ…