3 ms·
> So this points to a fundamental problem with using AI to do math. No it doesn't, AI like an LLM has no issues with stating two inconsistent propositions, jus
by naasking 2y ago
> So this points to a fundamental problem with using AI to do math.
No it doesn't, AI like an LLM has no issues with stating two inconsistent propositions, just like humans, which is why both AI and humans can reason about all of mathematics, eg. Godel theorems is that a formal system cannot simultaneously be complete and consistent.