Я почав читати цю тему, а потім відволікся, намагаючись вирішити математичну задачу. Це велика проблема, про яку дуже приємно думати. Я настійно рекомендую вам дістати аркуш паперу, намалювати кілька трикутників і спробувати на ньому.
Alexander Wei
Alexander Wei19 лип. 2025 р.
2/N We evaluated our models on the 2025 IMO problems under the same rules as human contestants: two 4.5 hour exam sessions, no tools or internet, reading the official problem statements, and writing natural language proofs.
1,56K