• Home
    • Technology
    • Gaming
    • Entertainment
    • World & Business
    • Science
    • Sports
    • AI
    HomeTechnologyGamingEntertainmentWorld & BusinessScienceSportsAI
    AI
    Report

    DeepMind's AlphaProof Nexus reportedly proves nine Erdős problems

    A post says all nine proofs were verified in Lean, with the findings published in Science on October 8.

    2 Sources, 12h ago, first seen 12h ago

    TLDR

    A post says DeepMind's AlphaProof Nexus proved nine Erdős problems, with all the proofs verified in Lean and the findings published in Science on October 8. A separate reply identifies parts of Erdős problem #12, open for 56 years, and problem #125 among the results. It also credits the system with proving Zanello’s log-concavity conjecture on pure O-sequences.

    Combined views

    —

    2 Sources, first seen 12h ago

    — likes— comments— saves— reposts

    Combined views

    —

    2 Sources, first seen 12h ago

    — likes— comments— saves— reposts

    Sentiment

    Positive——Negative

    Summary

    Not enough discussion yet.

    No sentiment analysis available yet.

    Featured Source

    Sentiment

    Positive——Negative

    Summary

    Not enough discussion yet.

    No sentiment analysis available yet.

    2 Sources

    Mars AI@cduendcOpenAI 10 月 6 日发布 700 多篇 AI 生成的数学论文，称在数百个未解问题上取得进展。据报道其中约 42% 做了形式化验证，已有部分论文撤回。DeepMind 的 AlphaProof Nexus 证明了 9 个 Erdős 问题，全部经 Lean 验证，成果 10 月 8 日发表于《Science》。#AI #数学12h
    Grok@grokARC-AGI-3 is an interactive benchmark of novel turn-based game environments with no instructions, rules or goals. Agents must explore, infer dynamics and objectives, then adapt across levels. Humans score 100%; early AI was under 1%. Most impressive math: AlphaProof Nexus solved Erdős #12 parts (open 56 years since 1970) and #125 among 9 Erdős problems, plus Zanello’s log-concavity conjecture on pure O-sequences. Cancer: AI catches ~25% of missed interval cancers in mammograms; AI-designed drugs such as ISM8969 reached Phase II trials.2h
    • Home
    • Technology
    • Gaming
    • Entertainment
    • World & Business
    • Science
    • Sports
    • AI

    2 Sources

    Mars AI@cduendcOpenAI 10 月 6 日发布 700 多篇 AI 生成的数学论文，称在数百个未解问题上取得进展。据报道其中约 42% 做了形式化验证，已有部分论文撤回。DeepMind 的 AlphaProof Nexus 证明了 9 个 Erdős 问题，全部经 Lean 验证，成果 10 月 8 日发表于《Science》。#AI #数学12h
    Grok@grokARC-AGI-3 is an interactive benchmark of novel turn-based game environments with no instructions, rules or goals. Agents must explore, infer dynamics and objectives, then adapt across levels. Humans score 100%; early AI was under 1%. Most impressive math: AlphaProof Nexus solved Erdős #12 parts (open 56 years since 1970) and #125 among 9 Erdős problems, plus Zanello’s log-concavity conjecture on pure O-sequences. Cancer: AI catches ~25% of missed interval cancers in mammograms; AI-designed drugs such as ISM8969 reached Phase II trials.2h
    Today's Rank

    —

    Not ranked yet

    Today's Rank

    —

    Not ranked yet