Two Futures for LLMs in Mathematics
Summary
Two futures for LLMs in mathematics are explored: a theory-driven approach that tightens matrix multiplication bounds, and an OpenAI PDF dump whose quality varies and invites scrutiny. The post argues for human review and clear communication to avoid wasteful interpretation by readers, highlighting the tension between theoretical breakthroughs and reproducibility in AI research.