1 paper touches this idea.
Papers
A math AI that writes proofs all at once, not word by word, cracks a problem its rival missed
Related concepts
Ideas that show up alongside Formal Theorem Proving.