Математикам знадобляться роки, щоб осмислити масив математичних рішень від OpenAI
‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest drop
OpenAI оприлюднила майже 400 математичних результатів у понад 700 рукописах, що охоплюють комбінаторику, теорію чисел, топологію та інші галузі, повідомляє The Verge. Лише близько 42% результатів формально верифіковано мовою Lean, а кілька робіт компанія вже відкликала через помилки. Опитані видання математики кажуть, що на осмислення всього масиву піде роки, попереджають про ризик потоку низькоякісних робіт, хоча деякі результати оцінюють як рівня Філдсівської медалі.
Мовою оригіналу · EN
Mathematicians say OpenAI's massive drop of nearly 400 results will take years to fully understand and verify.
Читати оригінал на The Verge →
Чому в стрічці: Резонансний масштабний випуск AI-математики — ключовий інтерес користувача до AI-досліджень.