Які дикі вихідні про AI та IMO. Озираючись на минулі 3 дні, я став свідком: > п'ятницю вдень: витік інформації про те, що DeepMind виграв золото > суботи о 1 годині ночі: OpenAI очолила офіційне оголошення, привернувши до себе увагу > Спочатку думав, що Google просто працює повільніше через схвалення маркетингу > Потім почули від людей з Google, що IMO і їм самим потрібен додатковий час на перевірку > Виявляється, OpenAI навіть офіційно не залучала IMO > понеділок: DeepMind підтвердив своє золото чистішими та естетичнішими відповідями, повністю перевіреними IMO Було весело – першим поділитися новиною на Х минулої п'ятниці. Які дикі вихідні! Жарти жартами, але останнім часом навколо математичного штучного інтелекту багато галасу, але нам потрібно більше строгості та стандартизації. Як зазначив Теренс Тао, навіть якщо результати виглядають схожими, відмінності у форматі тестування можуть мати велике значення. Ми все ще далекі від того, щоб мати чіткі, послідовні стандарти та меседжі в дослідженнях штучного інтелекту. Якщо ми хочемо значного прогресу, настав час для спільноти активізуватися. Давайте побудуємо орієнтири, яким ми всі можемо довіряти.