哲学
コンピュータ上のグラフ理論の進化 -- AIとグラフ2
セミナーへのお申し込みは、次のページからお願いします。https://ai-graph2.peatix.com/view AIの能力の次の飛躍の可能性 現在のLLMベースのAIに数学的能力を統合したいというのが僕の大きな […]
Helen Tonerらの「民主的AI」論
2023年11月17日、サム・アルトマンはOpenAIのNPOの取締役会(ヘレン・トナー、イリヤ・スーツキーヴァー、アダム・ダンジェロ、ターシャ・マッコーリーで構成)の不信任に基づきCEOを解任されました。今回のOpen […]
ChatGPTと大規模言語モデル関連ページ
2023/07/29「創発について考える」 GPT-4との対話は、我々は、我々人間が作った構造の上で、初めて新しい構造が「創発」されていることを目撃しているのかもしれないという問題意識を生み出しています。 ただ、今回のセ […]
GPT-4 との対話 -- プロンプトで遊ぶ --
講演資料と講演ビデオ 資料は、カーソルを合わせるとスクロールできます。「はじめに ... 」「Part 1 ... 」などのタイトル部分をクリックすれば、動画に移動します。 はじめに -- 対話を通じて分かったこと、問題 […]
GPT-4 Technical Report を読む
マルレク「GPT-4 Technical Report を読む」へのお誘い 申し込みページ:https://gpt4-report.peatix.com/ このところ数学寄りの内容が多かったので、5月のマルレクは、IT […]
マルレク・コンテンツ一覧
2023年 2023/01/28「AIは意味をどのように扱っているのか? -- ChatGPT の不思議」 2023/01/14 「なぜ?で考える ChatGPT の不思議」 2022年 2022/12/24「ことば […]
量子計算の古典的検証
11/26 マルゼミ 「量子計算の古典的検証」について 「量子計算の古典的検証」とは、量子コンピュータが人間の指示通りに働いているか、量子コンピュータの行なった計算が正しいものであるかを、人間がキチンと確かめると言うこと […]
「同じ」を考える -- Univalence Axiom 入門
2022/03/01 マルゼミ「「同じ」を考える -- Univalence Axiom 入門」 小論は、2019 年1月29日のセミナー「「同じ」を考える -- 「型の理論」入門」をベースにして、Homotopy Ty […]