An OpenAI model has disproved a central conjecture in discrete geometry(openai.com)

1339 points by tedsanders 5 months ago | 968 comments

OpenAI announcement that one of its models disproved a central conjecture in discrete geometry, with links to the proof and companion remarks.

Advisory Group on Mathematics and Artificial Intelligence(openai.com)

57 points by js73js8 1 month ago | 39 comments

Mathematics for Computer Science (2024)(ocw.mit.edu)

254 points by vismit2000 1 year ago | 64 comments

Towards Autonomous Mathematics Research(arxiv.org)

90 points by gmays 8 months ago | 48 comments

How Terry Tao became an evangelist for AI in math(quantamagazine.org)

144 points by Tomte 4 months ago | 127 comments

Sharing AI progress in mathematics(openai.com)

1314 points by OfficialTurkey 19 days ago | 1488 comments

OpenAI research publication page announcing its AI progress in mathematics, linking to a GitHub repository of math results and preprints.

Ten advances in mathematics and theoretical computer science(openai.com)

373 points by milkshakes 2 months ago | 252 comments

OpenAI page about ten advances in mathematics and theoretical computer science; it loaded only a Cloudflare verification challenge.

Sharing AI progress in mathematics(openai.com)

1314 points by OfficialTurkey 19 days ago | 1488 comments

OpenAI research publication page announcing its AI progress in mathematics, linking to a GitHub repository of math results and preprints.

OpenAI just dropped 700 preprints of mathematical proofs and counterexamples(github.com)

20 points by tootie 19 days ago | 6 comments

GitHub directory in OpenAI's math repository containing hundreds of preprints of mathematical proofs and counterexamples.

Mathematical manuscripts and supporting proof artifacts produced by OpenAI(github.com)

9 points by vikas-sharma 19 days ago | 0 comments

GitHub repository from OpenAI containing mathematical preprints, Lean proof artifacts, and reasoning traces produced by its models.

OpenAI releases 722 math manuscripts(github.com)

9 points by jumploops 19 days ago | 1 comments

A CONTENTS.md file in OpenAI's GitHub math repository indexing a collection of 722 mathematics manuscripts covering 372 result families, with an overview PDF.

Why Math Dumped OpenAI(raymyers.org)

11 points by xeonmc 9 days ago | 0 comments

A blog post by Ray Myers arguing why the mathematics community moved away from OpenAI.