OpenAI发布372个AI生成数学证明，引发菲尔兹奖得主警告
OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
OpenAI 在 GitHub 上发布了 372 个由 AI 生成的数学结果，包括用于机器验证的 Lean 形式化证明。每个结果平均消耗了约三小时的 ChatGPT Pro 算力。但 25 位菲尔兹奖得主警告称，大规模生产数学真理可能会破坏创新的沃土，而非催生新思想。
更进一步：量化金融体系
看懂新闻只是起点——沿量化金融路径，把它变成能交付的工程能力