# Ten advances in mathematics and theoretical computer science

DevFeed: [Ten advances in mathematics and theoretical computer science](<https://devfeed.tech/articles/ten-advances-in-mathematics-and-theoretical-computer-science-6679.md>)

Original publisher: [Read original article](<https://openai.com/index/ten-advances-in-mathematics>)

Published: 2026-08-01T00:00:00Z

Content type: article

Language: en

Sources: [OpenAI News](<https://devfeed.tech/sources/openai-news.md>)

Topics: [AI Chat](<https://devfeed.tech/topics/ai-chat.md>), [Cryptography](<https://devfeed.tech/topics/cryptography.md>)

Tags: [ai](<https://devfeed.tech/tags/ai.md>), [chatgpt](<https://devfeed.tech/tags/chatgpt.md>), [complexity](<https://devfeed.tech/tags/complexity.md>), [cost](<https://devfeed.tech/tags/cost.md>), [cryptography](<https://devfeed.tech/tags/cryptography.md>), [model](<https://devfeed.tech/tags/model.md>), [openai](<https://devfeed.tech/tags/openai.md>), [publication](<https://devfeed.tech/tags/publication.md>), [quantum](<https://devfeed.tech/tags/quantum.md>), [research](<https://devfeed.tech/tags/research.md>), [science](<https://devfeed.tech/tags/science.md>)

## AI overview

OpenAI presents ten AI-assisted results on long-standing problems in mathematics and theoretical computer science. An internal Astra model produced solutions that humans prepared into manuscripts and that were formalized in Lean certificates.

## Source excerpt

OpenAI shares new results on long-standing open problems in mathematics and theoretical computer science, including advances in geometry, cryptography, and complexity.