3 ms·
Yes, and that was basically the controversy around Doug Lenat’s automated mathematician: https://en.wikipedia.org/wiki/Automated_Mathematician https://en.wikip
by thom 4y ago
Yes, and that was basically the controversy around Doug Lenat’s automated mathematician:
https://en.wikipedia.org/wiki/Automated_Mathematician https://en.wikipedia.org/wiki/Automated_Mathematician