Mathematics and Computation (2019) [pdf](math.ias.edu)

62 points by nill0 11 months ago | 13 comments

Discrete Mathematics: An Open Introduction [pdf](discrete.openmathbooks.org)

196 points by simonpure 1 year ago | 31 comments

A month using XMPP (using Snikket) for every call and chat (2023)(neilzone.co.uk)

130 points by ColinWright 1 year ago | 83 comments

Measuring Lunar North and South Polar Regions(iopscience.iop.org)

7 points by bryanrasmussen 1 year ago | 2 comments

Electromagnetism as a Purely Geometric Theory(iopscience.iop.org)

128 points by andyjohnson0 1 year ago | 43 comments

A Spiral Structure in the Inner Oort Cloud(iopscience.iop.org)

127 points by gnabgib 1 year ago | 32 comments

GPT-5.2 derives a new result in theoretical physics(openai.com)

545 points by davidbarker 8 months ago | 369 comments

OpenAI post announcing that GPT-5.2 derived a new result in theoretical physics; the captured page shows only a loading logo.

GPT-5.2(openai.com)

1125 points by atgctg 10 months ago | 988 comments

OpenAI platform documentation page on using GPT-5.2, covering its improvements, features, and migration guidance for the GPT-5 model family.

GPT-5.3-Codex(openai.com)

1442 points by meetpateltech 8 months ago | 567 comments

OpenAI announcement introducing GPT-5.3-Codex, a model expanding Codex across a wider range of professional computer work.

DeepSeek-v3.2: Pushing the frontier of open large language models [pdf](huggingface.co)

921 points by pretext 10 months ago | 438 comments

PDF technical paper hosted on Hugging Face describing DeepSeek-V3.2, an open large language model from DeepSeek.

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.