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.