OpenAI just dropped 700 preprints of mathematical proofs and counterexamples

tootie·Hacker News·AI·

Contribute to openai/math development by creating an account on GitHub.

Read full article →

Related Articles

OpenAI’s o1 correctly diagnosed 67% of ER patients vs. 50-55% by triage doctors
donsupreme · Hacker News · 5mo ago
Accelerating Gemma 4: faster inference with multi-token prediction drafters
amrrs · Hacker News · 5mo ago
A couple million lines of Haskell: Production engineering at Mercury
unignorant · Hacker News · 5mo ago
Using “underdrawings” for accurate text and numbers
samcollins · Hacker News · 5mo ago
ProgramBench: Can language models rebuild programs from scratch?
jonbaer · Hacker News · 5mo ago