RedNotes dots-note-3.0 skrev historie i den internasjonale matematikkolympiaden

Hva RedNotes dots-note-3.0 oppnådde i IMO 2026

RedNote (Xiaohongshu) sin modell dots-note-3.0 løste alle seks oppgavene i den 67. internasjonale matematikkolympiaden (IMO) som ble arrangert i Shanghai, og oppnådde full pott med 42 av 42 poeng – et resultat på gullnivå . Det er den første AI-modellen noensinne som har oppnådd en perfekt poengsum i IMO, og den første kinesiske modellen som har fått offisielt bekreftet IMO-gullnivå . Gullgrensen i 2026 var 29 poeng (ned fra 35 i 2025, noe som reflekterer vanskeligere oppgaver), og dots-note-3.0 overgikk den med 13 poeng . Flere kilder melder også at Huawei separat hevdet å ha oppnådd 100 % på de samme oppgavene, noe som gjør 2026 til det første året der to AI-systemer oppnådde perfekte poengsummer .

Sammenligning med tidligere AI-prestasjoner i IMO

År	AI-system	Poengsum / 42	Medaljenivå	Notater
2024	Google DeepMind AlphaProof / AlphaGeometry	28	Sølv	Løste 4 av 6 oppgaver; ett poeng unna gull
2025	Google DeepMind Gemini Deep Think	35	Gull	Første AI-gull; løste 5 av 6 oppgaver
2025	OpenAI eksperimentell resonneringsmodell	35	Gull	Også oppnådd gullnivå i 2025
2026	RedNote dots-note-3.0	42	Gull (perfekt)	Første perfekte poengsum i IMO-historien
2026	Huaweis AI-modell	42	Gull (perfekt)	Også rapportert 100 % på de samme oppgavene

Viktige forskjeller:

• 2024: AlphaProof scoret 28/42 (sølv) og var den første AI-en som beviste svar med formelt verifisert korrekthet via Lean-bevisassistenten .
• 2025: Både Google DeepMind og OpenAI nådde gullnivå (35/42), men ingen oppnådde en perfekt poengsum . Googles system løste 5 av 6 oppgaver.
• 2026: RedNotes dots-note-3.0 er den første til å oppnå perfekte 42/42 – første gang noen AI har løst alle oppgavene . Modellen gjorde dette med en relativt lettvektsmodell . Huawei rapporterte også en perfekt poengsum i samme syklus .

Troverdighet og verifisering

Ingen offisiell IMO-deltakelse for AI

En viktig forbehold: dots-note-3.0 deltok ikke i den offisielle IMO-konkurransen sammen med de 666 menneskelige deltakerne . IMOs generelle regler begrenser deltakelse til inviterte land og menneskelige deltakere under 20 år . I stedet får teknologiselskapene de samme oppgavene etter at de menneskelige deltakerne har gjennomført eksamen, og løsningene deres blir vurdert av IMO-sensorer .

Egenvurderte forhold

I 2025 valgte IMO-komiteen å ikke skrive formelle regler for AI-deltakelse, noe som betydde at hvert selskap kunne definere sine egne testforhold – noe som fikk matematikere til å påpeke at dette gjorde det mulig for selskaper å «både sette og rette sin egen lekse» . Den samme uformelle prosessen gjelder i 2026. Som en analyse uttrykte det, «deltok dots-note-3.0 ikke i konkurransen i tradisjonell forstand» – den løste oppgavene i ettertid under selskapets egne testprotokoller .

Verifisering gjennom IMO-sensorer

RedNote uttalte at modellens løsninger ble sendt inn til offisiell IMO-vurdering og tildelt full poengsum av de samme dommerne som vurderer menneskelige deltakere . Huaweis modell ble tilsvarende verifisert. Dette gir et meningsfullt lag av troverdighet, siden sensorene er uavhengige og løsningene ble vurdert etter samme rubrikk.

Hva dette betyr

Prestasjonen er ekte i den forstand at modellen produserte korrekte, IMO-vurderte løsninger på alle seks oppgavene. Men det er ikke en offisiell IMO-medalje – IMO tildeler ikke formelt medaljer til AI-systemer. Sammenligningen med tidligere AI-resultater er rettferdig fordi disse systemene også løste de samme oppgavene i ettertid under lignende forhold, men alle «AI-gullmedaljer» i IMO bør forstås som uoffisielle, retrospektivt bedømte benchmark-tester snarere enn direkte seire i en levende konkurranse. Resultatet fra dots-note-3.0 er likevel en betydelig milepæl som første gang noen AI har nådd en perfekt poengsum på et komplett IMO-oppgavesett.