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