This is an automated archive made by the Lemmit Bot.

The original was posted on /r/worldnews by /u/vapalera on 2026-07-20 22:20:31+00:00.

Original Title: A mathematician has cracked an 87-year-old conundrum with the help of AI and announced the solution unceremoniously in a tweet. The finding is the most difficult mathematical problem yet solved by AI, say experts.