proof-validation

OpenAI发布了十项关于十年来无进展的数学问题的结果，引发了关于AI辅助证明验证标准的辩论。