Learning to Reason with LLMs(openai.com)

1573 points by fofoz 2 years ago | 1186 comments

OpenAI research post introducing o1, a large language model trained with reinforcement learning to reason using a long internal chain of thought before answering.

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

57 points by js73js8 1 month ago | 39 comments

Mathematics Without Mathematicians(borretti.me)

34 points by varjag 2 months ago | 38 comments

OpenAI acquires Global Illumination(openai.com)

74 points by davidbarker 3 years ago | 33 comments

Vijaye Raji to become CTO of Applications with acquisition of Statsig(openai.com)

162 points by tosh 1 year ago | 63 comments

Caltech Mathathon – first hackathon ever devoted to research level mathematics(mathathonchallenge.com)

253 points by astroanax 1 month ago | 89 comments

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.

OpenAI withdraws three mathematical results(twitter.com)

355 points by sashank_1509 18 days ago | 593 comments

Tweet by Dan Roberts announcing updates to OpenAI's GitHub math repo: 6 new Lean formalizations, 19 modifications, and 3 withdrawn results.

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.

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.

The Mathocalypse(scottaaronson.blog)

361 points by 6bitquant 18 days ago | 380 comments

Scott Aaronson blog post reacting to OpenAI releasing hundreds of AI-generated math results, including a claimed proof of Khot's Unique Games Conjecture.

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.