The AI takeover of mathematics has begun
AI systems have begun to solve complex mathematical problems, sparking both excitement and concern about the future of mathematics. OpenAI's use of an advanced model, Astra, achieved breakthroughs in areas like sphere packing, error-correcting codes, and complex networks, but critics argued it overlooked the foundational work of mathematicians like Andreas Thom and Gábor Kun. The announcement was revised to acknowledge these contributions, though debates continue about the role of AI in mathematical research and the attribution of results. The field remains divided, with some embracing AI's potential and others worried about the impact on human involvement and the direction of mathematical inquiry.
More from Theverge
I looked inside an AI generated movie, and the best parts were all human
Imagine a trio of bumbling, English lads who fantasize about becoming megastars while knocking back a few pints in a grimy pub somewhere in London. Picture the guys chortling and trying to one-up each other's idealized visions of the future with a series of increasingly glitzy fantasies in which their fame leads to access to […]
theverge.com··Mads Kristian Nylund·AI ToolsAI
Does Google even want to win at AI?
Today on Decoder, I’m talking with Hayden Field, The Verge’s senior AI reporter, about a question that’s been rocketing around the tech industry for the past week: Is Google losing the AI race? That’s because last week Google announced a bombshell reorganization of its AI division, Google DeepMind. Jeff Dean, the company’s chief scientist, is […]
theverge.com··Mads Kristian Nylund·AI ToolsAI GovernanceAI Competition
Microsoft is combining its Copilot apps ahead of a ‘super app’
Microsoft is finally beginning to combine its consumer and commercial Copilot AI assistants into a single "super app" interface, starting with the Copilot and Microsoft 365 Copilot apps. Both personal and work accounts will be moved to the new unified app, which recycles the "Microsoft Copilot" name but features an updated app icon. The single […]
theverge.com··Mads Kristian Nylund·AI ToolsAI InfrastructureAI Platforms