Laurence Aitchison
@laurenceai.bsky.social
Lecturer at the University of Bristol.
probabilistic ML, optimisation, interpretability, LLM evals.
probabilistic ML, optimisation, interpretability, LLM evals.
Reposted by Laurence Aitchison
Go read it on arXiv! Thanks to my co-authors @sambowyer.bsky.social and @laurenceai.bsky.social 💥
March 6, 2025 at 3:00 PM
Go read it on arXiv! Thanks to my co-authors @sambowyer.bsky.social and @laurenceai.bsky.social 💥
Would love to be added!
November 27, 2024 at 9:47 PM
Would love to be added!
But you can't prove that the *real* asteroid won't hit earth, because the real world isn't your simplified model. e.g. you don't know the initial conditions, there might be other bodies you aren't aware of etc. etc.
November 27, 2024 at 10:44 AM
But you can't prove that the *real* asteroid won't hit earth, because the real world isn't your simplified model. e.g. you don't know the initial conditions, there might be other bodies you aren't aware of etc. etc.
The analogy we're working from is "mathematically provable asteroid safety": within a simplified mathematical model, with known initial conditions, you can prove that an asteroid won't hit earth. (2/3)
November 27, 2024 at 10:44 AM
The analogy we're working from is "mathematically provable asteroid safety": within a simplified mathematical model, with known initial conditions, you can prove that an asteroid won't hit earth. (2/3)