For many mathematicians, it is the weeks, months and years spent circling a problem that appeals. For many mathematicians, it is the weeks, months and years spent circling a problem that appeals. I t was a week that left mathematicians reeling. Hot on the heels of a flurry of cases of artificial intelligence furthering the field, OpenAI declared a major scalp: its latest AI model had cracked a Millennium Prize Problem, a puzzle with a $1m reward that had defied human brains for decades. The achievement bore little resemblance to how mathematical problems normally fall.

Plus: The US has accused six Chinese AI firms of "industrial-scale" theft. What OpenAI's latest controversy tells us about the future of math OpenAI says its agents have solved one of the most important open problems in mathematics. Under normal circumstances, that would be a huge milestone. But the announcement has been overshadowed by accusations that OpenAI failed to credit researchers whose AI-assisted work influenced its solution. Whether those accusations are true or not, the episode may mark a turning point in the history of mathematics. AI models now seem essential for making progress on the field's most important problems, but solving them may demand resources available only to a couple of frontier AI companies.

OpenAI's latest mathematical milestone has quickly become mired in controversy. Today, the company announced that its agents have solved one of the Millennium Prize Problems, some of the most important open problems in mathematics. Under normal circumstances, that solution would be a huge feather in OpenAI's cap. But the announcement has been overshadowed by accusations that OpenAI used NYU mathematician Tristan Buckmaster's and Anthropic employee Levent Alpöge's AI-assisted work on the problem as a jumping-off point and failed to credit them. OpenAI has denied the accusations. It remains uncertain if OpenAI's models made use of the work completed by Buckmaster and Alpöge, though Sébastien Bubeck, a member of the technical staff at OpenAI, said in a press briefing that the team was inspired to pursue the problem after hearing a rumor about Buckmaster and Alpöge's efforts.

Trending Now Say More Look Up Mashable's Best: E-readers, robovacs, laptops, earbuds, smart home and more Switch Off Creator Playbook Mashable Voices Mashable Selects Safety Net Versus Gift Ideas For Everyone On Your List In My Bag All Series OpenAI provided an update about the release of Astra, and what precautions it's taking. Timothy Beck Werth is the Tech Editor at Mashable, where he leads coverage and assignments for the Tech and Shopping verticals. Tim has over 15 years of experience as a journalist and editor, and he has particular experience covering and testing consumer technology, smart home gadgets, and men's grooming and style products. Previously, he was the Managing Editor and then Site Director of SPY.com, a men's product review and lifestyle website. As a writer for GQ, he covered everything from bull-riding competitions to the best Legos for adults, and he's also contributed to publications such as The Daily Beast, Gear Patrol, and The Awl. Do you understand quantum parallel repetition?

What happens when AI runs out of pictures? A hospital may only ever collect a few dozen scans of a rare condition - for example, an unusual tumour. The radiology department wants software to flag this on a scan - not to replace the specialist, but so a hospital without one still gets their scan checked the same way. The clinicians know what they're looking for. Over a decade, the hospital might gather 40 confirmed cases.

AIhub monthly digest: August 2026 - IJCAI-ECAI in Bremen, the mathematics of simplicity, and does AI change the way we think? Welcome to our monthly digest, where you can catch up with any AIhub stories you may have missed, peruse the latest news, recap recent events, and more. This month, we report on events at IJCAI-ECAI 2026, learn about the mathematics of simplicity, investigate the accountability vacuum, and find out how AI changes the way we think. On Rashomon sets, the mathematics of simplicity, and why we don't need black boxes: an interview with Cynthia Rudin In the latest in our series of interviews with AI pioneers, we hear from Cynthia Rudin about interpretability, noise, and the case against complexity for complexity's sake. The 35th International Joint Conference on Artificial Intelligence and the 29th European Conference on Artificial Intelligence (IJACI-ECAI 2026) was held from 15-21 August, in Bremen, Germany.

Mathematical verification must be a national mission in the AI era, write Patrick Shafto, Ken Ono, and Scott Duke Kominers.

Look Up Say More Versus Creator Hub Switch Off Mashable's Best: E-readers, robovacs, laptops, earbuds, smart home and more Trending Now Safety Net In My Bag VidCon with Mashable Back to School Furtastic All Series Everything we know about the quantum math-solving model. OpenAI confirmed the existence of Astra, a smarter, unreleased model that's already achieving big results in the math world. Timothy Beck Werth is the Tech Editor at Mashable, where he leads coverage and assignments for the Tech and Shopping verticals. Tim has over 15 years of experience as a journalist and editor, and he has particular experience covering and testing consumer technology, smart home gadgets, and men's grooming and style products. Previously, he was the Managing Editor and then Site Director of SPY.com, a men's product review and lifestyle website.

Why one of the world's best mathematicians is joining OpenAI One of the winners of this year's Fields Medal is headed to OpenAI. Last Thursday, Jacob Tsimerman was one of four mathematicians awarded the prestigious honor, which is sometimes called the Nobel Prize of mathematics. The same day that he won the Fields, Tsimerman announced that he would be going on leave from the University of Toronto to work on AI safety. As my colleague Rose Horowitch and I wrote last week, top AI companies now employ a range of academics, including physicists, philosophers, economists, and, of course, mathematicians . But given Tsimerman's renown, his decision in particular seemed to catch many people by surprise. "It's like hiring Lionel Messi as project manager," one machine-learning professor posted on X. Tsimerman's expertise is in number theory, and he won the Fields for his work on the André-Oort conjecture, among other contributions.

Mathematicians put AI to work on Fermat's last theorem At an event in London, mathematicians have made unexpectedly fast progress on formalising Fermat's last theorem using AI In the lobby of a central London hotel, tourists are bracing themselves for a day of sightseeing in a heatwave. Meanwhile, staff are resetting the dining room after breakfast. And in a windowless meeting room, assembled academics are contemplating whether humans have a role to play in the future of mathematics, now that AI can prove theorems by itself. The general mood in the room is one of bewilderment at the recent jump in computer intelligence and excitement about the potential it unlocks - and perhaps a slight unease about what the future holds for them personally. Twenty-five researchers from diverse fields and countries are here to spend a week working on formalising Fermat's last theorem with cutting-edge AI models.