NEWSALY™
    A World Of News, One Window.Tuesday, September 8, 2026
    world

    Fermat’s last theorem formalised by AI agents in just 11 days

    New Scientist
    September 8, 2026
    via New Scientist

    You're reading one story from Newsaly

    Newsaly brings together 60,000+ newspaper articles, 30,000+ podcasts and 10,000+ magazine articles from around the world.

    A World Of News, One Window.

    Explore Today's News
    Fermat’s last theorem formalised by AI agents in just 11 days

    Converting the proof of Fermat's last theorem into code that computers can check was expected to take years. Anthropic's Claude AI managed it in less than two weeks

    Read the full story

    Explore More On Newsaly

    60,000+ Newspaper Articles

    Explore newspapers from around the world.

    Explore Newspapers

    30,000+ Podcasts

    Discover podcasts and listen to the latest conversations and news.

    Explore Podcasts

    10,000+ Magazine Articles

    Explore magazine articles from around the world.

    Explore Magazines

    Voices (0)

    Share a 15-second voice reaction. Voices automatically disappear after 10 days.

    Sign in to record a voice on this article.

    Be the first to share a voice on this article.