Comment by bitwize

2 hours 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