A beginning for mathematics – Proofs and Prompts
💥 Explore this trending post from Hacker News 📖
📂 **Category**:
📌 **What You’ll Learn**:
Daniel Litt, professor at the University of Toronto
Three years ago, AI systems could not reliably add two numbers. A year ago, internal models at OpenAI and DeepMind received the equivalent of...
