Докази GDM чудові! Вітаємо команду з вражаючою роботою.

Цікаво: 3/4 місяці тому я запустив o3 для деяких науковців над набором задач у стилі AIME. Їм знадобилося так багато часу, щоб написати резюме результатів (96% irrc), що Алекс тим часом вирішив proof & IMO, лол

Цікаво: 3/4 місяці тому я запустив o3 для деяких науковців над набором задач у стилі AIME. Їм знадобилося стільки часу, щоб написати резюме результатів (98%), що Алекс тим часом вирішив proof+IMO, лол

Цікаво: 3/4 місяці тому я запустив o3 для деяких вчених на приватному тестовому наборі задач, схожих на AIME. Їм знадобилося стільки часу, щоб написати резюме результатів (96%), що Алекс тим часом вирішив IMO.

@alexwei_ ви можете сказати світові, скільки токенів за одну проблему?

Підбиваючи підсумки цього тижня: - Випущено комп'ютер загального призначення за допомогою агента - Був переможений однією людиною в змаганнях з евристики ATCODER - вирішено 5/6 нових проблем IMO з доказами природної мови Всі вони засновані на одній і тій же єдиній системі навчання з підкріпленням

17 млн американських підлітків 9-12 класів, ~5 золотих IMO США на практиці, але ~20 дітей на золотому рівні. Таким чином, золото IMO – це один на мільйон математичних талантів (для 18-річних; але б'юся об заклад, що і далі впаде Патнем). 99,9999-й процентиль.

Чому я в захваті від результатів IMO, які ми щойно опублікували: - ми зробили дуже мало роботи, пов'язаної з IMO, ми просто продовжуємо навчати загальні моделі - всі докази природної мови - немає оціночного ременя Нам потрібен був новий науковий прорив, і @alexwei_ та команда виконали

Якщо ви стверджуєте, що бачили це, вам краще мати колектор P&L, щоб підкріпити це

LLM залишаються недооціненими