🚨 速報: フィールズ賞受賞者テリー・タオが語る数学の未来(3/3): 「これが数学の未来だと確信し、インタビューを始めました。 これは証明を書く別のスタイルで、ある意味では読みやすいですが、人間が確認するのは難しいですが、証明の入力と出力をより明確に見ることができます。これは従来の文章ではしばしば隠されがちです。 数学者の定義は広がると思います。」 Math, Inc.の@jessemhanと@jdlichtmanとの完全な対談は近日中に公開予定です。