This conference will be about the various implications of AI-based proving and autoformalisation for mathematics. Examples include the recently (claimed) major breakthrough in solving the Navier-Stoke...

OpenAI is working with an independent Advisory Group on Mathematics and Artificial Intelligence to guide the review and communication of emerging AI results.

Peter was out with his wife on a walk in the beautiful desert. As they were approaching the crest of a hill, a snake sprung out from behind a rock, biting both Peter and his wife.

Peter was out with his wife on a walk in the beautiful desert. As they were approaching the crest of a hill, a snake sprung out from behind a rock, biting both Peter and his wife.

ALT: Shameless Fiona Gallagher

Do you want to work as a Postdoc at the Faculty of Science? Check our vacancy!

Philosophers have long speculated that individual differences in temperament influence philosophical thinking, yet empirical research has rarely explored the role of neurodivergent traits in this d...