StoryFirst seen
Formally verified solutions to problems that stayed open for decades, published at a few hundred dollars per problem, show automated proof arriving as real mathematical work.
Everything it touches
5 names 1 voices 1 source posts
The story’s neighborhood
Explore the graph, or choose a connection below.
Follow the evidence
This brief comes from Tech Twitter’s edited headlines. The posts below are the sources grouped with the story; statements in them belong to their authors.
🚨Google DeepMind’s “AlphaProof Nexus” has solved 9 Erdős problems and the results have now passed peer review: >two if them were open for 56 years >also proves 44 OEIS conjectures >every single step checked by Lean >a few $100 per problem >results are now published in Science all while mathematicians are calling for a boycott of OpenAI after their paper dump. WHAT A TIMING.Read original on X
Google DeepMind's automated math proofs clear peer review in Science
Google DeepMind's automated math proofs clear peer review in Science
DeepMind's automated proofs clear peer review on decades-old math
Google DeepMind's proof system clears peer review on open math
Shared connections
The Yang-Mills Working Group plans to publish OpenAI's submitted code and its validation, so the claim can be checked by mathematicians.
Disney plans to use the Adobe models in its studios and at its theme parks, tailored to its own properties.
It nearly matches the company's larger model at a fraction of the price, aimed at repeated, token-heavy tasks that AI products run constantly.
It nearly matches the company's larger model at a fraction of the price, aimed at repeated, token-heavy tasks that AI agents run.