Vienna Gödel Lecture: “AI for Scientific Discovery and a Sustainable Future”