AIMO3 ist gestartet! Schauen Sie sich unser Mini-Benchmark von Referenzproblemen unten an und helfen Sie uns, die Lücke zu kommerziellen LLMs auf null zu reduzieren!