Anthropic researcher highlights significance of AI mathematical proofs

Anthropic mathematician Levent Alpoge commented on OpenAI's recent publications, noting the major impact of claimed proofs for longstanding mathematical questions. He noted that AI progress in mathematics is accelerating faster than expected across rival research teams.