数学猜想，属于已发表研究涵盖的示例。
OpenAI在GitHub上发布了一个包含722篇数学研究的集合，这些研究由一个尚未向公众开放的内部模型生成，涵盖372个问题家族的结果。该公司确认，这些成果处于不同的验证阶段，其中只有一部分使用Lean进行了验证。