
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 OpenAI   свої спроби доведення 14 лютого для  , виклику, організованого 11 провідними математиками з навчальних закладів, таких як Гарвард, Єль, Стенфорд та MIT. опублікував First Proof Виклик полягає в наборі з 10 неопублікованих математичних задач на рівні досліджень, розроблених спеціально таким чином, щоб штучний інтелект (ШІ) не міг їх бачити раніше. Мета — зрозуміти, чи справді ШІ   під час розв'язання проблеми, а не потенційно   спосіб розв'язання вже відомої математичної задачі. міркує запам'ятовує Результати виснажливої вікторини були неоднозначними, але примітними. На основі відгуків експертів OpenAI вважає, що щонайменше п'ять спроб доведення її моделей (задачі 4, 5, 6, 9 та 10) мають високу ймовірність бути правильними, а ще кілька перебувають на розгляді. Головний науковий співробітник Якуб Пачоцький пізніше оновив це число до шести, написавши: «На основі відгуків експертів ми вважаємо, що щонайменше шість рішень (2, 4, 5, 6, 9, 10) мають високу ймовірність бути правильними, а деякі інші виглядають перспективними». Він  , що спроба «була побічним спринтом, виконаним за тиждень переважно шляхом запитів до однієї з моделей, яку ми зараз тренуємо», визнавши, що «методологія, яку ми використовували, залишає бажати кращого». додав https://x.com/merettm/status/2022517085193277874?s=20&embedable=true Однак математики вже виявили потенційні прогалини щонайменше в одному з цих шести, і остаточний вердикт залежатиме від формального рецензування. Жодних конкретних термінів для рецензування публічно не оголошувалося. Спроба була результатом тижневого спринту, під час якого найновіші внутрішні моделі OpenAI працювали разом із математиками-людьми, які мають досвід у відповідних галузях. Важливо, що правила First Proof вимагають, щоб усі математичні ідеї надходили від ШІ автономно; людський внесок у математичний зміст явно заборонений, що робить співпрацю з експертами предметом перевірки. Сама команда First Proof виявила, що без обмежень системи ШІ, включаючи GPT 5.2 Pro та Gemini 3.0 Deepthink, впевнено створювали докази для всіх 10 завдань, але лише два витримали експертну оцінку. Ця робота є частиною ширших зусиль OpenAI у сфері наукових та числових міркувань. У липні 2025 року одна з її моделей здобула золоту медаль на   з 35 балами з 42. Міжнародній математичній олімпіаді Зовсім нещодавно GPT-5.2 допоміг дослідникам розв'язати відкриту теоретичну проблему зі статистики, де роль людини обмежувалася перевіркою та написанням, а не математичним обґрунтуванням. Що таке First Proof? First Proof — це бенчмарк, створений 11 математиками-дослідниками, включаючи імена, близькі до Fields Medal, з Гарварду, Єлю, Колумбійського університету та EPFL, щоб перевірити, чи може ШІ автономно розв'язувати завдання, які виникають природним чином в академічних дослідженнях. На відміну від змагальної математики (наприклад, олімпіадні завдання з чіткими числовими відповідями), це леми: менші, технічні докази, з якими математики стикаються під час роботи над більшими результатами. Задачі охоплюють такі галузі, як алгебраїчна топологія, спектральна теорія графів, симплектична геометрія та числова лінійна алгебра. Критично важливо, що жодне з рішень не було опубліковано онлайн до виклику, що виключало будь-яку можливість забруднення тренувальних даних ШІ. Рішення були зашифровані та випущені 13 лютого, давши учасникам рівно тиждень на розв'язання доведень. Виклик отримав свою назву від кулінарної метафори: перший доказ — це бродіння тіста, перший крок перед тим, як щось буде сформовано у кінцевий продукт. Висновок з First Proof не в тому, що ШІ зазнав невдачі. Він у тому, що планка того, що вважається «розв'язанням» математичної задачі, значно підвищилася. 
 
 Хуан Пабло Агірре Осоріо, журналіст, The Sociable

This story contains new, firsthand information uncovered by the writer.

Follow us on Twitter 

Read My Stories

Це аудіо створено мовою оригіналу історії!

OpenAI випробовує нейронні мережі на межі вищої математики

About Author

КОМЕНТАРІ

ПОВІСИТИ БИРКИ

ЦЯ СТАТТЯ БУЛА ПРЕДСТАВЛЕНА В

Related Stories

Light-Mode

Classic

Newspaper

Minty

Dark-Mode

Neon Noir

Minty

HN StartUps