Skip to content

Mathematics

Topic archive • 3 matches

Back to home • GEO summary endpoint

2026-09-12

Technology

  • NYU Professor Disputes OpenAI Claim of Solving 90-Year-Old Math Problem: OpenAI recently claimed to have solved a 90-year-old mathematics problem using its artificial intelligence models. However, a New York University professor has publicly disputed the achievement, sparking a debate over the validity of the breakthrough.

    Tech • Fireship

    Permalink

  • Researchers train Nemotron 3 Ultra checkpoints to generate olympiad math proofs: Researchers trained two specialist checkpoints from Nemotron 3 Ultra using supervised fine-tuning and reinforcement learning to generate natural-language proofs for olympiad mathematics. The resulting test-time-compute pipeline operates entirely in natural language without formal provers or external tools.

    Nemotron • arXiv

    Permalink

  • GPT-6 Astra solves advanced math problems on FrontierMath Tier 4 benchmark: GPT-6 Astra has successfully solved problems on FrontierMath Tier 4, a benchmark designed to test advanced mathematical reasoning in AI. This achievement represents a significant milestone in overcoming complex mathematical barriers for artificial intelligence models.

    Artificial Intelligence • 量子位

    Permalink