{
  "id": 12932065,
  "title": "Mathematicians marvel, and grumble, at OpenAI’s trove of new results",
  "url": "https://urgent.news/2026/10/08/mathematicians-marvel-and-grumble-at-openais-trove-of-new-results",
  "topic": "ai",
  "section": "AI",
  "published": "2026-10-08T19:00:00.000Z",
  "source": {
    "name": "Scientific American",
    "slug": "scientific-american",
    "url": "https://www.scientificamerican.com/article/mathematicians-marvel-and-grumble-at-openais-trove-of-new-results/"
  },
  "original_language": "en",
  "account": "On the 35th of November, OpenAI released a trove of AI-generated results tackling 372 open math and computer science problems. Mathematicians are both marveling at the groundbreaking findings and grumbling over the opaque generation process. Two days after the release, the community is just beginning to understand the significance of these results. Several papers are written with far superior clarity compared to the Navier-Stokes proof, hinting at OpenAI's math team's commitment to improve model transparency. However, the quality remains inconsistent—some papers are coherent, while others are incomprehensible, often referred to as \"AI slop.\"\n\nA large portion of the results, 42%, are coded in Lean, a programming language that ensures their logic is almost certainly sound, even if the English-language write-ups are challenging to understand. Still, some papers have been retracted due to significant errors, casting doubt on the remaining proofs that haven't been verified by Lean. Mathematicians argue that OpenAI should also release the problems the model failed to solve, as transparency is crucial to open science. Critics, including the Association for Human Mathematics, have called for a return to a vision of science that prioritizes human understanding, deeming the sudden release of nearly 700 files as a demonstration of power rather than scholarship.",
  "summary": "The “slop drop” contains a number of groundbreaking results, but how it was generated remains unclear and contentious",
  "key_points": [
    "OpenAI released AI-generated solutions for 372 math and computer science problems on November 35th.",
    "42% of results coded in Lean for logic assurance, but some papers retracted due to errors."
  ],
  "editors_take": null,
  "illustration": null,
  "coverage": {
    "outlets": 2,
    "also_reported_by": [
      {
        "outlet": "Hacker News Best",
        "title": "OpenAI withdraws three mathematical results",
        "url": "https://urgent.news/2026/10/08/openai-withdraws-three-mathematical-results",
        "published": "2026-10-08T07:05:40.000Z"
      }
    ]
  },
  "ai_generated": true,
  "disclaimer": "Summaries, key points and the editor’s take are written by software from other outlets’ reporting and may contain errors — always check the linked original."
}