https://hackerpaper.kaipfister.de/p/2104.05207/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=31717439urn:hackerpapers:mention:2104.05207:31717439Sun, 12 Jun 2022 19:25:41 GMT<p>&gt; I asked GPT3 to teach me about addition and subtraction and it produced pure garbage in very lecturing tone. Sorry for laughing, but that&#x27;s a rather funny thought to be given incorrect maths lesson via AI à la college professor. The field of AI-applied to mathematics is already somewhat developed actually! At the moment it&#x27;s primarily done through proof assistants such as Coq[1], but there is work done to go further and apply ML to the field [2][3]. If you have any interest in the field, I would highly recommend you to take a dive and even play around with proving some simple theorems using…</p><p><a href="https://hackerpaper.kaipfister.de/p/2104.05207/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.LO