Working on incorporating existing AI capabilities into formal methods is one of the most robustly differential-tech-development things you can do that looks like advancing AI capabilities, imo. It…

Posters: davidad. davidad

2 likes recorded by the source corpus.

Topics: Software, AI safety

View Post: https://x.com/davidad/status/1631877821374283776