#lenat — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #lenat, aggregated by home.social.
-
Douglas Lenat's Automated Mathematician Source Code
https://github.com/white-flame/am
#HackerNews #Douglas #Lenat #Automated #Mathematician #Source #Code #AI #Research #OpenSource #GitHub