Samuel Schindler - Scientific Discovery and AI @weizsacker-zentrumuniversi3136

Uploaded January 2025 | Updated September 2026, 12 hours ago

Recorded as part of the CFvW Colloquium on January 15, 2025

Scientific Discovery and AI - Prof. Dr. Samuel Schindler (University of Aarhus, DK)

Abstract:
In the past decade, Artificial Intelligence has made great strides and entered many areas of our life. AI has also been put to effective use in science: the last Nobel Prize, for example, was
awarded to the makers of AlphaFold. I this talk, I will critically assess the notion of AI-supported scientific discoveries. I will first ask about the conditions on a scientific discovery.

Explore our colloquium schedule on our website: uni-tuebingen.de/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/news-and-events/carl-friedrich-von-weizsaecker-colloquium

Samuel Schindler - Scientific Discovery and AI

Stefan Neuwirth - Paul Lorenzens Reception of Gödels Incompleteness Theorems (Gödel Conference)

Ryo Takemura - A completeness theorem in proof-theoretic semantics via set-theoretic semantics

John Zerilli - Explaining Machine Learning Decisions (AI MEETS LAW – Rechtsfakultät)

Victor Luis Barroso Nascimento - On the power and flexibility of base-extension semantics

Simona Ronchi della Rocca - Characterising Probalistic Termination (Gödel Conference)

S. Zezulka - Predictions and politics: communicative rationality in prediction-allocation problems

Tim Lethen - Gödels Theological Notes (Gödel Conference)

Maël Pegny - Some limitations of algorithmic fairness, and their relations with knowledge

Prof.Dr. Kristian Kersting: Systemische KI

Sergei Artemov - Missing Proofs and the Provability of Consistency (Gödel Conference)

Bruno Barras - Type Theory in Set Theory, in Type Theory (Gödel Conference)