Mona Alinejad
@monalinejad
Founder & CEO – AI for Global Goals General Chair – OxML School
ID: 524254399
http://www.globalgoals.ai 14-03-2012 11:13:30
301 Tweet
316 Followers
281 Following
Why formalise mathematics? As humans & LLMs get better at teaching maths to computers, the implications for verification & discovery are growing fast. At OxML 2026, Prof. Kevin Buzzard will explore why this matters. 👉www.oxfordml.school/2026 #OxML #AIforMaths, Imperial College London
A major frontier in AI is its growing role in scientific discovery. At #OxML 2026, Prof. Christopher Bishop will discuss how AI can accelerate discovery, from fast emulators trained on synthetic data to new approaches across biology, healthcare, chemistry, & physics Microsoft Research