Move Over, Mathematicians, Here Comes AlphaProof
The New York Times
A.I. is getting good at math — and might soon make a worthy collaborator for humans.
At the headquarters of Google DeepMind, an artificial intelligence laboratory in London, researchers have a longstanding ritual for announcing momentous results: They bang a big ceremonial gong.
In 2016, the gong sounded for AlphaGo, an A.I. system that excelled at the game Go. In 2017, the gong reverberated when AlphaZero conquered chess. On each occasion the algorithm had beaten human world champions.
Last week the DeepMind researchers got out the gong again to celebrate what Alex Davies, a lead of Google DeepMind’s mathematics initiative, described as a “massive breakthrough” in mathematical reasoning by an A.I. system. A pair of Google DeepMind models tried their luck with the problem set in the 2024 International Mathematical Olympiad, or I.M.O., held from July 11 to July 22 about 100 miles west of London at the University of Bath. The event is said to be the premier math competition for the world’s “brightest mathletes,” according to a promotional post on social media.
The human problem-solvers — 609 high school students from 108 countries — won 58 gold medals, 123 silver and 145 bronze. The A.I. performed at the level of a silver medalist, solving four out of six problems for a total of 28 points. It was the first time that A.I. has achieved a medal-worthy performance on an Olympiad’s problems.
“It’s not perfect, we didn’t solve everything,” Pushmeet Kohli, Google DeepMind’s vice president of research, said in an interview. “We want to be perfect.”
Nonetheless, Dr. Kohli described the result as a “phase transition” — a transformative change — “in the use of A.I. in mathematics and the ability of A.I. systems to do mathematics.”
A review of the betting market’s social media feeds found it has published hundreds of false and misleading posts.
Gerd Faltings proved a conjecture that had been unsolved for six decades, using connections between numbers and geometry.
The reality star who rose to fame on “The Secret Lives of Mormon Wives” is being investigated for domestic violence along with the father of one of her children.
A new study found that women who went through so-called premature menopause had 40 percent more fatal and nonfatal heart attacks over the course of their lives.
In a stroke of luck, astronomers saw the comet C/2025 K1 (ATLAS) break into four or five fragments in November after it passed close to the sun.
New A.I. bots can do more than just chat. They can edit files, send emails, book trips and cause trouble.
The series, “inspired” by the story of a royal dresser later convicted of murder, is getting added attention over the former Duchess of York’s ties to Jeffrey Epstein.
Lawyers for both sides in the federal lawsuit, brought by six medical organizations, are trying to understand the ramifications of the judge’s decision.
Andy Weir discusses his science-fueled novel “Project Hail Mary,” which has been adapted into a film that opens in theaters on Friday.
After years of criticism and financial risk, Palantir, Anthropic and small start-ups are generating rewards from their investments in defense tech.
In a legal filing, the government said it questioned whether the A.I. start-up could be a “trusted partner” in wartime, which led it to label the company a supply chain risk.
Before humanity sent satellites, telescopes, humans and weapons into space, Robert Goddard experimented with the first liquid-fueled rocket on his aunt’s farm.
A draft State Department memo outlines ways the Trump administration may ratchet up pressure on the African country by ending health support “on a massive scale.”