> On Feb 7, 2025, at 3:57 PM, [email protected] <[email protected]> wrote: > > "Deep Dive into LLMs like ChatGPT" is an amazing youtube video put out by > Andrej Karpathy Great! I added those links to: https://github.com/metamath/set.mm/wiki/Automated-proving --- David A. Wheeler -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/metamath/D73DF3B9-348B-45B5-A07D-EFE1E5E6D58D%40dwheeler.com.
Re: [Metamath] AI Generative Pretrained Transformer model for Metamath: GitHub
'David A. Wheeler' via Metamath Fri, 07 Feb 2025 15:42:55 -0800
- [Metamath] AI Generative Pretrained Transf... [email protected]
- [Metamath] Re: AI Generative Pretrain... [email protected]
- Re: [Metamath] AI Generative Pretrain... 'David A. Wheeler' via Metamath
- Re: [Metamath] AI Generative Pret... [email protected]
- Re: [Metamath] AI Generative ... 'David A. Wheeler' via Metamath
- Re: [Metamath] AI Generative ... Glauco
- Re: [Metamath] AI Generative ... Caleb Nwokocha
