3 ms·
True, and this definitely is not a "scientific first" -- theorem provers have it beat ...
by psyklic 18y ago
True, and this definitely is not a "scientific first" -- theorem provers have it beat ...
- bd 18y agoThis is much bigger thing. Automated theorem provers operate in (relatively) neat domain. Biology, on the contrary, is huge mess. Billions years of evolution created a hell of complicated systems. This domain just screams for automated analysis. Even just doing AI on some data would be cool. Doing wet experiments ordered by Prolog solver and feeding results back to it is just awesome.