Наскільки математично може мислити ШІ?Дещо дуже важливе і несподіване відбувається з ШІ – стає все кращим і дуже сильним в математиці.Це має колосальні практичні наслідки для науки і для бізнесу. Декілька років назад назва «великі мовні моделі» цілком себе виправдовувала. В 2023 вони були на диво недолугими в математиці. Плутались в елементарних шкільних математичних задачах. Хоча відомий експерт в ШІ та футуролог Рей Курцвейл вже тоді критикував та вважав назву великі мовні моделі невдалою, оскільки вони вміють значно більше всього, ніж писати коректні речення. Як виявилось, він був дуже правий. Хоча багато хто застряг в давно пройденій реальності «мовних моделей» 2023. Більше того, думає що топовий спосіб козирнути інтелектом – це сказати що це насправді це не щось, що має ось таке підтверджене досягнення, а от просто «мовні моделі». Спойлер. Ніхто не знає, що це насправді. І любителі кидатись свіжепридуманими термінами так ніби самі по собі терміни розкривають реальність виглядають дещо кумедними заклинателями змій. Але повернемось до теми. Давно хотів про неї написати. А тут ще класне інтерв’ю від двох сильних математиків з ОпенАІ. Відмітимо передісторію за останній рік. Моделі від того, що плутались в простих шкільних задачах і помилялись, пройшли колосальний шлях. Найбільш сильні моделі (наприклад, ГПТ 5.5.), набирають практично ідеальний бал на багатьох олімпіадах. Напевно така модель (хоча тоді ОпенАІ не сказали, яка саме), взяла золото на Міжнародній Олімпіаді з Математики, яка вважається найбільш складною. І всього пару десятків студентів з більш як 100 країн світу набирають результат на Золото. При чому моделям не давали, як раніше, задачі написані на певній спеціальній формальній мові, ні, їм просто давали задачі як іншим студентам, точно так само написані. І ті ж ліміти часу. І моделі ідуть далі. Все кращі результати показують в найбільш складних тестах, таких як Frontier Math. Допомагають вже і нових дослідженнях.З’являються приклади, коли вирішують раніше не вирішені задачі, такі як задачі Ердеша. Чому це важливо для бізнесу – та тому що маса суперцінних задач зав’язані на складну математику. Як найкраще просувати і рекомендувати свої товари. Як прогнозувати попит і збут. Як виставляти оптимальні ціни для оптимального завантаження виробництва/основних засобів. Як оптимізувати логістику і доставку. Як оптимізувати асортимент. В що краще інвестувати. Як прогнозувати ринки та ціни на акції. Як відрізнити легітимні транзакції від фейкових і тд і тп. Скажу більше. От люблять у нас у Фейсбук казати, дивіться БлекРок, який керує активами вартістю 14 трлн доларів... робить щось. То от варто відзначити, що керує активами в першу чергу їх програмний продукт – Аладін. Який до речі керує активами навіть на більшу суму – більше 20 трлн доларів. До речі я от так подумав у нас був недавно в новинах персонаж Алі Баба – може це таємний представник Аладіна від Блекрок?Раніше такі речі це були недосяжні технології небожителів, як у фантастичних творах, де були маси на землі і еліта на захмарних замках. Тому що для таких розробок треба було великі колективи топових експертів в математиці, в машинному навчанні і роки роботи тд. Дуже дорого, дуже довго, дуже складно. А якщо ці границі стають тоншими. Нещодавно раніше невирішену математичну задачу Ердеша вирішив хлопець 23 років за пару годин з ГПТ 5.5. Про. Хлопець любитель, без топових досягнень в математиці. Тим не менше зміг сформулювати інтуїтивно деякий напрямок куди варто копати, і ГПТ 5.5. сформулював рішення, яке навіть Теренс Тао (топовий математик зараз) назвав красивим проривом. Задача була не вирішена 60 років. Думаю невеликі колективи сильних експертів мають безпрецедетний важіль для розробки нових ідей та підходів і ми ще почуємо дуже багато вражаючих прикладів на цю тему – в т.ч. нових інвестиційних стратегій тощо. І це все навіть цікавіше. Бо математика і математичні розрахунки є основою для багатьох сфер науки та прикладних дисциплін (розрахунки для будівництва, наприклад).