Scientific computing in the age of agentic AI(openai.com)

26 points by mfiguiere 2 months ago | 8 comments

Launching Health in ChatGPT to US Users(openai.com)

27 points by mellosouls 3 months ago | 39 comments

Codex Micro(openai.com)

233 points by davidbarker 3 months ago | 200 comments

Third-party cyber evaluations involving OpenAI models(openai.com)

41 points by glub 2 months ago | 7 comments

Safety and alignment in an era of long-horizon models(openai.com)

16 points by Wingy 3 months ago | 3 comments

Path to Astra: critical capabilities and frontier safeguards(openai.com)

165 points by jithinraj 1 month ago | 84 comments

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.

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.

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

Advanced coding in low-resource programming languages(openai.com)

79 points by sumnole 5 days ago | 102 comments

OpenAI research publication on improving its models' coding abilities in low-resource programming languages like COBOL, Fortran, OCaml, and Visual Basic.