ゲイリー・マーカスはAIに対する信頼できる懐疑論者であり、彼が繰り返し指摘しているのは、AIが特定の分野で成果を上げると、その成果があらゆる分野にAIの能力を一般化するために利用されるということだ。 マーカス氏のこの言葉… 続きを読む »
メイナードの別の言葉として、「数学における出版可能な論文の基準が、AIにはできないことであるとすれば、特に博士号取得に通常4年かかることを考えると、問題は、AIが現在できない問題を考え出すことではなく、4年後のAIが解決… 続きを読む »
確かジェームズ・メイナードが言っていたと思うのですが、この分野で最も興味深い発見は、何かを解決したことではなく、そこから何が生まれるかということです。時には、そうした解決策が、誰も不可能だと思っていた全く新しい研究分野を… 続きを読む »
チューリッヒの研究者、ヨハネス・シュミット氏の言葉を引用します。「数学の問題はAIによって『一掃』されるような状況に向かっているかもしれないが、人間が関与しなくなるため、実際にはこの分野は進歩しないだろう。人間は検証を行… 続きを読む »
証明の問題に関して言えば、数学は実験科学とは異なり、再現性が重視されないという点でやや特殊な学問分野です。証明は証明であり、うまくいけばそれで良いのです。
これらは実際に人々を悩ませていた画期的な発見であり、もし人間の数学者がこれらの問題を解いていたとしたら、研究者の中には「もし研究者がこれらの問題のいずれかを解いていたとしたら、おそらく学術的なキャリアは安泰だっただろう」… 続きを読む »
初期のモデルもおそらくAstraが開発していたと確信しています。OpenAIはそれを名前のない内部モデルとしてリストアップしていました。おそらくAstraでしょう。 OpenAIは数週間前、ブログ記事とともに、それを証明… 続きを読む »
数学や算数、曜日といったことは相変わらず苦手です。先日、彼氏が「ずっと水曜日だと思ってる。水曜日じゃないのに」と言っていました。時間も苦手です。数か月前にエリッサ・ウェルがChatGPTは時間を認識できないと書いていまし… 続きを読む »
つい最近の2024年、つまり昨年までは、AIモデルは特に数学が苦手だというのが一般的な認識でした。有名な例としては、これらのモデルは「strawberry」という単語に含まれる「R」の数を数えることすらできなかったという… 続きを読む »
AIシステムは初歩的な算数すら苦手なのに、高度な抽象数学はどんどん得意になっているというのは皮肉な話だ。