First Author Interview: AI &amp; formal math (Formal Mathematics Statement Curriculum Learning)
openai #math #imo This is an interview with Stanislas Polu, research engineer at OpenAI and first author of the paper "Formal ...