メイナードの別の言葉として、「数学における出版可能な論文の基準が、AIにはできないことであるとすれば、特に博士号取得に通常4年かかることを考えると、問題は、AIが現在できない問題を考え出すことではなく、4年後のAIが解決… 続きを読む »
「mathematics」タグアーカイブ
確かジェームズ・メイナードが言っていたと思うのですが、この分野で最も興味深い発見は、何かを解決したことではなく、そこから何が生まれるかということです。時には、そうした解決策が、誰も不可能だと思っていた全く新しい研究分野を… 続きを読む »
チューリッヒの研究者、ヨハネス・シュミット氏の言葉を引用します。「数学の問題はAIによって『一掃』されるような状況に向かっているかもしれないが、人間が関与しなくなるため、実際にはこの分野は進歩しないだろう。人間は検証を行… 続きを読む »
証明の問題に関して言えば、数学は実験科学とは異なり、再現性が重視されないという点でやや特殊な学問分野です。証明は証明であり、うまくいけばそれで良いのです。
つい最近の2024年、つまり昨年までは、AIモデルは特に数学が苦手だというのが一般的な認識でした。有名な例としては、これらのモデルは「strawberry」という単語に含まれる「R」の数を数えることすらできなかったという… 続きを読む »
AIシステムは初歩的な算数すら苦手なのに、高度な抽象数学はどんどん得意になっているというのは皮肉な話だ。