Terence Tao

数学が証明だけではないなら、その他の部分ももっと称える必要がある

Grant Sandersonは、AIによる証明の衝撃に応えるため、数学界は新しい証明だけでなく動機づけられた説明を正式に評価すべきだと提案した。