OpenAI заявила про можливе спростування математичної гіпотези 1946 року за допомогою ШІ

Фото: depositphotos
Компанія OpenAI повідомила, що її нова модель штучного інтелекту нібито спростувала геометричну гіпотезу, сформульовану ще у 1946 році математиком Полом Ердешем. За словами розробників, ШІ створив нове доведення, яке може змінити підхід до однієї з давніх відкритих задач у математиці.
У компанії зазначають, що це потенційно може стати першим випадком, коли штучний інтелект самостійно розв’язав важливу математичну проблему, яка тривалий час залишалася невирішеною.
Водночас у матеріалі нагадують, що раніше OpenAI вже робила подібні заяви щодо задач Ердеша. Тоді повідомлялося, що модель GPT-5 нібито знайшла рішення кількох проблем, однак згодом з’ясувалося, що результати збігалися з уже відомими науковими роботами. Після критики частину попередніх тверджень поставили під сумнів.
Цього разу компанія заявляє, що до перевірки нового доведення залучили математиків, серед яких Нога Алон, Мелані Вуд і Томас Блум. За інформацією OpenAI, вони позитивно оцінили значення отриманого результату.
Також у компанії наголошують, що модель не створювали спеціально для розв’язання математичних задач. Вона розроблена як універсальна система для міркувань і, за твердженням розробників, здатна формувати складні логічні послідовності та знаходити нові підходи до проблем.
У OpenAI вважають, що подібні можливості штучного інтелекту можуть бути корисними не лише в математиці, а й у фізиці, біології, інженерії та інших сферах, де потрібен аналіз складних закономірностей.
До слова, станція СРСР на Венері встановила рекорд виживання в умовах “пекельної” планети.
Стріоець Діана - pravdatutnews.com





