OpenAI опублікувала сотні математичних результатів своєї закритої ШІ-моделі
OpenAI оприлюднив величезну кількість математичних досягнень,які були отримані за допомогою внутрішнього алгоритму штучного інтелекту компанії. Сам алгоритм все ще закритий, а його досягнення вже можна побачити на сайті GitHub. Загалом це 722 статті розділені на 372 групи результатів. Про це повідомляє wired.com.
Окрім інших досягнень компанії є математичні роботи в різних галузях математики. За словами OpenAI серед них є результати щодо гіпотези Бірча і Свіннертона-Дайєра, гіпотези Ходжа,проблем теорії чисел, алгебри та математичної фізики. Однак компанія підкреслює той факт що деякі з цих результатів ще не перевірені належним чином і тому наразі не можна їх вважати важливими.
OpenAI також випускає формалізовані математичні доведення мовою Lean. Це дозволяє перевіряти математичні доведення за допомогою комп’ютера і знаходити помилки які можуть виникнути з часом. Деякі матеріали все ще можуть містити помилки і будуть оновлені з новими формалізаціями та виправленнями.
Результати створила внутрішня модель OpenAI, яку поки не випустили у відкритий доступ. Під час дослідження їй поставили приблизно 4000 математичних задач, а в середньому на один результат витрачалося близько трьох годин обчислень у режимі ChatGPT Pro. OpenAI заявляє, що працює над відповідальним випуском моделі, яка створила ці результати.
Водночас науковці закликають не сприймати публікацію як автоматичне підтвердження всіх заявлених відкриттів. Консультативна група з математики та штучного інтелекту наголошує, що тепер математичній спільноті потрібно самостійно перевірити результати та визначити їхню реальну цінність. Тому ця публікація OpenAI є радше початком масштабної перевірки, ніж остаточним підтвердженням сотень нових математичних відкриттів.
Источник: itechua.com