AIMO3 foi lançado! Confira nosso mini-benchmark de problemas de referência abaixo e ajude-nos a reduzir a diferença para os LLMs comerciais a zero!