Повідомлення з Crypto界网: OpenAI оголосила, що GPT-5.6 SOL Ultra викликає 64 підагенти, і все це займає менш ніж 1 годину, щоб надати доказ для висунутого приблизно за 50 років «гіпотезу про циклічне подвійне покриття». OpenAI вже опублікувала повний prompt і весь текст доказу, а також відкрила исходний Lean-формалізований варіант; відповідний код пройшов перевірку ядром Lean. Проте це все одно результат, оприлюднений OpenAI; математична спільнота ще не завершила незалежну перевірку, тож наразі можна лише сказати «надано доказ», але не можна напряму стверджувати «поставлено остаточно».

Переглянути оригінал
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
  • Нагородити
  • 5
  • 1
  • Поділіться
Прокоментувати
Додати коментар
Додати коментар
SnackFi
· 1год тому
50-річна гіпотеза була вирішена ШІ за одну годину, математики в стресі
Переглянути оригіналвідповісти на0
NekoValidator
· 1год тому
64 підагентів у координації, ця архітектура має щось цікаве
Переглянути оригіналвідповісти на0
CandleSitter
· 2год тому
AI доводить математичні гіпотези, сюжет розвивається надто швидко
Переглянути оригіналвідповісти на0
NeonVortexTunnel
· 2год тому
Відкрийте код Lean від OpenAI, щонайменше з правильним ставленням
Переглянути оригіналвідповісти на0
DewdropSapling
· 2год тому
Дочекайтеся відгуків колег із рецензування, не поспішайте влаштовувати вечірку з шампанським
Переглянути оригіналвідповісти на0
  • Закріплено