English(EN)OpenAI is reportedly building Astra, a model family designed to work on problems for hours or days
OpenAI 的 Astra 模型解决了 10 个重大的数学问题，引发了辩论
作者PulseAugur 编辑部·[25 个来源]·
OpenAI 披露了其未发布的模型 Astra 的详细信息，该模型已成功解决了数学和理论计算机科学中的十个重大的开放性问题。这些突破，以大约 2000 美元的 Sol API 费率的 token 成本实现，包括在球体打包、群论和复杂性理论等领域的进展，并已在 Lean 中形式化证明。虽然一些专家称赞这是科学推理的重大飞跃，并可能开启科学革命的开端，但其他人则警告不要夸大其影响，并强调在形式数学上的成功并不自动转化为通用智能或跨所有领域的可靠性。
AI
<p>Math is hard.</p> <p>Math used to be strangely hard for LLMs. People used to gloat about that. Remember?</p> <p>Math is getting easier. AI is getting more capable. Life comes at you fast.</p> <p>Remember this meme?</p> <div> <figure> <div> <figure class="wp-block-image"><img a…
<p><img alt="" class="attachment-full size-full wp-post-image" height="768" src="https://the-decoder.com/wp-content/uploads/2026/07/openai_sol.png" style="height: auto; margin-bottom: 10px;" width="1376" /></p> <p> OpenAI is building a new model family called "Astra" that would l…
Email — The Rundown AI
TIER_1English(EN)·bounces+31366032-637c-8d9utci1mq15fs7p9a4h=kill-the-newsletter.com@em8370.daily.therundown.ai (bounces+31366032-637c-8d9utci1mq15fs7p9a4h=kill-the-newsletter.com@em8370.daily.therundown.ai)·
📰 OpenAI's Astra Solved Decades-Old Math Problems For $2,000 An anonymous reader quotes a report from Forbes: The cost of producing new results on ten longstanding mathematical problems just fell to $2,000, according to OpenAI, which says its Astra model gen... 📰 Source: Slashdot…
<p>Every once in a while an AI announcement lands that isn't about a chat UI or a new benchmark, but about the actual <em>substance</em> of what these systems can now do. OpenAI's announcement of ten new results in mathematics and theoretical computer science — produced by an int…
OpenAI’s internal model Astra just solved 10 previously unsolved math and computer science problems, racking up a $2,000 API bill to do so. This isn't about better benchmarks; it’s a shift toward AI conducting fundamental scientific discovery. By publishing the formal proofs on G…
Discover the OpenAI Astra math breakthrough. This next-gen AI model solved ten complex, decades-old mathematical problems, reshaping scientific research. # OpenAI # Astra # Mathematics # AI # TechNews https:// securityonline.info/openai-ast ra-math-breakthrough/?utm_source=mastod…
OpenAI's Astra Model Advances Science by Solving Long-Standing Math Problems 📰 Original title: OpenAI teases Astra, its next major AI model, after it solves 10 long-standing math problems 🤖 IA: It's clickbait ⚠️ 👥 Users: It's clickbait ⚠️ View full AI summary https:// en.killbait…
OpenAI has quietly announced its next major AI model, Astra, hidden in the third paragraph of a mathematics research blog post. The model follows GPT-5.6 Sol and its name means the stars in Latin. Astra is said to handle long-running tasks and Sam Altman reportedly demonstrated i…
New Astra model from OpenAI solved 10 new math conjectures + lean verified. Increasingly feels like we are watching a genuine scientific revolution unfold in real time, with the frontier changing almost every week. What an unbelievable time for the field! https:// openai.com/inde…
OpenAI unveils Astra, a model family for multi-agent collaboration on long-duration complex problems. Altman demoed it to policymakers. Release name still undecided. Source: The Decoder AI https:// the-decoder.com/openai-announc es-its-next-major-model-astra-by-dropping-ten-previ…
🧠 # OpenAI sta testando una nuova famiglia di modelli # AI denominata # Astra , progettata per contribuire direttamente alla ricerca matematica e scientifica. 👉 Dettagli e riflessioni: https://www. linkedin.com/posts/alessiopoma ro_openai-ai-astra-ugcPost-7489257946485325825-bq_p…
🤖 OpenAI teases Astra, its next major AI model: an internal version solved 10 long-standing problems in mathematics and theoretical computer science. Designed for long-horizon, complex tasks. 🔗 https://www. bleepingcomputer.com/news/arti ficial-intelligence/openai-teases-astra-it…
OpenAI's Astra Model Advances Science by Solving Long-Standing Math Problems 📰 Original title: OpenAI teases Astra, its next major AI model, after it solves 10 long-standing math problems 🤖 IA: It's clickbait ⚠️ 👥 Users: It's clickbait ⚠️ View full AI summary https:// en.killbait…
OpenAI claims its unreleased Astra model solved ten open mathematics problems. The lab released Lean proof files and reasoning walkthroughs for external review, but Astra itself remains unavailable for testing. Verification is possible; full transparency is not. https://www. impl…
🤯 OpenAI Astra risolve 10 problemi matematici aperti Modulo interno Astra ha prodotto dimostrazioni di problemi irrisolti, con certificati Lean 4 verificabili. Costo: ~.000 in token. Fonte: OpenAI / AI Weekly Segui 👇 # OpenAI # AI # Matematica 💻🧮✨
OpenAI is reportedly developing Astra, a model family enabling multi-agent collaboration on complex problems for hours or days. Sam Altman has already demoed it to policymakers. Source: The Decoder AI https:// the-decoder.com/openai-is-repo rtedly-building-astra-a-model-family-de…
<table> <tr><td> <a href="https://www.reddit.com/r/OpenAI/comments/1vec80j/openais_unreleased_astra_model_solved_10_open/"> <img alt="OpenAI's unreleased Astra model solved 10 open math problems for $2,000 and shipped machine-checkable proofs" src="https://external-preview.redd.i…
<table> <tr><td> <a href="https://www.reddit.com/r/singularity/comments/1vdc0ae/openai_astra_training_model_solved_10_major_open/"> <img alt="Openai astra training model solved 10 major open problems in mathematics,quantum complexity and theoretical computer science." src="https:…
