AIMO3 har blitt lansert! Sjekk ut vår mini-benchmark av referanseproblemer nedenfor og hjelp oss å redusere gapet til kommersielle LLM-er til null!