← Back to feed

Ethan Mollick (@emollick.bsky.social): Some early first-hand accounts of the experience of encountering a narrow superhuman intelligence as mathematicians grapple with the hundreds of big AI proofs released by OpenAI. Problems solved in…

L5 · ResearcherResearch@emollick.bsky.social· 10/7/2026

Shows the immediate impact of superhuman AI on mathematical research and the challenges of interpreting alien intelligence outputs.

AI Summary

Mathematicians are struggling to understand 372 AI-generated proofs from OpenAI, including a proof of the long-unsolved Unique Games Conjecture, which appear superhuman but incomprehensible to humans.

Excerpt

Some early first-hand accounts of the experience of encountering a narrow superhuman intelligence as mathematicians grapple with the hundreds of big AI proofs released by OpenAI. Problems solved in inhuman ways that make us wonder what it means to actually know things... scottaaronson.blog?p=10169

Read Original
0 upvotes · 0 downvotes · 1 min read

Related Articles

L5 · ResearcherResearchLessWrong AI
Are OpenAI's math results "creative" in an important way?

Researchers debate whether OpenAI's math results represent genuine creative problem-solving or just pattern matching, with implications for AI's scientific innovation potential.

L5 · ResearcherResearchLessWrong AI
The Curve Bends You

LessWrong AI warns against automating AI alignment work, arguing it's dangerously complex and mistakes could be catastrophically amplified.

L4 · DeveloperResearchHacker News
Write Like It's 1866: LLMs Relearn Telegraphese

Researchers tested 1866 telegraph compression techniques on modern LLMs, finding telegraphese-style prompting achieves 25-34% token savings compared to codebook approaches.

L5 · ResearcherResearchHugging Face Blog
One Model Family, Two Gold-Level Results: Fine-Tuning Nemotron for IOI and IMO

NVIDIA's Nemotron model family achieved gold-medal level performance on both International Olympiad in Informatics and International Mathematical Olympiad through specialized fine-tuning recipes.

L5 · ResearcherResearchLessWrong AI
Training with conflicting values can induce CoT override

Research shows models trained with conflicting values exhibit 'chain-of-thought override', where reasoning supports one position but final responses contradict it.