GPT-f AITP'20 Presentation

[Stanislas Polu]

Hi!

Here are the slides from the AITP'20 GPT-f presentation (that happened
today) in case there is interest for it:

https://docs.google.com/presentation/d/1u91W57VF1F9dFrBTv0OkuUomuZ3cxBjPMdg1VZmSLFQ/edit?usp=sharing

The talk was well received and I noticed Metamath was mentioned a
couple of times so far throughout the different talks.

I think there will be videos available later on as well.

Best,

-stan

[drjonp...@gmail.com]

Very nice, thanks for posting. I'd be interested in watching the videos when they are available, it'll be interesting to hear your perspective.

I think the fact that the tools and database are so strictly separate in metamath will make it an attractive place for future tool builders to get involved. I'm slightly hoping for network effect to kick in and one system to become the system, but we'll see.