We zijn pas 15 dagen in het nieuwe jaar. - In 15 dagen zijn er 3 Erdos-problemen opgelost (GPT-5.2 Pro), - Grok 4.20 (pre-toegang) vond een nieuwe Bellman-functie voor een van de problemen waar Prof. Vanisvili aan werkte, - De CEO van Cursor gebruikte gecoördineerd honderden GPT-5.2-agenten om autonoom een browser vanaf nul te bouwen in 1 week. Voor degenen die het nog niet hebben opgemerkt – alles verandert dit jaar. Sam Altman had gelijk. De voorgaande jaren lijken echt traag in vergelijking met vandaag.