5 ms·

Well that happened already without AI to Mochizuki with his proposed solution to the abc conjecture.

• cubefox 6d ago
  So an LLM (or more realistically, a huge swarm of agents) should check his work, find a mistake or gap, or, if there is none, provide a formal verification.
• jesuslop 6d ago
  I know it adds no value, but cannot resist telling I have thought that exact same analogy.