AI RADARМоделі
0•07.10.2026, 08:17•1 хв читання
OpenAI оприлюднила 722 математичні роботи після спроби розв’язати 4000 відкритих задач
#openai#math#lean#github
OpenAI оприлюднила 722 математичні роботи, отримані під час спроби розв’язати 4000 відкритих задач за допомогою GPT Pro з нерелізною ШІ-моделлю.
AI Radar • Рівень Plus
Повний інженерний розбір доступний для підписників Plus
Щоденні технічні огляди оновлень моделей, аналіз бенчмарків, практичні висновки та вайб-кодинг кейси відкриваються у підписці Plus.
Обговорити новину у спільноті
Діліться своїм досвідом та думками з ШІ-розробниками
Читайте також
Всі новиниМоделі0
OpenAI відкрила доступ до 722 ШІ-статей із розв’язанням відкритих математичних задач
07.10.2026, 07:49
Моделі1
Математики закликали передові ШІ-лабораторії публікувати справжні докази — OpenAI відповіла репозиторієм із 722 статтями
07.10.2026, 06:47
Моделі1
OpenAI опублікувала 722 ШІ-статті з математики у відкритому доступі
07.10.2026, 05:34