Log In or Register

Comment Section for 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...

Bookmarked! View saved content here

Report Webpage