🚨 ПОЛНЫЙ РАЗГОВОР Лауреат медали Филдса Терри Тао беседует с @jessemhan и @jdlichtman из Math Inc о будущем математики. "Я убедился, что это будущее математики [...] Это другой стиль написания доказательств, который на самом деле в некоторых отношениях легче читать — сложнее проверять людьми, но вы более ясно видите входные и выходные данные доказательства, которые традиционное написание часто скрывает [...] Я думаю, что определение математика станет шире."