Comecei a ler este tópico e depois distraí-me a tentar resolver o problema de matemática. É um grande problema e muito agradável de pensar. Eu encorajo você a pegar uma folha de papel, desenhar alguns triângulos e dar uma rachada nela.
Alexander Wei
Alexander Wei19/07/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