The slides of my recent talk at the AI workshop at RL China are available below.

In this presentation I propose an interpretation of learning processes in terms of the notions of mathematical theory and proof, and advocate for the importance of empowering artificial learnings systems with large formal vocabularies that will serve for expressing the concepts (and relations between them) that they will learn from data.

The aim is to obtain more robust and structured forms of learning with generalisation capabilities, and greater resilience and adaptability, mimicking the distinctive features of human intelligence.

We also consider this project as an essential step for arriving at a toposic theory of semantic information; indeed, syntax and semantics are interwined (think, for instance, of the syntactic construction of classifying toposes).

I look forward to experimentally testing these ideas with our team at the Lagrange Center in Paris.