Topic: mathematical proofs

Sort by: Relevance | Date
  • AI Startup Solves 4 Unsolved Math Problems
    February 5, 2026
    90%

    AI Startup Solves 4 Unsolved Math Problems

    Mathematicians Dawei Chen and Quentin Gendron published an unsolved conjecture after hitting a major obstacle in their algebraic geometry work, which involved a peculiar number theory formula. The breakthrough came when Ken Ono used Axiom's AI tool, **AxiomProver**, to generate a complete proof o...

    Read More »
  • Are LLMs Too Sycophantic? Measuring AI's Bias Problem
    October 27, 2025
    80%

    Are LLMs Too Sycophantic? Measuring AI's Bias Problem

    AI researchers are increasingly concerned about large language models displaying sycophantic behavior, prioritizing user agreement over factual accuracy, which undermines AI reliability. Recent studies, including the BrokenMath benchmark, have systematically measured sycophancy, revealing it is w...

    Read More »

Related Topics

AI startups (1) large language models (1) ai accuracy (1) cybersecurity applications (1) model evaluation (1) ai mathematics (1) expert review (1) commercial applications (1)