🚨 全文の会話 フィールズ賞受賞者のテリー・タオが、Math Incの『@jessemhan and @jdlichtman』と数学の未来について対談します。 「これが数学の未来だと確信しました [...] 証明の書き方は異なるもので、ある意味では読みやすいですが、人間が確認するのは難しいですが、証明の入力と出力をより明確に見ることができます。伝統的な文章ではしばしば隠されがちです[...] 数学者の定義は広がると思います。」

もうすぐです

限界では、正式な検証は計測にコストがかかりすぎます