Ingen bør legge ut resultater som erklærer seier i en konkurranse uten å dele kvitteringer. I tilfelle av en matematikkonkurranse bør de gyldige bevisene være uformelle bevis på naturlig språk, eller formelle Lean4-bevis. Og de kvitteringene bør følge med annonsen, ikke en uke senere.
Å ikke gjøre dette er bare engasjementsfarming og hype. AI-industrien har nok av det.
Vår første tekniske rapport noensinne er her! Vi gir et enestående innblikk i arkitekturen og metodikken bak AI-systemet vårt; Aristoteles, og kaster lys over "hvordan" bak vår IMO-ytelse på gullnivå.
Les hele rapporten nedenfor⬇️