OpenAI Blog company blog

Sharing AI progress in mathematics

openai.com

OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.

Points

1,363

HN comments

1,539

Submissions

1

Cited by

0 commenters

AI & Machine LearningMath & Algorithms2026

Related posts from the same era

Statement on US government directive to suspend access to Fable 5 and Mythos 5

Anthropic20263,158 points2,314 commentscited by 11 details

Astra can read and write weights to improve Qwen

RRikiya Takehi20262,953 points896 comments details

HackerTube: YouTube built from videos recommended by HN

karpathy20262,883 points641 comments details

Claude Fable 5

Anthropic20262,626 points2,159 commentscited by 10 details

Claude Code is steganographically marking requests

Thereallo20262,445 points750 commentscited by 3 details

My AI skeptic friends are all nuts

Fly.io Blog20252,356 points2,826 commentscited by 13 details