AINewsnow

FrontierMath Erd\H{o}s

arXiv:2609.25050v1 Announce Type: new Abstract: We introduce FrontierMath Erd\H{o}s (FME), a benchmark of 68 Erd\H{o}s problems that are open as of August 2026. To solve a task in FME, AI systems must resolve (prove or disprove) one of the 68 conjectures in the proof assistant Lean. Our 68 problems…

Read the full story at arXiv cs.CL ↗

Timeline · 1 report

  1. 2026-09-23 04:00 · arXiv cs.CL
    FrontierMath Erd\H{o}s

More stories

  1. GPT-6 Sol and Luna now available on AI Gateway — Vercel Blog
  2. Alibaba Unveils New AI Chip, Outlines Plan for Larger Model — Wall Street Journal Technology
  3. Anthropic launches Claude Opus 5.5 with stricter safeguards for cybersecurity — The Verge AI
  4. No Shirt, No Shoes, No Service: Amazon Blocks Meta’s Muse AI From Shopping — CNET AI
  5. Moonshot’s Kimi K3 lands on Amazon in key test for Chinese open-source AI revenue — South China Morning Post Tech
  6. How Benchling secured multi-tenant AI agents with Amazon Bedrock AgentCore — AWS Machine Learning Blog
  7. OpenAI forms math advisory group as its AI resolves more than 100 open problems — TechCrunch AI
  8. Trump says AI will be renamed 'super intelligence' in all US documents — The Hill Technology

Get the daily brief of stories like this at 6:30 every morning →