Группа математиков, работающая в компании OpenAI, сообщила о том, что их внутренний алгоритм успешно решил одну из семи задач, известных как «Загадки тысячелетия». За успешное доказательство или опровержение данной задачи Математический институт Клэя, расположенный в Кембридже, США, учредил приз в размере 1 млн долларов.

В дискуссии об аспектах использования искусственного интеллекта выступил Константин Ким, предприниматель, стратег и основатель бизнес-юнитов в сфере маркетинга, IT-разработки и AI-решений, в эфире Общественной службы новостей. По его мнению, невозможно полностью доверять оценке эффективности искусственного интеллекта, выполненной другим подобным инструментом. Хотя расчеты проводятся в строгих математических рамках, окончательная оценка должна быть произведена именно экспертами в данной области — учеными, которые высказывают свои сомнения.

Это лишь усиливает напряженность в обсуждении. Опираясь лишь на результаты, предоставленные системой Lean, нельзя делать окончательные выводы. Важно дождаться компетентного мнения математического сообщества, которое сможет объективно подтвердить результаты.

Исследователи начали свои расчёты 28 августа и к 5 сентября 2026 года уже достигли необходимых результатов. Далее, 17 часов потребовалось на проведение формальной верификации найденного доказательства с применением Lean — специализированного языка программирования, который используется математиками для строгой и автоматической проверки каждого шага рассуждения.

Группа математиков, работающая в компании OpenAI, сообщила о том, что их внутренний алгоритм успешно решил одну из семи задач, известных как «Загадки тысячелетия». За успешное доказательство или опровержение данной задачи Математический институт Клэя, расположенный в Кембридже, США, учредил приз в размере 1 млн долларов.

В дискуссии об аспектах использования искусственного интеллекта выступил Константин Ким, предприниматель, стратег и основатель бизнес-юнитов в сфере маркетинга, IT-разработки и AI-решений, в эфире Общественной службы новостей. По его мнению, невозможно полностью доверять оценке эффективности искусственного интеллекта, выполненной другим подобным инструментом. Хотя расчеты проводятся в строгих математических рамках, окончательная оценка должна быть произведена именно экспертами в данной области — учеными, которые высказывают свои сомнения.

Это лишь усиливает напряженность в обсуждении. Опираясь лишь на результаты, предоставленные системой Lean, нельзя делать окончательные выводы. Важно дождаться компетентного мнения математического сообщества, которое сможет объективно подтвердить результаты.

• Телеграм
• Дзен
• Подписывайтесь на наши каналы и первыми узнавайте о главных новостях и важнейших событиях дня.