Sharing AI progress in mathematics

(openai.com) by OfficialTurkey | Oct 6, 2026 | 882 comments on HN