У травні цього року тридцать провідних математиків зі всього світу зібрались у Берклі в Каліфорнії, щоб позмагатись у математичних здібностях з чат-ботом o4-mini від OpenAI.