Skulle vilja se OpenAI och GDM släppa testtidsberäkningsutgifterna för IMO-resultaten. Kostar det >1 miljon dollar per timme att matcha en begåvad gymnasieelevs hjärna?