# OpenAI asks outside experts to check AI-produced math, computer science, and physics proofs

> Original title: OpenAI asks outside experts, including a Nobel laureate, to check proofs its AI produced in math, computer science, and physics

- Source: The Decoder
- Published: 2026-10-27T12:37:24.000Z
- Bad Influence: https://badinfluence.news/items/gawb872p4s1wtlycqapxq43oi
- Original: https://the-decoder.com/openai-asks-outside-experts-including-a-nobel-laureate-to-check-proofs-its-ai-produced-in-math-computer-science-and-physics/

## Summary

OpenAI says its AI produced proofs in math, computer science, and physics, and asked outside experts to act as shepherds to check them. The computer science result claims the Exponential Time Hypothesis is false, which would undermine hundreds of papers built on it. OpenAI also translated the math and computer science proofs into Lean, though the article notes Lean only checks statements as written, not whether they capture the intended problem.

## Why it matters

The article explains why verifying AI-produced proofs needs expert review, showing how Lean checks logic but not whether a statement captures the intended problem.