CODEX / SIGNAL STUDIO

Your Codex, in focus.

Sharing AI progress in mathematics

oOpenAI 官方新闻Oct 6, 2026, 8:00:00 PM

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

#OpenAI

View original post ↗

Event updates

Publishedv1Oct 7, 2026, 6:57:07 AM
Sharing AI progress in mathematics

PreviousHow Jump Trading is scaling quant research with ChatGPT NextFleming Initiative and Google DeepMind launch programme to evaluate AI for antimicrobial resistance

Related AI news

Atlassian and OpenAI expand partnership to turn enterprise knowledge into action

Atlassian and OpenAI are expanding their partnership to connect frontier models with enterprise knowledge and help teams plan, build, and deliver work.

OpenAI 官方新闻•Oct 7, 2026, 12:00:00 AM•

#OpenAI

How Jump Trading is scaling quant research with ChatGPT

Jump Trading uses OpenAI to expand quantitative research. See how longer-running AI workflows combine multiple data sources with human review.

OpenAI 官方新闻•Oct 6, 2026, 8:00:00 PM•

#OpenAI

Advancing computer use with Ironclad

Learn how OpenAI and Ironclad are training and evaluating AI agents on complex contracting workflows to advance computer use for professional work.

OpenAI 官方新闻•Oct 6, 2026, 6:00:00 PM•

#OpenAI

Our approach to EU text provenance rules

How OpenAI is approaching text watermarking under EU rules. Learn where watermarks apply, how detection works, and why access starts with researchers.

OpenAI 官方新闻•Oct 5, 2026, 11:00:00 PM•

#OpenAI

Reset history AI News FAQ Usage limits Email alerts RSS feeds API MCP Skill

News is compiled from public information. The data is for reference only, and this site has no affiliation with OpenAI.

Reset data source：Tibo · Last synchronized：Oct 7, 2026, 8:53:29 PM · Manage