3 ms·
Doug Lenat's AM (https://en.wikipedia.org/wiki/Automated_Mathematician https://en.wikipedia.org/wiki/Automated_Mathematician) seems relevant.
by anamax 2y ago
Doug Lenat's AM (https://en.wikipedia.org/wiki/Automated_Mathematician https://en.wikipedia.org/wiki/Automated_Mathematician) seems relevant.