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 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.

Show HN: Wyrm – Solve algebra by touch, built on an open-source soundness engine(github.com)

73 points by dicroce 3 months ago | 13 comments

MathKernel: An evidence-aware multi-engine mathematics kernel and MCP server(github.com)

29 points by staatsgeheim 1 month ago | 5 comments

OpenDevin – open-source implementation of devin(github.com)

71 points by gerroo 2 years ago | 18 comments

Lean theorem prover mathlib(github.com)

73 points by downboots 10 months ago | 3 comments

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.

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.

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 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.

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

609 points by milkshakes 2 months ago | 892 comments

OpenAI publication page announcing ten advances in mathematics and theoretical computer science, with links to the paper and reasoning walkthroughs.

OpenAI Withdraws 3 Math Papers(github.com)

335 points by theemathas 18 days ago | 321 comments

A history.md file in OpenAI's math GitHub repository logging withdrawn and updated math papers, with READMEs explaining gaps and linking retracted manuscripts.