AINewsnow

Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed

Google Deepmind's AlphaProof Nexus solved dozens of open math problems, including nine Erdős problems two of which were unsolved for 56 years, per a study in Science. The publication comes as OpenAI faces a boycott for dumping AI proofs on GitHub without peer review. Deepmind had its results review…

Read the full story at The Decoder ↗

Timeline · 1 report

  1. 2026-10-12 09:35 · The Decoder
    Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed

More stories

  1. OpenAI Asked The Chip Industry To Build Faster. Then It Built Its Own Chip Team. — Forbes AI
  2. Import Skills Into Web Ver. of ChatGPT/Claude/Gemini. Prompt DB + Queueing prompts w/ Multimodal Support — r/PromptEngineering
  3. Sources: the US restores the UK AISI's access to the latest US models for safety testing, after ordering OpenAI and Anthropic to stop sharing models last month — Techmeme
  4. Asked ChatGPT Voice to research square wombat poo. Apparently I triggered a biological safety warning 😂 — r/ChatGPT
  5. Anyone using Claude, Gemini and ChatGPT together with shared up-to-date project context? — r/artificial
  6. ChatGPT Plus $0 first-month offer keeps declining all my cards — r/ChatGPT
  7. Dario would put 9 — r/agi
  8. Is Gemini PRO worth it? — r/GeminiAI

Get the daily brief of stories like this at 6:30 every morning →