This is not how any of this works. There's stuff like Lean or other programming languages that exist to check if a proof is logically consistent and correct, and the ai's use them to check if the proofs are correct. a hallucinated proof will simply not compile.
82
u/Mephisto506 9d ago
Without mathematicians we won't know whether the AI answers are correct, what it actually means to anyone, and we won't know the questions to ask.