Sharing AI progress in mathematics

OpenAI Blog2026-10-06 20:000 views

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

Source：https://openai.com/index/sharing-ai-progress-in-mathematics

My favorites

PreviousIntroducing TAP: software building blocks for the agentic world NextYour quote never got a reply. That's a queue problem, not a sales problem.

I photographed a broken clip. Claude printed a new one

A colleague brought me an ancient shower head holder that had broken, and nobody sells it any more. I'm bad at CAD, so I

0dev.to

Why a Green Build Is Not Enough for a Confident Merge

Quick answer: A green build proves the code compiles, the types line up, and the existing checks still pass, and it does

0dev.to

The EDI 812, Decoded: A Credit/Debit Adjustment Is How a Deduction Stops Being an Argument

The EDI 812, Decoded: A Credit/Debit Adjustment Is How a Deduction Stops Being an Argument The EDI 812 · Credit/Debit Ad

0dev.to

DoorDash Shareholders Aren't Convinced the Company Can Take on Amazon

Article URL: https://www.wsj.com/business/retail/doordash-shareholders-arent-convinced-the-company-can-take-on-amazon-bd

0Hacker News New

Show HN: Lipwise

Hey HN, my name is Nenad, my longer text submission with more information got flagged even though I wrote it, I guess I

0Hacker News New

AI stance is not binary

Article URL: https://carette.xyz/posts/ai-stance-is-not-binary/ Comments URL: https://news.ycombinator.com/item?id=50413

0Hacker News New

Sharing AI progress in mathematics

Related posts

I photographed a broken clip. Claude printed a new one

Why a Green Build Is Not Enough for a Confident Merge

The EDI 812, Decoded: A Credit/Debit Adjustment Is How a Deduction Stops Being an Argument

DoorDash Shareholders Aren't Convinced the Company Can Take on Amazon

Show HN: Lipwise

AI stance is not binary