Experimental News Clipping Site

Tag: mathematicians

  • Slashdot: Mathematicians Find GPT-5 Makes Critical Errors in Original Proof Generation

    —

    by

    Kurt Seifried
    in

    Source URL: https://science.slashdot.org/story/25/09/08/165206/mathematicians-find-gpt-5-makes-critical-errors-in-original-proof-generation?utm_source=rss1.0mainlinkanon&utm_medium=feed Source: Slashdot Title: Mathematicians Find GPT-5 Makes Critical Errors in Original Proof Generation Feedly Summary: AI Summary and Description: Yes Summary: The text discusses a study by University of Luxembourg mathematicians that evaluated the capabilities of GPT-5 in extending a qualitative mathematical theorem. The findings revealed significant shortcomings of the AI, particularly…

  • New York Times – Artificial Intelligence : Can A.I. Quicken the Pace of Math Discoveries?

    —

    by

    Kurt Seifried
    in

    Source URL: https://www.nytimes.com/2025/06/19/science/math-ai-darpa.html Source: New York Times – Artificial Intelligence Title: Can A.I. Quicken the Pace of Math Discoveries? Feedly Summary: Breakthroughs in pure mathematics can take decades. A new Defense Department initiative aims to speed things up using artificial intelligence. AI Summary and Description: Yes Summary: The text discusses a new initiative by the…

  • Slashdot: Could a ‘Math Genius’ AI Co-author Proofs Within Three Years?

    —

    by

    Kurt Seifried
    in

    Source URL: https://science.slashdot.org/story/25/04/28/0255248/could-a-math-genius-ai-co-author-proofs-within-three-years?utm_source=rss1.0mainlinkanon&utm_medium=feed Source: Slashdot Title: Could a ‘Math Genius’ AI Co-author Proofs Within Three Years? Feedly Summary: AI Summary and Description: Yes Summary: The text discusses DARPA’s new project, expMath, which aims to accelerate mathematical research through AI innovation. It highlights the challenges of current AI capabilities in complex mathematical tasks and emphasizes the…

  • New York Times – Artificial Intelligence : In Seattle, a Meeting of 5,444 Mathematical Minds

    —

    by

    Kurt Seifried
    in

    Source URL: https://www.nytimes.com/2025/01/28/science/mathematics-ai-conference-jmm.html Source: New York Times – Artificial Intelligence Title: In Seattle, a Meeting of 5,444 Mathematical Minds Feedly Summary: Participants at this year’s Joint Mathematics Meetings explored everything from the role of A.I. to the hyperbolic design of a patchwork denim skirt. AI Summary and Description: Yes Summary: The text discusses the Joint…

  • Hacker News: Some Lessons from the OpenAI FrontierMath Debacle

    —

    by

    Kurt Seifried
    in

    Source URL: https://www.lesswrong.com/posts/8ZgLYwBmB3vLavjKE/some-lessons-from-the-openai-frontiermath-debacle Source: Hacker News Title: Some Lessons from the OpenAI FrontierMath Debacle Feedly Summary: Comments AI Summary and Description: Yes Summary: OpenAI’s announcement of the o3 model showcased a remarkable achievement in reasoning and math, scoring 25% on the FrontierMath benchmark. However, subsequent implications regarding transparency and the potential misuse of exclusive access…

  • Slashdot: AI Systems Solve Just 2% of Advanced Maths Problems in New Benchmark Test

    —

    by

    system automation
    in

    Source URL: https://science.slashdot.org/story/24/11/13/1244216/ai-systems-solve-just-2-of-advanced-maths-problems-in-new-benchmark-test?utm_source=rss1.0mainlinkanon&utm_medium=feed Source: Slashdot Title: AI Systems Solve Just 2% of Advanced Maths Problems in New Benchmark Test Feedly Summary: AI Summary and Description: Yes Summary: The text discusses the limitations of leading AI systems in solving complex mathematics problems presented in a new benchmark called FrontierMath. Despite achieving high accuracy on traditional math…