Наука«Це справжнє безумство»: математикам можуть знадобитися роки, щоб розібратися з новими напрацюваннями OpenAI

OpenAI опублікувала майже 400 математичних результатів, згенерованих штучним інтелектом, у понад 700 рукописах. Математики кажуть, що осмислення цієї добірки може тривати роками. Рівень перевірки результатів дуже різниться: за даними OpenAI, формалізовано лише 300 із 719 рукописів; дослідники також сумніваються, чи відповідають деякі докази твердженням у роботах.

OpenAIматематикаштучний інтелектформальна верифікація

TThe Verge★★★☆☆2026-10-09 19:09Оригінал