Математики из американской корпорации OpenAI заявили, что их внутренняя модель смогла найти решение задачи, которую называют одной из семи «Загадок тысячелетия». За их доказательство или опровержение Математический институт Клэя (Clay Mathematics Institute, CMI) в Кембридже (США) назначил премию в 1 млн долларов.
Почему искусственный интеллект вызывает споры, в эфире Общественной службы новостей рассказа предприниматель, стратег, основатель бизнес-юнитов в маркетинге, IT-разработке и AI-решениях Константин Ким.
«Я считаю, что доказывать эффективность работы искусственного интеллекта другим искусственным интеллектом, не совсем разумно. Даже, если там используют чисто математические расчеты и все в понятных границах находится, все равно итоговая оценка должна быть получена именно от экспертов в этой сфере, а это люди, это учёные, которые уже сейчас заявляют о своём несогласии. Тем самым этот конфликт набирает обороты. Поэтому говорить только о том, что Lean оценила и подтвердила, что да, все верно, я считаю неправильно. Здесь нужно дождаться ответа общества экспертного, математиков, которые действительно смогут это подтвердить».
Учёны запустили расчёты 28 августа и пришли к результату 5 сентября 2026 года, а затем ещё 17 часов ушло на формальную проверку доказательства с помощью Lean — специального языка программирования, который математики используют, чтобы автоматически и строго проверить каждый шаг рассуждения.
