これ面白い
https://rio2016.5ch.net/test/read.cgi/math/1749926306/593
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
(引用終り)

5. Summary
Machines have already changed mathematics, by helping us to compute more quickly; this happened decades ago. But now we seem to be at the dawn of a new era, where computers are able to engage with the concept of proof. Neural networks have helped human mathematicians to discover new theorems and new counterexamples. ITPs*) have helped humans to simplify the proofs of recent results in the literature, and in some areas of mathematics (for example additive combinatorics), formalizing a modern paper in a matter of months is now often possible. Large language models have currently had little effect on mathematics beyond school level, but if the current rate of improvement in the area continues, then they too will one day be playing a role in mathematical research. I will end with the following observation.
(google訳)
機械は、計算速度を向上させることで、すでに数学を変えてきました。これは数十年前のことです。しかし今、私たちはコンピュータが証明の概念に取り組むことができる新しい時代の幕開けを迎えているようです。ニューラルネットワークは、人間の数学者が新しい定理や反例を発見するのに役立ちました。ITPは、文献における最近の結果の証明を人間が簡素化するのに役立ち、数学の一部の分野（例えば加法的な組合せ論）では、最新の論文を数ヶ月で形式化することがしばしば可能になりました。大規模言語モデルは、現在のところ学校レベルを超えた数学にはほとんど影響を与えていませんが、この分野における現在の進歩の速度が続けば、それらもいつか数学研究で役割を果たすようになるでしょう。最後に、次の点を述べたいと思います。
（ *)注：ITPs (interactive theorem provers））