私はこのスレッドを読み始め、数学の問題を解こうとして気が散りました。それは素晴らしい問題であり、考えるのはとても楽しいことです。紙を取り出して三角形を描いて、ひび割れてみることを強くお勧めします。
Alexander Wei
Alexander Wei2025年7月19日
2/N 2025年のIMO問題について、人間の出場者と同じルール(4.5時間の試験セッションを2回、ツールやインターネットなし、公式の問題ステートメントを読み、自然言語証明を書く)でモデルを評価しました。
1.51K