🚨 DeepSeek teki juuri jotain villiä. He rakensivat matemaattisen mallin, joka ei vain ratkaise ongelmia, vaan tarkistaa omat todistuksensa, kritisoi itseään, korjaa logiikan ja yrittää uudelleen, kunnes ei löydä yhtään virhettä. Viimeinen osa on läpimurto: malli, joka voi varmistaa oman perustelunsa ennen kuin sinä vahvistat sen. Ja tulokset ovat naurettavia: • Kultatason suoritus IMO 2025 -kilpailussa • Kultatason suoritus CMO 2024 -tapahtumassa • 118/120 Putnam 2024 -tapahtumassa lähes täydellinen, voittaen jokaisen ihmisen pistemäärän • Päihittää GPT-5 Thinkingin ja Gemini 2.5 Pron vaikeimmissa kategorioissa Se, mikä tekee DeepSeek Math V2:sta hullun, ei ole tarkkuus, vaan sen taustalla oleva arkkitehtuuri. He eivät jahdanneet isompia malleja tai pidempää ajatusketjua. He rakensivat ekosysteemin: ✓ omistautunut varmentaja, joka etsii loogisia aukkoja ✓ meta-varmennustekijä, joka tarkistaa, onko varmennustekijä hallusinoimassa ✓ todistusten generaattori, joka oppii pelkäämään huonoa päättelyä ✓ ja harjoitussilmukka, jossa malli tuottaa vaikeampia todistuksia, jotka pakottavat varmennustekijän kehittymään Sykli on julma: Luo → Vahvista → Meta-vahvistus → Korjaa → Toista. Ydinongelma, jonka he ratkaisivat: lopullisen vastauksen tarkkuudella ei ole merkitystä teoreemantodistuksessa. Oikean numeron saa roskalogiikalla. Siksi he kouluttivat varmentajan arvioimaan itse todistusta, eivät lopullista vastausta. ...