人工知能

マルレク
大規模言語モデルの展開 — マルチモーダルへ

はじめに ChatGPTの急速な普及を転換点として、かってない規模とエネルギーで、多くの研究者・開発者・企業が人工知能の分野に参入しようとしています。下の図は、arXivへの”transformer&#822 […]

続きを読む
ジャンル
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 […]

続きを読む
マルレク
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・ローヴェールの数学思想丸山不 […]

続きを読む