114 подписчиков
Математики провели теоретическое исследование одной проблемы с помощью больших языковых моделей (в приложении к статье приведена настоящая интеллектуальная одиссея), и большие языковые модели оказались действительно полезны!
Причём, GPT-o1-mini даже смогла самостоятельно придумать доказательство ключевой Теоремы 3, более элегантное, чем предложенное людьми
Также GPT-o1-mini могла находить и корректировать ошибки в математических рассуждениях других больших языковых моделей
Т.к. математика – это царица наук, то с появлением поколения "о1" мы явно наблюдаем выход эволюции ИИ на качественно новые рубежи, и знаменитые "искры AGI" из статьи "Sparks of Artificial General Intelligence: Early experiments with GPT-4" (март 2023 года) прямо на наших глазах явно разгораются в пламя
Около минуты
5 октября 2024