GPT-6 Astra proves 70% of Lean theorems but solves none of 30 open conjectures

Your call?🐂 Bullish🐻 Bearish

GPT-6 Astra's success in theorem proving highlights AI's potential in formal logic, yet its struggle with open conjectures underscores current limitations.