🚨 СРОЧНО: Лауреат медали Филдса Терри Тао о будущем математики (3/3): "Я убедился, что это будущее математики, и начал давать интервью на эту тему. Это другой стиль написания доказательств, который на самом деле в некоторых отношениях легче читать — сложнее проверять людьми, но вы более ясно видите входы и выходы доказательства, которые традиционное написание часто скрывает. Я думаю, что определение математика станет шире." Полный разговор с Math, Inc.’s @jessemhan и @jdlichtman скоро.