Updated

Mathematical researchers consulted by OpenAI found that the company's recent flood of AI-generated mathematical proofs deviated from established field guidelines, raising doubts about the readiness of AI systems to produce rigorous mathematical work.