This is a fantastic survey of automated theorem proving for non-experts
https://mathstodon.xyz/@Jose_A_Alonso/110083572954964557
@zkproofs Ohhh, I know the people who did all that Leo III stuff (same institute). Some really amazing people!
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.