Over the last several months, the AI industry has set its sights on some of the problems that have stymied mathematicians for years. In some cases, AI models have made huge progress — though exactly how much isn't always obvious. The Verge's Robert Hart explains what OpenAI and others have actually accomplished, the disastrously bad ways the companies have interacted with researchers, and whether there's a future left for human mathematics. Subscribe to The Verge: https://bit.ly/3FT6n5S Watch The Vergecast on YouTube: https://bit.ly/40RFRkg The Vergecast Podcast: https://bit.ly/3WQDexZ Decoder with Nilay Patel: http://apple.co/3v29nDc More about our podcasts: https://www.theverge.com/podcasts Read More: http://www.theverge.com Community guidelines: http://bit.ly/2D0hlAv Wallpapers from The Verge: https://bit.ly/2xQXYJr Shop our Verge merch store here: https://bit.ly/4kPCmEc If you buy something from a Verge link, Vox Media may receive a commission without exerting any influence on editorial content. For more information about our ethics policy, visit: https://bit.ly/3ZWTlLs