The first thing this thread made me think of:

https://cyc.com/

It's been around for decades.. I'm sure there are other similar systems.

There are many variations, but I’m on mobile rn. (Is this the new Fermat’s last theorem?)

But seriously, the idea of breaking claims into logic and using programming languages to check, compose, and verify claims is kinda the reason logical programming languages like prolog were invented.