¡Se ha lanzado AIMO3! Echa un vistazo a nuestro mini-benchmark de problemas de referencia a continuación y ayúdanos a reducir la brecha hacia los LLM comerciales hasta cero.