GPT-5.6 налаштовує 64 агенти, і протягом години надає докази гіпотез за 50 років

robot
Генерація анотацій у процесі
Згідно з моніторингом Beating, OpenAI заявляє, що GPT-5.6 Sol Ultra викликає 64 дочірні Agent, і за менш ніж 1 годину надає доказ для висунення приблизно 50-річної «гіпотези про циклічне двостороннє покриття».

OpenAI уже опублікувала повний prompt і весь текст доказу та відкрила вихідну Lean-формалізацію. Відповідний код пройшов перевірку ядром Lean. Проте це все одно є результатом, оприлюдненим OpenAI. Математичне співтовариство ще не завершило незалежну рецензію, тому наразі можна лише сказати «надано доказ», а не напряму «офіційно розв’язано».
Переглянути оригінал
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
  • Нагородити
  • Прокоментувати
  • Репост
  • Поділіться
Прокоментувати
Додати коментар
Додати коментар
Немає коментарів
  • Закріплено