[HN Gopher] Solving some formal math olympiad problems ___________________________________________________________________ Solving some formal math olympiad problems Author : neiman1 Score : 103 points Date : 2022-02-02 18:22 UTC (4 hours ago) (HTM) web link (openai.com) (TXT) w3m dump (openai.com) ___________________________________________________________________ (page generated 2022-02-02 23:00 UTC)