2023-10-03

anond:20231002013938

ChatGPTでいうと余裕で計算ミスるから先が思いやられる。。。

といって数学書を大量に打ち込んでもフォーマット微妙なのと「自明である」を代表とするコンテキストが多すぎて、いいモデルできなさそう。

AIがいい感じだから金をぶちこむぞ → 大量すぎるデータを入れた結果、人間研究を行う過程模倣できるようになったぞ → 数学研究人間の0.1%効率研究を行うAIが1億スレッドで稼働するから検証作業だけ行えばいいぞ

とかの方が早そう(完全に妄想)。

記事への反応 -
  • 端折って「自明なので」とかいうくらいだったらハイパーリンクで定理へのリンク貼っとけばいいのに あと記号の意味とか前提とかの説明、邪魔だから折り畳めるようにすればいいのに

    • 実際、数学書は改善の余地めちゃくちゃあると思う。ただそれを実現するにはデバイスがまだまだ不便すぎるんだよね…とか言ってるうちに、LLMに質問すればそれでいいという方が実現...

      • ChatGPTでいうと余裕で計算ミスるから先が思いやられる。。。 といって数学書を大量に打ち込んでもフォーマットが微妙なのと「自明である」を代表とするコンテキストが多すぎて、いい...

    • 「自明」というのは、特に定理を用いずともすぐに分かる事柄である、という意味では

      • 簡単だろって著者が考えてるときに「自明」って言うらしい(先に紹介した定理や証明から明らかでしょって場合もある)。 もちろん学徒であれば勉強してそれを「自明」にしろっての...

記事への反応(ブックマークコメント)

ログイン ユーザー登録
ようこそ ゲスト さん