{
  "id": 12638548,
  "title": "🔮 What is left to do",
  "url": "https://urgent.news/2026/10/07/what-is-left-to-do",
  "topic": "ai",
  "section": "AI",
  "published": "2026-10-07T13:50:46.000Z",
  "source": {
    "name": "Exponential View",
    "slug": "exponential-view",
    "url": "https://www.exponentialview.co/p/what-is-left-to-do"
  },
  "original_language": "en",
  "account": "OpenAI has recently unveiled an array of mathematical findings generated by an undisclosed advanced model. These discoveries span across number theory, complexity theory, and mathematical physics, numbering 722 manuscripts in 372 categories. The average outcome required the computational prowess equivalent to three hours of ChatGPT Pro. According to scientist Derya Unutmaz, these results account for 81% of the significant mathematical advancements over the past three years. While most of these findings have been confirmed through the Lean system, they are not all verified. Even if the actual figure is half of this, it remains a staggering quantity. Many problems that have perplexed the finest human minds for decades were resolved within the span of a single afternoon of computational power. This scenario prompts a thought experiment: envision millions of superintelligent research agents working tirelessly. Formal systems can validate the proofs, but humans will struggle to comprehend the intricate tapestry of machine-generated concepts. This could potentially usher in a new era in human understanding of the world. For the first time in three centuries since the Enlightenment, we can utilize reason and empiricism to grasp what was once inexplicable.",
  "summary": "The future of science may be provable, profitable and incomprehensible",
  "key_points": [
    "OpenAI's undisclosed advanced model generated 722 mathematical manuscripts across 372 categories.",
    "These findings represent 81% of significant mathematical advancements in the past three years."
  ],
  "editors_take": null,
  "illustration": null,
  "coverage": {
    "outlets": 1,
    "also_reported_by": []
  },
  "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."
}