English(EN) OpenAI reports 10 advances in mathematics and theoretical computer science, covering geometry, cryptography, and complexity. 🔢 Source: OpenAI News https:// open

OpenAI 的 Astra 模型以低于 2,000 美元的价格实现了 10 项数学突破

作者 PulseAugur 编辑部 · [12 个来源] · 2026-08-01 00:00

OpenAI 宣布，使用名为 Astra 的内部模型在数学和理论计算机科学领域取得了十项重大进展。这些突破解决了诸如几何、密码学和复杂性等领域的长期悬而未决的问题。该公司强调了这一过程的效率，并指出该研究的 API 费用不到 2,000 美元，与以往 AI 在数学方面的能力形成鲜明对比。OpenAI 已在 GitHub 上提供了 Lean 4 的形式化证明，以确保透明度和可验证性。 AI

影响展示了 AI 解决复杂数学问题的能力的重大进展，有望加速研究和发现。

排序理由 OpenAI 宣布了内部模型 (Astra) 在数学和理论计算机科学领域长期悬而未决的问题上取得的新成果。

在 Mastodon — fosstodon.org 阅读 →

AI 生成摘要 · Google Gemini · 来自 12 个来源。我们如何撰写摘要 →

OpenAI 的 Astra 模型以低于 2,000 美元的价格实现了 10 项数学突破

本文如何被排名

Signal score: 0 / 100; Composite score across the factors below. Higher = stronger signal that this story matters right now.
Newsworthiness bucket: Frontier Release; OpenAI 宣布了内部模型 (Astra) 在数学和理论计算机科学领域长期悬而未决的问题上取得的新成果。
Source corroboration: 12 independent sources; Strong cross-source corroboration — multiple independent publishers covered this within the clustering window.
Topics: model release, product; Editorial topic classification. Feeds into how the story surfaces on /topic/<slug> hub pages and into the per-entity coverage mix.
AI-industry relevance: High; Clearly on-topic for AI-industry coverage.
Story freshness: 68 days old; Aged out of breaking-news scoring windows; ranking reflects the durable signal from the full source set.
Coverage growth since scoring: +4 source(s) since last score; New sources have picked up this story since our last re-score. Score will update on the next scoring pass.

完整方法见我们的编辑标准。

报道来源 [12]

OpenAI News TIER_1 English(EN) · 2026-08-01 00:00

数学和理论计算机科学的十项进展

OpenAI shares new results on long-standing open problems in mathematics and theoretical computer science, including advances in geometry, cryptography, and complexity.
Simon Willison TIER_1 English(EN) · 2026-08-01 20:34

数学与理论计算机科学十大进展

<a href="https://openai.com/index/ten-advances-in-mathematics/">Ten advances in mathematics and theoretical computer science</a> A few days ago it was Anthropic <a href="https://simonwillison.net/2026/Jul/28/discovering-cryptographic-weaknesses-with-claude…
Mastodon — sigmoid.social TIER_1 日本語(JA) · [email protected] · 2026-08-03 22:42

OpenAI 宣布“数学和理论计算机科学的 10 项历史性进展”！他们解决人工智能演进背后难题的热情方法，包括几何学、密码学和复杂性理论，令人鼓舞。所有工程师都应该对他们致力于打造超越 LLM 的“智能基础”的努力感到兴奋。立即探索理论前沿！🚀 #OpenAI #Math #AI

OpenAIが数学と理論計算機科学で「10の歴史的進展」を発表！幾何学、暗号、計算量理論など、AIの進化を根底から支える難問に挑む姿勢が熱すぎる。LLMの先にある“知能の基盤”を自ら切り拓く姿に、全エンジニアがワクワクするはず。理論の最前線を今すぐチェック！🚀 # OpenAI # 数学 # AI
Bluesky Jetstream — AI desk TIER_1 English(EN) · emollick.bsky.social · 2026-08-01 14:29

OpenAI 宣布其下一模型 10 项发现。观察::

OpenAI announces 10 discoveries from their next model. Observations:: 1) AI is getting very good at math 2) Two years ago LLMs failed at basic math 3) This cost less than $2000 in current API fees 4) OpenAI is focusing on announcing benefits, not just risks, of new models openai…
Mastodon — fosstodon.org TIER_1 English(EN) · [email protected] · 2026-08-06 03:42

OpenAI 声称其即将推出的名为 Astra 的模型在数学和理论计算机科学方面取得了 10 项进展：1. “高维球体打包”。2. “Bi

