V
主页
京东 11.11 红包
Laurent Lafforgue - 拓扑斯理论 AI 的草图
发布人
https://youtu.be/6hiouvLnnzA Barcelona Mathematics and Machine Learning (b=M2L) Colloquium Series https://mat.uab.cat/bM2L Some sketches for a topos-theoretic AI, 8th February 2024, 14:00 CET Laurent Lafforgue, Huawei Research Centre Paris Abstract: The purpose of this talk will be to sketch a partial outline for building a new version of AI based on Grothendieck Topos Theory. We will first review some key facts which make Grothendieck toposes a natural interface between logic and topology or geometry. We will explain in particular in which sense the semantics of any first-order "geometric" theory can be incarnated by a topos, so by a mathematical object to which all intuitions of topological nature still apply. Based on that, we will consider anew the problem of designing good description languages for any type of real objects which we could want to represent mathematically, with the aim of processing their representations. This would require the choice of a vocabulary. After such a description vocabulary is chosen, basic principles of Topos Theory yield a process for deriving from instances of the type of real objects under consideration some grammar rules relating the elements of vocabulary. These grammar rules incarnate an interpretation principle for the type of objects under consideration. The way they are derived using principles of Topos Theory can be considered as a modellization of inductive reasoning. Supposing a good description language, consisting in chosen elements of vocabulary and derived grammar rules, has been elaborated, the next and most difficult step would be to construct a topos-based process for extracting information. This would be a topos-theoretic version of Deep Learning. We will propose a general form for such topos-based processes and describe an induced framework which allows at least to think about this problem in a mathematical way.
打开封面
下载高清视频
观看高清视频
视频下载器
【访谈】亚历山大·格罗滕迪克的生平和拓扑斯理论|Colin McLarty
【K理论仙境】从负数到K理论
Ingo Blechschmidt - 从证明中提取程序|关于构造性、可实现性与双重否定的微型课程
跨越次元的拥抱!国外小哥发现了AI的二次元新玩法
【K理论仙境】无中生有
Laurent Lafforgue - Grothendieck拓扑斯与它们的表示之间的对偶 III
1980年代奇幻电影《艾尔登法环》
Graham Manuell - 1/5 无点拓扑与构造主义数学
当我让ai来做沙威玛
André Joyal - 同伦类型论: 逻辑, 范畴论与拓扑间的新桥梁
Andrew Wiles - 朗兰兹纲领
金字塔竟然是这么建造的?
Laurent Lafforgue - Grothendieck拓扑斯与它们的表示之间的对偶 IV
Calum Hughes - An elementary theory of the 2-category of small categories
Graham Manuell - 2/5 无点拓扑与构造主义数学
Cecilia Flori - 历史量子理论的拓扑斯表述
Jens Hemelaer - M-集合范畴与它的拓扑斯理论性质
Laurent Lafforgue - Grothendieck拓扑斯作为未来人工智能的数学:设想受拓扑斯启发的图像新表示
Thaísa Tamusiunas - 逆半群作用下的伽罗瓦理论
Mathieu Anel - 拓扑斯在空间形式化中的地位
Olivia Caramello - 拓扑斯理论视角的模型论导引 (II)
Jacob Lurie - 什么是... 𝘱进几何?
Luca Mesiti - Grothendieck 2-topoi are elementary 2-topoi
Jens Hemelaer - 幺半群上的预层拓扑斯与它们的点
Mathieu Anel - 拓扑斯类比于交换环 2
Mathieu Anel - 非可分拓扑简介
Olivia Caramello - 拓扑斯之态射与等价的几何 2/3
Francis Borceux - 拓扑斯理论的非正式概述, 第4课: 拓扑斯的内部逻辑
【数学纪录片】Alexander Grothendieck, 天才的旅途
Francis Borceux - 拓扑斯理论的非正式概述, 第3课: 内部拓扑和层
Amartya Goswami - 从环到格
Dustin Clausen - 泛函分析的新基础
Ivan Tomašić - 差分代数 (difference algebra) 的拓扑斯理论视角
Joshua Wrigley - 模型论重构定理的拓扑斯理论框架
Steve Vickers - Locales via bundles
Axel Osmond - 稳定伪函子,局部右双伴随与拓扑斯的2-几何
Walter Tholen - 在拓扑空间范畴中“小”是什么意思?
[Palmgren Memorial] Maria Emilia Maietti - 谓词拓扑斯是何种概念?
Andrej Bauer - 形式化的数学与证明助手
Ieke Moerdijk - 树状集合 (dendroidal sets) 拓扑斯