GPT-5.6 від OpenAI використовує 64 агентів, щоб довести математичну гіпотезу, яка існує вже 50 років, менш ніж за одну годину

2026-07-11 01:29:22

За даними OneMillion_AI, GPT-5.6 Sol Ultra від OpenAI розгорнув 64 підагенти, щоб надати формальний доказ Conjecture Cycle Double Cover — математичної задачі, сформульованої приблизно 50 років тому, — менш ніж за одну годину. OpenAI опублікував повний текст запиту та доказу, а також відкрив код із версією, формалізованою в Lean. Код пройшов верифікацію через ядро Lean. Втім, це залишається оприлюдненим результатом OpenAI; математична спільнота ще не завершила незалежного рецензування, тож доказ поки не офіційно визнано остаточним розв’язанням.

Переглянути джерело

Застереження: інформація на цій сторінці може походити зі сторонніх джерел і надається виключно для ознайомлення. Вона не відображає позицію чи думку Gate і не є фінансовою, інвестиційною чи юридичною консультацією. Торгівля віртуальними активами пов’язана з високим ризиком. Будь ласка, не покладайтеся лише на інформацію з цієї сторінки під час прийняття рішень. Детальніше дивіться у Застереженні.

Пов’язані новини

1год тому

Apple подає позов проти OpenAI через незаконне заволодіння комерційною таємницею 10 липня, стверджуючи, що колишній співробітник був причетний до цього

17год тому

B.AI інтегрує набір моделей OpenAI GPT-5.6 у мережу API

19год тому

OpenAI запускає серію GPT-5.6 з трьома моделями; Sol підвищує ефективність на 54 %, Terra зменшує ціну вдвічі

21год тому

OpenAI запускає функцію ChatGPT для роботи з додатками та файлами 10 липня

07-10 00:04

OpenAI оголосила про повний запуск моделей серій GPT-5, GPT-6 та агента ChatGPT Work 10 липня

Поглиблений аналіз