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.

Google and Microsoft among those signing up to OpenAI's plan for a new website crawling standard — including opting-out of internet scraping

Google, Microsoft, OpenAI, and Anthropic say they will honor one robots.txt group as a cross-company opt-out from AI tra

0TechRadar

TechCrunch Mobility: The Cybertruck experiment is over

Welcome back to TechCrunch Mobility, your hub for the future of transportation and now, more than ever, the role AI is p

0TechCrunch

GPT-6 Astra Passed 69.9% of Hidden Checks. It Fully Finished 26.4% of Real Edit Tasks

Book: Ship It — the pragmatic startup tech stack Also by me: Thinking in Go (2-book series) — Complete Guide to Go Progr

0dev.to

Say hi to Paperwall, a design tool that fits in one HTML file

I kept needing a quick poster, a slide, an invitation, and kept bouncing off tools that wanted an account, a subscriptio

0dev.to

Claude Meets Copilot Studio

This is the one I've been building toward. Over the last few posts we deployed Claude in Microsoft Foundry, said hello t

0dev.to

I Have Never Seen a Game Fail Because the Artists Were Too Slow

Article URL: https://www.productionalchemist.com/p/inever-seen-a-game-fail-because-artists-too-slow Comments URL: https:

0Hacker News

Sharing AI progress in mathematics

Related posts

Google and Microsoft among those signing up to OpenAI's plan for a new website crawling standard — including opting-out of internet scraping

TechCrunch Mobility: The Cybertruck experiment is over

GPT-6 Astra Passed 69.9% of Hidden Checks. It Fully Finished 26.4% of Real Edit Tasks

Say hi to Paperwall, a design tool that fits in one HTML file

Claude Meets Copilot Studio

I Have Never Seen a Game Fail Because the Artists Were Too Slow