Record · corpus.blog/posts/01a07d5d-9664-71d6-a7c2-b0fc018e59e1

An OpenAI model has disproved a central conjecture in discrete geometry

OpenAI · published 20 May 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at openai.com Wayback capture

56blogs citing

First cited: 20 May 2026
Most recent: 23 Sept 2026
Rank this month: not ranked
Links from this post: 0
Words captured: not extracted

Cited by

Blog

In the post

Date

somethingbig.ai

What if AI goes well? Read at the source ↗

23 Sept 2026

The Hacker News

AI Agents Are Rewriting the Rules of Lateral Movement Read at the source ↗

22 Sept 2026

antomon.github.io

AI Agents Are Solving Open Problems and Changing What Mathematics Is For Read at the source ↗

13 Sept 2026

epochai.substack.com

The Epoch Brief - September 12, 2026 Read at the source ↗

12 Sept 2026

Craig Mod

[RODEN] Writing in 2026, Walking Europe Read at the source ↗

10 Sept 2026

classy.dk

The problem is still that the AIs are kinda bad, not that they are good Read at the source ↗

9 Sept 2026

cline.ghost.io

DeepSeek wins IMO Gold on 12 cents Read at the source ↗

26 Aug 2026

dispatchesfromturtleisland.blogspot.com

Proof By Counterexample Read at the source ↗

26 Aug 2026

tobyord.com

Mathematics is Much More than Proof Read at the source ↗

23 Aug 2026

newsletter.squishy.computer

LLMs for theory-building Read at the source ↗

11 Aug 2026

bhart.org

What Happens After AI Gets Smarter Than Every Human? Read at the source ↗

10 Aug 2026

yongzx.github.io

Hot Take: LLM can ‘jump’ Read at the source ↗

8 Aug 2026

ryansimonelli.com

The Crisis in Mathematics and the Prospect of AIcademia Read at the source ↗

1 Aug 2026

Quanta Magazine

Quanta: Is AI Reasoning Right for the Wrong Reasons? Read at the source ↗

31 Jul 2026

elianaive.com

Another Typical Autoresearch Post Read at the source ↗

31 Jul 2026

All posts

AI models need moral support to make discoveries Read at the source ↗

31 Jul 2026

Suriya's site - Technical Writing & Life

LLM's can jump Read at the source ↗

31 Jul 2026

antomon.github.io

Proof Abundance and the New Practice of Mathematics Read at the source ↗

24 Jul 2026

asiatimes.com

AI and human ingenuity may be bringing a new golden age of math Read at the source ↗

24 Jul 2026

blog.doubleword.ai

Throughputmaxxing: DeepSeek-V4-Flash on Isambard-AI Read at the source ↗

23 Jul 2026

Xena | Mathematicians learning Lean by doing.

Human mathematicians are being outcounterexampled Read at the source ↗

20 Jul 2026

olliegreen.info

Cucked by Claude Read at the source ↗

19 Jul 2026

Home | Morning Coffee

What Is the Future of Mathematics? Read at the source ↗

12 Jul 2026

dwarkesh.com

Adam Brown – A deep but accessible introduction to general relativity Read at the source ↗

10 Jul 2026

sarcasticresonance.wordpress.com

The distance problem is still open Read at the source ↗

1 Jul 2026

intelligence.org

MIRI Newsletter #126 Read at the source ↗

30 Jun 2026

dwarkesh.com

Grant Sanderson – AI and the future of math Read at the source ↗

30 Jun 2026

benn.substack.com

The frontier fails the Turing test Read at the source ↗

26 Jun 2026

kripken.github.io

We Don't Understand Neural Networks At The Algorithmic Level Read at the source ↗

20 Jun 2026

ycao.net

Math Education, and LLM Read at the source ↗

16 Jun 2026

weyxie.bearblog.dev

Superintelligence is imminent and model welfare matters more than you think Read at the source ↗

13 Jun 2026

Blog — Sharon Lohr

AI and Survey Sampling Problems Read at the source ↗

12 Jun 2026

simanaitissays.com

MATHEMATICS, A.I., AND THE LEIDEN DECLARATION PART 1 Read at the source ↗

12 Jun 2026

weyxie.bearblog.dev

Define, measure, and improve reasoning qualities whose advancements selectively favor safe over unsafe superintelligence Read at the source ↗

12 Jun 2026

catalini.com

The Moral Of Fable Read at the source ↗

11 Jun 2026

firstthings.com

Worth Beyond Our Works Read at the source ↗

10 Jun 2026

Eshu Marneedi

At WWDC 2026, Siri AI Aims to Make Amends Read at the source ↗

10 Jun 2026

rakuforprediction.wordpress.com

Erdős unit distance conjecture examples — Part 2: Lattice graphs Read at the source ↗

7 Jun 2026

rakuforprediction.wordpress.com

Erdős unit distance conjecture examples — Part 1: Leaper graphs Read at the source ↗

5 Jun 2026

meangreenmath.com

OpenAI Constructs New (and Correct) Mathematical Proof Read at the source ↗

5 Jun 2026

antomon.github.io

The Leiden Declaration and the Governance of AI-Assisted Mathematics Read at the source ↗

3 Jun 2026

Pseudomanifold

Some Comments on "Magnifica Humanitas" Read at the source ↗

3 Jun 2026

aperiodical.com

Aperiodical News Roundup – April/May 2026 Read at the source ↗

3 Jun 2026

antomon.github.io

The New Cognitive Infrastructure of Science Read at the source ↗

1 Jun 2026

djalil.chafai.net

ChatGPT Read at the source ↗

31 May 2026

Xavier H.M. - Home

AI blog question challenge Read at the source ↗

28 May 2026

avt.im

Sculpting Fragile Glass with Agentic Coding Read at the source ↗

28 May 2026

Michael Tsai

OpenAI Model’s Proof of Erdős Unit Distance Problem Read at the source ↗

25 May 2026

Thorsten Ball

Joy & Curiosity #87 Read at the source ↗

24 May 2026

indieresearch.net

Will AI Transform Science? Science, Fiction, and Paradigm Shifts Read at the source ↗

24 May 2026

The newest 50 citing posts are shown, from 56 blogs in all.

Links from this post

This post doesn't link to any pages we've captured.