Спостерігати за тим, як модель вирішує ці проблеми IMO та досягає продуктивності золотого рівня, було чарівно. Декілька думок 🧵
Alexander Wei
Alexander Wei21 години тому
1/N Я радий повідомити, що наш останній @OpenAI експериментальний LLM досяг давнього грандіозного виклику в галузі штучного інтелекту: виступ на рівні золотої медалі на найпрестижнішому у світі математичному конкурсі — Міжнародній математичній олімпіаді (IMO).
Модель вирішує ці проблеми без інструментів на кшталт lean або кодування, вона просто використовує природну мову, а також має лише 4,5 години. Ми бачимо причину моделі на дуже високому рівні - випробовуючи різні стратегії, роблячи спостереження на прикладах, перевіряючи гіпотези.
Це божевілля, як ми пройшли шлях від 12% на AIME (GPT 4o) → золота IMO за ~ 15 місяців. Ми дуже далеко просунулися, дуже швидко. Я не здивуюся, якщо вже в наступному році моделі будуть виводити нові теореми і вносити свій вклад в оригінальні математичні дослідження!
394,93K