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.
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.
cool thanks for the link
there is also whole rdf/owl/semantic web ecosystem, with tons of companies/engines/datasets, mostly small.
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.