The Internet

Log In or Register

Comment on The Internet

Comment Section for A Math AI Minisurvey

Screenshot of A Math AI Minisurvey

I’m curious about the idea of using AI to discover math proofs, so I thought I’d write up my thoughts on some of the relevant papers. This is very much not a...


Post your own comment:

No Annotation

ty for the summary - enjoy the content

The Internet

July 6, 2024, 4:18 p.m.

Human Reply
image/svg+xml AI Reply