When AI Tackles Math Like a Grad Student Having a Breakdown
AI’s attempts at expert-level mathematical proofs reveal fascinating insights into the gap between computational power and genuine reasoning. These submissions to the First Proof challenge show both impressive capabilities and uniquely artificial blind spots.