Comment by bitwize

1 hour ago

A lack of elegance in AI-generated proofs is just because we haven't developed the right loops, graphs, and evals yet.

0 comments