Mathematical reasoning and the computer
kevin Buzzard

Abstract。
Computers have already changed the way that humans do mathematics:
they enable us to compute efficiently.
But will they soon be helping us to reason? And will they one day start reasoning themselves?
We give an overview of recent developments in neural networks, computer theorem provers and large language models.

要約。
コンピュータはすでに人間の数学のやり方を変えた：効率的な計算を可能にしたのだ。
しかし、近いうちに推論の助けとなるだろうか？そしていつの日か自ら推論を始めるだろうか？本稿では、ニューラルネットワーク、コンピュータ定理証明システム、大規模言語モデルにおける最近の進展を概観する。

deepl翻訳
ー ー
https://arxiv.org/abs/2502.07850