Speaker
Prof.
Josef URBAN
(CIIRC)
Description
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.