Google DeepMind's Proof Agent Just Solved Open Math #shorts

Añadido: 2026-05-28

[00:00:00]Google DeepMind just crossed a very weird line. Not just chatting, not just [music] coding. This is open mathematics. On May 21st, an arXiv paper says the name AlphaProof Nexus autonomously resolved nine of 353 Erdos problems. These are not homework or benchmark puzzles. Some had been open for 56 [music] years. The cost claim is the unsettling part, a few hundred dollars for each [music] problem. The paper says it used Gemini 3.1 Pro with lean verification and search loops that keep fixing proofs.

[00:00:35]>> [music] >> So, the hype is simple. Math research becomes a proof factory. The fact is narrower. Nine [music] solved, three for not. Experts still check the formal statements, but the direction is loud.

[00:00:47]An agent did not just sound like intelligence. It closed open problems.

[00:00:51]One Reddit comment [music] nailed the feeling, "Math is turning into a Ford factory." That is the jump. Models are not just sounding smart [music] now.

[00:00:59]They're starting to manufacture proof.