人工知能

ジャンル
ChatGPTと大規模言語モデル関連ページ

2023/07/29「創発について考える」 GPT-4との対話は、我々は、我々人間が作った構造の上で、初めて新しい構造が「創発」されていることを目撃しているのかもしれないという問題意識を生み出しています。 ただ、今回のセ […]

続きを読む
マルゼミ
創発について考える

(旧題「エントロピーと創発」) セミナーのタイトルを、「エントロピーと創発」から「創発について考える」に変更しました。(2023/07/19) はじめに GPT-4との印象的な対話 この間GPT-4と「対話」を楽しんでき […]

続きを読む
その他講演
はじめてのCoq

「はじめてのCoq」再公開について 「はじめてのCoq」は、MaruLaboのハンズオンの資料として、2019年に公開されたものです。そのハンズオンの概要については、次のURLを見ていただければと思います。 https: […]

続きを読む
マルレク
GPT-4 との対話 -- プロンプトで遊ぶ --

講演資料と講演ビデオ 資料は、カーソルを合わせるとスクロールできます。「はじめに ... 」「Part 1 ... 」などのタイトル部分をクリックすれば、動画に移動します。 はじめに -- 対話を通じて分かったこと、問題 […]

続きを読む
マルレク
GPT-4 System Card を読む

このページについて このページは、先に公開したページ「GPT-4 Technical Report を読む」の続編です。論文 "GPT-4 System Card" は、論文 "GPT-4 Technical Repor […]

続きを読む
マルレク
GPT-4 Technical Report を読む

マルレク「GPT-4 Technical Report を読む」へのお誘い 申し込みページ:https://gpt4-report.peatix.com/ このところ数学寄りの内容が多かったので、5月のマルレクは、IT […]

続きを読む
マルゼミ
ことばと意味の数学的構造

マルゼミ「ことばと意味の数学的構造」へのお誘い ( pdf blog ) 申込サイト https://math-structure.peatix.com/ ChatGPTの訴求力はどこから来るのか? ChatGPTが […]

続きを読む
マルレク
AIは意味をどのように扱っているのか? -- ChatGPT の不思議

はじめに 1月28日「ChatGPTの不思議」の続編のセミナーを開催します。 前回の1月14日のセミナーでは、ChatGPTが「大規模言語モデル」の中から生まれながら、「人間からのフィードバックによる強化学習」という方法 […]

続きを読む
数理哲学
数理哲学論文

丸山の博士課程時代の論文です。修士の時に、ゲーデルやコーヘンについて論文を書いたはずですが、見つかりませんでした。 カテゴリー論と認識の理論 カテゴリー論と認識の理論 -- F・W・ローヴェールの数学思想丸山不二夫198 […]

続きを読む
マルレク
人工知能と数学

機械は推論する 僕は、人間の様々な認識能力の中で、数学的な認識能力に一番興味があります。 自然の認識の変化でも、科学と技術の発展でも、それらの変化の背後にある一番大きな推進力であり基礎にもなっているのは、数学的な認識だと […]

続きを読む