OpenAI 🧠 Models 👁 2 ⏱ 1 min read

Sharing AI progress in mathematics

Annons
Annons
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: OpenAI — Published — Category: Models

🔗 Read full article on OpenAI →
🏷️ Topics: OpenAI

More from OpenAI today

Atlassian and OpenAI expand partnership to turn enterprise knowledge into action 16h ago How Jump Trading is scaling quant research with ChatGPT 20h ago

More in Models

Life Architect AI8h ago

The Memo - Special Edition - Royal Commission into Artificial Intelligence - 7/Oct/2026
The Decoder12h ago

Google claims EmbeddingGemma 2 outperforms rival embedding models twice its size
The Decoder13h ago

Google's new image model Nano Banana 2.1 generates better images for less money
The Decoder14h ago

Wikimedia confirms OpenAI's rogue AI agents edited wikis, tried to compromise tools, and hammered its infrastructure
The Decoder15h ago

Microsoft publishes Nobel economist's bearish AI forecast of just 1.5% GDP growth over a decade
The Decoder16h ago

Insurers brace for millions in claims as AI agents spin out of control
Annons
Annons