Time：16:00-17:00, Tuesday, June 16 2026
Venue：E13-105
Speaker：Olivia Caramello, University of Insubria, Italy and Grothendieck Institute
Title：Toposes and 'bridges' for artificial general intelligence
Abstract：Grothendieck toposes, geometric logic and relative toposes offer a foundational framework for artificial general intelligence by modelling information as hierarchical semantic structures rather than purely numerical data.
Through classifying toposes and topos-theoretic 'bridges', this approach extracts invariant properties across diverse representations and mirrors human cognition by organizing knowledge into stratified, explainable levels of abstraction.
When applied to tasks like Raven's matrices or ARC-type problems, the framework drastically reduces parameter search spaces, enables formally verifiable logic, and offers a pathway to integrate structured mathematical reasoning with contemporary deep learning and large language models.
