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