Штучний інтелект щойно здобув золото на Міжнародній олімпіаді 🥇 з математики
Моделі OpenAI та Google вирішували проблеми 5/6 за допомогою LLM загального призначення за реальними правилами іспиту.
Почалася 👇 епоха AGI для формальної математики
Виграти золото означає набрати 35/42. Це рівень, якого досягла лише жменька елітних старшокласників у всьому світі.
І OpenAI, і моделі Google потрапили в ціль.
Ніяких калькуляторів. Без пошуку. Просто міркування природною мовою.
Gemini 2.5 від Google використовував режим «Глибоке мислення»:
- Досліджували паралельні рішення
- Навчання стратегіям доведення та математичним корпусам
- Використання навчання з підкріпленням у багатокрокових завданнях на міркування
Його докази були настільки відшліфовані, що грейдери ІМО називали їх придатними для публікації.
Модель OpenAI не була підготовлена для IMO.
При цьому використовуються:
- Загальні прийоми РЛ
- Немає інтернету та інструментів
- Докази природної мови
У OpenAI кожен доказ був незалежно оцінений 3 колишніми медалістами IMO з одностайним консенсусом.
Модель навіть знала, коли у неї не було обґрунтованої відповіді на P6... прояв своїх навичок міркування, перевірки помилок і самосвідомості.
Ми вважаємо, що найбільший вплив штучного інтелекту може полягати в математиці.
Чому? Тому що математика лежить в основі всього, від логіки DeFi до безпеки протоколу, і це можна перевірити.
Штучний інтелект, який міркує, як Fields Medalists, змінить те, як ми будуємо.
Ми очікуємо, що в найближчі роки штучний інтелект:
• Ідеальна математика на рівні середньої школи та коледжу (IMO, Putnam)
• Розв'язувати передові наукові задачі
• Сприяти формалізованим доведенням фундаментальних теорем
• Масштабування спільної, децентралізованої математики
Ми бачимо майбутнє, в якому математика не просто автоматизується, вона демократизована, не потребує довіри і компонується. 💙
3,97 тис.
108
Вміст на цій сторінці надається третіми сторонами. Якщо не вказано інше, OKX не є автором цитованих статей і не претендує на авторські права на матеріали. Вміст надається виключно з інформаційною метою і не відображає поглядів OKX. Він не є схваленням жодних дій і не має розглядатися як інвестиційна порада або заохочення купувати чи продавати цифрові активи. Короткий виклад вмісту чи інша інформація, створена генеративним ШІ, можуть бути неточними або суперечливими. Прочитайте статтю за посиланням, щоб дізнатися більше. OKX не несе відповідальності за вміст, розміщений на сторонніх сайтах. Утримування цифрових активів, зокрема стейблкоїнів і NFT, пов’язане з високим ризиком, а вартість таких активів може сильно коливатися. Перш ніж торгувати цифровими активами або утримувати їх, ретельно оцініть свій фінансовий стан.