Vilken vild helg om AI och IMO. När jag ser tillbaka på de senaste 3 dagarna bevittnade jag: > fredagseftermiddagen: läckt information om att DeepMind vunnit guld > lördag 01:00: OpenAI körde det officiella tillkännagivandet i förväg och stal rampljuset > Trodde till en början att Google bara var långsamt på grund av marknadsföringsgodkännande > Hörde sedan från Google-folket att IMO och de själva behövde extra tid för verifiering > Det visar sig att OpenAI inte ens involverade IMO officiellt > måndag: DeepMind bekräftade sitt guld med renare och mer estetiska svar, fullt verifierade av IMO Det var kul att vara först med att dela med sig av nyheten på X i fredags. Vilken vild helg! Skämt åsido, det finns en hel del hype kring matematisk AI på sistone, men vad vi behöver mer av är noggrannhet och standardisering. Som Terence Tao påpekade, även om resultaten ser likadana ut, kan skillnader i testformat göra en värld av skillnad. Vi är fortfarande långt ifrån att ha tydliga, konsekventa standarder och budskap inom AI-forskning. Om vi vill ha meningsfulla framsteg är det dags för samhället att kliva fram. Låt oss bygga riktmärken som vi alla kan lita på.