OpenAI has published 372 AI-generated mathematical results on GitHub, each accompanied by Lean formalizations to enable machine verification. According to The Decoder, generating each result required about three hours of compute using ChatGPT Pro.
While this marks a significant step in AI-assisted mathematics, 25 Fields Medal winners have expressed concerns. As reported by The Decoder, they warn that mass-producing mathematical truths through AI might undermine the creative process that drives genuine innovation in the field.
For Japanese investors and researchers, this development highlights the growing intersection of AI with rigorous mathematical validation, which could influence quantitative modeling and algorithmic trading strategies in local markets.