2 ms·
AI are still not good enough to detect errors in very complicated proof.
by gus_massa 1y ago
AI are still not good enough to detect errors in very complicated proof.
- GhostDrift 1y agoYou're absolutely right that current AI systems still have limitations when it comes to verifying very complicated mathematical proofs.In this case, the AI reviews (from Gemini, Copilot, GPT-4o) were used as preliminary consistency checks — not as a substitute for expert mathematical validation.Ultimately, the proof must stand up to human scrutiny, and I'm actively seeking feedback from experts in number theory.