OpenAI于10月6日宣布了名为“准黎曼证明”的成果，最初包含377篇论文，后扩展至722篇；第一版证明日期为9月30日，显示所有非平凡零点位于1/8到7/8之间并在Lean中形式化验证；第二版日期为10月5日，用49页证明了更弱的1/12到11/12边界。