🚨 ПОВНА РОЗМОВА Лауреат медалі Філдса Террі Тао зустрічається з @jessemhan Math Inc і @jdlichtman для розмови про майбутнє математики. «Я переконався, що це майбутнє математики [...] Це інший стиль написання доказів, який у деяких аспектах легше читати — важче перевірити людям, але ви чіткіше бачите вхідні та вихідні дані доказу, які традиційне письмо часто приховує [...] Я думаю, що визначення математика розшириться.»