Thanks! Macroexpanded:

A 17-year-old teen refutes a mathematical conjecture proposed 40 years ago - https://news.ycombinator.com/item?id=44481441 - July 2025 (105 comments)