символьные вычисления

Математик выкинул почти все клавиши калькулятора и говорит, что оставшихся хватит. Звучит как розыгрыш — но это препринт

Пока это не теорема, а заявка. Но заявка достаточно дерзкая, чтобы о ней заговорили.