From AI Ideas to Checkable Mathematics
A new OpenAI mathematics release highlights a practical question: how can AI-generated ideas become research that others can verify, cite, and improve? The answer combines human exposition, Lean formalization, transparent records, and patient peer review.