CEMS.UL / CMAFcIO Distinguished Lecture Series Mathematics / Colloquium of DM-FCUL Fall 2024 / Daniel da Silva Lecture

The AI Mathematician

Sala 6.2.33, Ciências ULisboa

Por Yang-Hui He (LIMS, Oxford and Nankai University, China).

We argue how AI can assist mathematics in three ways: theorem-proving, conjecture formulation, and language processing.

Inspired by initial experiments in geometry and string theory in 2017, we summarize how this emerging field has grown over the past years, and show how various machine-learning algorithms can help with pattern detection across disciplines ranging from algebraic geometry to representation theory, to combinatorics, and to number theory. 

At the heart of the programme is the question how does AI help with theoretical discovery, and the implications for the future of mathematics.

https://cmafcio.ciencias.ulisboa.pt/daniel-da-silva-lectures

Cartaz do evento

16h00
CMAFcIO e DM: Carlos Florentino, Maria Manuel Torres e Nicolas Van Goethem
Logótipos de Ciências ULisboa/GAPsi e calendarização das palestras

Palestra promovida pelo GAPSI - Gabinete de Apoio Psicológico de Ciências ULisboa.

This workshop aims to explore crucial issues raised by contemporary computational models and methods in AI. The focus will be on fostering discussions about the epistemological, ontological, and formal considerations, as well as the societal implications of AI systems.

Título/data/local do evento e três fotografias relacionadas com a permacultura

Permacultura? Não é uma pseudociência esotérica? Uma utopia sem fundamento científico? Para desmistificar estas e outras ideias, o permacultor certificado Tiago Silva (SmartLeap) guiar-te-á pelos caminhos desta prática multidisciplinar, fundada em sólidas bases empíricas.

Logótipos de Ciências ULisboa/GAPsi e calendarização das palestras

Uma conversa sobre ti, alguém amigo ou apenas acerca de ansiedade.

An annual meeting that aims to bring together Evolutionary Biologists working in Portugal and abroad in order to promote scientific cohesion and excellence. This meeting is a forum for scientists of all academic levels (from master students to principal investigators), to present their work and discuss, fostering new ideas and collaborations.

A leading venue for presenting and discussing the latest research, industrial practice and innovations in dependable and secure computing.

Páginas