5 ms·

I wonder what he thinks about using it in automated theorem proving: https://twitter.com/spolu/status/1303578985276887042 https://twitter.com/spolu/status/13035

I wonder what he thinks about using it in automated theorem proving: https://twitter.com/spolu/status/1303578985276887042 https://twitter.com/spolu/status/1303578985276887042

chillee 6y ago
That's not GPT-3.