Seminars

This paper is available at https://arxiv.org/abs/2506.17181

Abstract:

Abstract to be confirmed

Artificial Intelligence (AI) and Machine Learning (ML) methods are currently a “hot topic” in medicine. The driver of AI or ML method employment, in medicine as well as in other domains, is the availability of digital data.

Short Description:

Aristotle is an AI theorem prover developed by "Harmonic":http://harmonioc.fun which can autonomously produce multi-thousand-line formal

=== Online talk ===

Join Zoom Meeting https://cam-ac-uk.zoom.us/j/89856091954?pwd=Bba77QB2KuTideTlH6PjAmbXLO8HbY.1

Meeting ID: 898 5609 1954 Passcode: ITPtalk

=== Hybrid talk ===

Join Zoom Meeting https://cam-ac-uk.zoom.us/j/89856091954?pwd=Bba77QB2KuTideTlH6PjAmbXLO8HbY.1

Meeting ID: 898 5609 1954 Passcode: ITPtalk

Abstract: We are building machine learning models that outperform humans on particular tasks, from coding to mathematics. But what do we mean when we talk about AI capabilities, and how can we ensure AI systems remain aligned with human interests as they become more capable than us?

*Abstract*