Topic: Model Development

Investigate music and AI through a five-year research programme. Potential directions include supporting musicians’ creative agency, computational creativity, and music technologies for health and wellbeing. The role combines model development and evaluation with collaboration across music, cognitive science and AI, and offers some teaching opportunities.

Alexander Meiburg examines how language models and interactive theorem provers are changing AI-assisted mathematics. Models can propose creative natural-language arguments but also make subtle errors; formal proof systems provide grounding. The talk discusses model development, strengths and weaknesses, and the differences involved in extending formal assistance to physics, where establishing suitable definitions can be a larger obstacle than proving statements.