OpenAI claims their upcoming model, called Astra, made 10 advances in mathematics and theoretical computer science: 1. "High-dimensional sphere packing." 2. "Binary and spherical codes." 3. "Non-sofic groups." 4. "Connes’s rigidity conjecture." 5. "Arithmetic circuit complexity."…
Mastodon — fosstodon.org TIER_1 한국어(KO) · [email protected] · 2026-08-05 00:21

OpenAI 宣布其内部模型 Astra 在数学和理论计算机科学领域取得了 10 项重大成就。成果包括高维球体填充、二元码和球体码的改进、非同构群的构造、对 Connes 嵌入猜想的反驳、算术电路复杂度的下界、量子并行重复定理、最近向量问题的近似硬度以及 Ehrh

OpenAI는 내부 모델 Astra가 생성한 수학·이론컴퓨터과학 분야의 10개 주요 성과를 발표했다. 결과는 고차원 구형 포장, 이진·구형 코드 개선, 비소픽 군 구성, Connes 강성 추측 반박, 산술 회로 복잡도 하한, 양자 병렬 반복 정리, 최근접벡터 문제 근사 난이도, Ehrhart 부피 추측, 다색 Ramsey 수, 극값 그래프 이론 등이다. 원고는 사람이 정리·Lean으로 형식화했으며, ChatGPT for Academic Researchers로 연구자 접근을 확장했다. https:/…
Mastodon — fosstodon.org TIER_1 English(EN) · [email protected] · 2026-08-01 09:10

OpenAI 报告在数学和理论计算机科学领域取得 10 项进展，涵盖几何、密码学和复杂性。🔢 来源：OpenAI News https://open

OpenAI reports 10 advances in mathematics and theoretical computer science, covering geometry, cryptography, and complexity. 🔢 Source: OpenAI News https:// openai.com/index/ten-advances- in-mathematics # AI # Automation
Mastodon — mastodon.social TIER_1 English(EN) · notatechguy · 2026-08-01 18:09

OpenAI模型使用Lean证明了十个数学定理 OpenAI发布了内部模型在开放数学和计算机科学问题上的十个新成果，并附有Lean证明

OpenAI model proves ten math results with Lean certificates OpenAI published ten new results from an internal model on open math and CS problems, with Lean proof certificates on GitHub for anyone to check. https://www. notatechguy.com/openai-model-p roves-ten-math-results-with-le…

链接 notatechguy.com/openai-model-proves-ten-m…
Mastodon — mastodon.social TIER_1 English(EN) · [email protected] · 2026-08-01 07:35

🤖 OpenAI 在数学和理论计算机科学领域取得十项进展，公布了长期存在的数学和理论计算机科学开放性问题的最新研究成果

🤖 Ten advances in mathematics and theoretical computer science OpenAI shares new results on long-standing open problems in mathematics and theoretical computer science, including advances in geometry, cryptography, and complexity. 📰 Source: OpenAI News 🔗 Link: https://openai.com/…
r/OpenAI TIER_2 English(EN) · /u/KeanuRave100 · 2026-08-02 20:00

一款未发布的OpenAI模型解决了数学、量子复杂性和理论计算机科学中的10个重大公开难题。

<table> <tr><td> <a href="https://www.reddit.com/r/OpenAI/comments/1vdrwt1/an_unreleased_openai_model_has_solved_10_major/"> <img alt="An unreleased OpenAI model has solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science." src="https://…
r/OpenAI TIER_2 English(EN) · /u/Outside-Iron-8242 · 2026-08-01 07:54

OpenAI内部模型“Astra”声称在数学和理论计算机科学领域取得10项重大突破

 submitted by <a href="https://www.reddit.com/user/Outside-Iron-8242"> /u/Outside-Iron-8242 </a> <a href="https://openai.com/index/ten-advances-in-mathematics/">[link]</a> <a href="https://www.reddit.com/r/OpenAI/comments/1vch4jr/openais…
r/singularity TIER_2 English(EN) · /u/borowcy · 2026-08-01 07:39

数学与理论计算机科学十大进展（OpenAI模型Astra）

 submitted by <a href="https://www.reddit.com/user/borowcy"> /u/borowcy </a> <a href="https://openai.com/index/ten-advances-in-mathematics/">[link]</a> <a href="https://www.reddit.com/r/singularity/comments/1vcgutk/ten_advances_in_mathem…

本文如何被排名

报道来源 [12]

相关实体

相关话题