MetaGen-IL

1 Post

Proof Search Tree
MetaGen-IL

The Proof Is in the Network: A transformer model that generates mathematical proofs

OpenAI’s Generative Pre-Trained Transformer (GPT) architecture has created coherent essays, images, and code. Now it generates mathematical proofs as well.

Subscribe to The Batch

Stay updated with weekly AI News and Insights delivered to your inbox