---
format: "aidr-story-markdown/v1"
id: "9b955ce8af2763d0997a43e3b56894e7fe836da4b22dbde734bd62f639326d98"
canonical_url: "https://aidr.today/9b955ce8?lang=en"
title: "The Mathocalypse"
lang: "en"
requested_lang: "en"
available_langs: ["en","vi"]
translation_fallback: null
fallback_fields: []
published_at: "2026-10-07T22:48:25.000Z"
category: "Research"
topics: ["openai","llm"]
source_urls: ["https://scottaaronson.blog/?p=10169","https://lobste.rs/s/zlhyss/mathocalypse"]
summary: "OpenAI released 372 mathematical results including a proof of Subhash Khot's Unique Games Conjecture, a problem that Dana Moshkovitz had worked on for years, though no human has yet fully understood the proofs."
---

# The Mathocalypse

> [Open the canonical story](<https://aidr.today/9b955ce8?lang=en>)

**Published:** 2026-10-07T22:48:25.000Z
**Category:** Research
**Topics:** openai, llm

## Summary

OpenAI released 372 mathematical results including a proof of Subhash Khot's Unique Games Conjecture, a problem that Dana Moshkovitz had worked on for years, though no human has yet fully understood the proofs\.

## Sources

- [Story source](<https://scottaaronson.blog/?p=10169>)
- [Discussion](<https://lobste.rs/s/zlhyss/mathocalypse>)