De Josef Urban
The talk will make a (doomed?) attempt to convince the physicists in the audience that machine-based logic and proof combined with machine-based learning is a creeping revolution in science threatening their job security. In principle, I would like to ground it in at least some examples and demos of today's feedback loops between reasoning, conjecturing, and learning systems for math. But since this is a birthday party, it may also devolve into unhinged philosophizing attempts to understand what is math, physics, science, computing, AI, and their joint future.
De Nathan Seiberg
De Vijay Balasubramanian
De Steve Zelditch
De Eva Silverstein
De Eliezer Rabinovici
De Alexander Gorsky
De Rémi Monasson
De David McAllester
De Luca Mazzucato
De Alexander Belavin
De Washington Taylor
De Gérard Ben Arous
