3 ms·
Yes, in addition to the [current] top comment, this helps a great deal. thanks! HackerNews: Simulating AI-generated human readable proofs from real math proofs
by ccvannorman 11y ago
Yes, in addition to the [current] top comment, this helps a great deal. thanks!
HackerNews: Simulating AI-generated human readable proofs from real math proofs since 2011