{"@context":"https://schema.org","@type":"NewsArticle","generatedAt":"2026-09-28T06:03:00.468Z","headline":"OpenAI 发布 GPT-6 Astra，主打桌面自动化与网络安全 Critical 档位","description":"OpenAI 发布 GPT-6 Astra，主打计算机操作能力。作者总结其亮点包括：以 Lean 形式化证明攻克 10 道数学/计算难题，单次解题 Token 成本约 $2000。","url":"https://www.aioga.com/news/cmtmcipsq00sirovbhprdqc1x/","mainEntityOfPage":"https://www.aioga.com/news/cmtmcipsq00sirovbhprdqc1x/","datePublished":"2026-09-04T02:29:45.000Z","dateModified":"2026-09-04T02:29:45.000Z","inLanguage":"zh-CN","publisher":{"@type":"NewsMediaOrganization","name":"Aioga","url":"https://www.aioga.com"},"citation":["https://x.com/AYi_AInotes/status/2095700816980222311","https://aihot.news/items/cmtmcipsq00sirovbhprdqc1x"],"canonicalUrl":"https://www.aioga.com/news/cmtmcipsq00sirovbhprdqc1x/","directAnswer":{"@type":"Answer","text":"材料称 OpenAI 发布 GPT-6 Astra，重点包括计算机操作能力与网络安全 Critical 档位；作者还总结称，其以 Lean 形式化证明攻克 10 道数学或计算难题，单次解题 Token 成本约 2000 美元。","url":"https://www.aioga.com/news/cmtmcipsq00sirovbhprdqc1x/","dateCreated":"2026-09-04T02:29:45.000Z","author":{"@type":"Organization","@id":"https://www.aioga.com/authors/aioga-editorial/#editorial-team","name":"Aioga Editorial Team","url":"https://www.aioga.com/authors/aioga-editorial/"}},"evidence":[{"@type":"CreativeWork","name":"@AYi_AInotes) source article","url":"https://x.com/AYi_AInotes/status/2095700816980222311","datePublished":"2026-09-04T02:29:45.000Z","provider":{"@type":"Organization","name":"@AYi_AInotes)","url":"https://x.com/AYi_AInotes/status/2095700816980222311"}},{"@type":"CreativeWork","name":"AIHot archive record","url":"https://aihot.news/items/cmtmcipsq00sirovbhprdqc1x","datePublished":"2026-09-04T02:29:45.000Z","provider":{"@type":"Organization","name":"AIHot","url":"https://aihot.news/items/cmtmcipsq00sirovbhprdqc1x"}}],"aggregationSource":"@AYi_AInotes)","originalPublisher":{"name":"@AYi_AInotes)","url":"https://x.com/AYi_AInotes/status/2095700816980222311"},"geoDeepAnswer":null,"article":{"id":"cmtmcipsq00sirovbhprdqc1x","slug":"cmtmcipsq00sirovbhprdqc1x","url":"https://www.aioga.com/news/cmtmcipsq00sirovbhprdqc1x/","title":"OpenAI 发布 GPT-6 Astra，主打桌面自动化与网络安全 Critical 档位","title_en":"","summary":"OpenAI 发布 GPT-6 Astra，主打计算机操作能力。作者总结其亮点包括：以 Lean 形式化证明攻克 10 道数学/计算难题，单次解题 Token 成本约 $2000。","source":"@AYi_AInotes)","sourceUrl":"https://x.com/AYi_AInotes/status/2095700816980222311","aiHotUrl":"https://aihot.news/items/cmtmcipsq00sirovbhprdqc1x","publishedAt":"2026-09-04T02:29:45.000Z","category":"行业动态","score":72,"selected":true,"articleBody":["OpenAI 发布 GPT-6 Astra，主打计算机操作能力。","作者总结其亮点包括：以 Lean 形式化证明攻克 10 道数学/计算难题，单次解题 Token 成本约 $2000。"],"articleImages":[],"mediaStatus":"none","articleBodyZh":["OpenAI 发布 GPT-6 Astra，主打桌面自动化与网络安全 Critical 档位 这条更新来自 x.com，发布时间为 2026-09-04，Aioga 保留原文入口以便核验。","摘要：OpenAI 发布 GPT-6 Astra，主打计算机操作能力。作者总结其亮点包括：以 Lean 形式化证明攻克 10 道数学/计算难题，单次解题 Token 成本约 $2000。","背景：现有信息来自社交平台账号 @AYi_AInotes。摘要与正文摘录均强调计算机操作能力，并重复列出 Lean 形式化证明、10 道难题及单次解题约 2000 美元 Token 成本等内容。","Aioga 观察：Aioga 判断：材料展示了计算机操作、形式化证明和网络安全分级等多个方向，但未提供测试方法、题目清单、成本口径或 Critical 档位的具体定义，现阶段难以独立核验相关表述。","影响与后续：可能影响：相关信息可能引发对计算机操作、形式化证明及网络安全能力的关注，但现有摘要不足以支持性能横向比较，也不代表所述能力已经在更广泛场景中得到验证。 后续观察：建议核对 OpenAI 的正式发布说明，并关注完整评测方法、Lean 证明材料、题目与成本计算口径，以及网络安全 Critical 档位的定义和对应证据。"],"translationStatus":"","bodyOrigin":"social-summary","editorial":{"summary":"材料称 OpenAI 发布 GPT-6 Astra，重点包括计算机操作能力与网络安全 Critical 档位；作者还总结称，其以 Lean 形式化证明攻克 10 道数学或计算难题，单次解题 Token 成本约 2000 美元。","background":"现有信息来自社交平台账号 @AYi_AInotes。摘要与正文摘录均强调计算机操作能力，并重复列出 Lean 形式化证明、10 道难题及单次解题约 2000 美元 Token 成本等内容。","viewpoint":"Aioga 判断：材料展示了计算机操作、形式化证明和网络安全分级等多个方向，但未提供测试方法、题目清单、成本口径或 Critical 档位的具体定义，现阶段难以独立核验相关表述。","implications":"可能影响：相关信息可能引发对计算机操作、形式化证明及网络安全能力的关注，但现有摘要不足以支持性能横向比较，也不代表所述能力已经在更广泛场景中得到验证。","nextStep":"后续观察：建议核对 OpenAI 的正式发布说明，并关注完整评测方法、Lean 证明材料、题目与成本计算口径，以及网络安全 Critical 档位的定义和对应证据。","evidenceRefs":["title","summary","articleBody","source"],"status":"published","aiGenerated":true,"autoApproved":true,"generatedBy":"aioga-editorial:gpt-5.6-sol","reviewedBy":"aioga-editorial-review:gpt-5.6-sol","generatedAt":"2026-09-04T03:06:27.911Z","sourceHash":"d9e4c77bb51fe369","review":{"approved":true,"groundedness":96,"clarity":90,"duplicationRisk":42,"blockingIssues":[],"notes":["候选内容中的“网络安全 Critical 档位”有标题来源支撑；“计算机操作能力”、Lean 形式化证明、10 道难题及约 2000 美元成本均与摘要或正文摘录一致。","background 重复了 summary 与 articleBody 中的核心事实，存在一定内容重复，但不构成事实审核阻断。","“Aioga 判断”已明确标注为观点；若 Aioga 不是既定署名或栏目名，建议补充其身份，以提升归属清晰度。"]},"validation":{"passed":true,"mode":"ai-auto","revisions":0,"checks":["schema","length","source-attribution","editorial-labels","inference-boundary","low-source-overlap","no-html","independent-ai-review"]}},"tags":["行业动态","@AYi_AInotes)"],"translations":{"zh-CN":{"title":"OpenAI 发布 GPT-6 Astra，主打桌面自动化与网络安全 Critical 档位","summary":"OpenAI 发布 GPT-6 Astra，主打计算机操作能力。作者总结其亮点包括：以 Lean 形式化证明攻克 10 道数学/计算难题，单次解题 Token 成本约 $2000。","category":"行业动态","source":"@AYi_AInotes)","aggregationSource":"@AYi_AInotes)","pageTitle":"OpenAI 发布 GPT-6 Astra，主打桌面自动化与网络安全 Critical 档位 - Aioga AI资讯","description":"OpenAI 发布 GPT-6 Astra，主打计算机操作能力。作者总结其亮点包括：以 Lean 形式化证明攻克 10 道数学/计算难题，单次解题 Token 成本约 $2000。","url":"https://www.aioga.com/news/cmtmcipsq00sirovbhprdqc1x/","articleBody":["OpenAI 发布 GPT-6 Astra，主打桌面自动化与网络安全 Critical 档位 这条更新来自 x.com，发布时间为 2026-09-04，Aioga 保留原文入口以便核验。","摘要：OpenAI 发布 GPT-6 Astra，主打计算机操作能力。作者总结其亮点包括：以 Lean 形式化证明攻克 10 道数学/计算难题，单次解题 Token 成本约 $2000。","背景：现有信息来自社交平台账号 @AYi_AInotes。摘要与正文摘录均强调计算机操作能力，并重复列出 Lean 形式化证明、10 道难题及单次解题约 2000 美元 Token 成本等内容。","Aioga 观察：Aioga 判断：材料展示了计算机操作、形式化证明和网络安全分级等多个方向，但未提供测试方法、题目清单、成本口径或 Critical 档位的具体定义，现阶段难以独立核验相关表述。","影响与后续：可能影响：相关信息可能引发对计算机操作、形式化证明及网络安全能力的关注，但现有摘要不足以支持性能横向比较，也不代表所述能力已经在更广泛场景中得到验证。 后续观察：建议核对 OpenAI 的正式发布说明，并关注完整评测方法、Lean 证明材料、题目与成本计算口径，以及网络安全 Critical 档位的定义和对应证据。"]},"en":{"title":"OpenAI released GPT-6 Astra, focusing on desktop automation and cybersecurity in the Critical category","summary":"OpenAI released GPT-6 Astra, focusing on computer operational capabilities. The author summarized its highlights as follows: tackling 10 math/calculation problems using Lean formal proofs, with a single token cost of about $2000.","category":"Industry","source":"@AYi_AInotes)","aggregationSource":"@AYi_AInotes)","pageTitle":"OpenAI released GPT-6 Astra, focusing on desktop automation and cybersecurity in the Critical category - Aioga AI News","description":"OpenAI released GPT-6 Astra, focusing on computer operational capabilities. The author summarized its highlights as follows: tackling 10 math/calculation problems using Lean formal...","url":"https://www.aioga.com/en/news/cmtmcipsq00sirovbhprdqc1x/","contentTranslated":true,"sourceHash":"22aa072831db1718","translatedAt":"2026-09-04T03:02:00.312Z"},"ja":{"title":"OpenAIは、デスクトップ自動化とサイバーセキュリティに焦点を当てたGPT-6 Astraをクリティカルカテゴリーでリリースしました","summary":"OpenAIはGPT-6 Astraをリリースし、コンピュータ運用能力に焦点を当てました。著者はそのハイライトを次のようにまとめています:リーン形式証明を用いて10の数学・計算問題に取り組み、トークンコストは約2000ドルでした。","category":"業界動向","source":"@AYi_AInotes)","aggregationSource":"@AYi_AInotes)","pageTitle":"OpenAIは、デスクトップ自動化とサイバーセキュリティに焦点を当てたGPT-6 Astraをクリティカルカテゴリーでリリースしました - Aioga AIニュース","description":"OpenAIはGPT-6 Astraをリリースし、コンピュータ運用能力に焦点を当てました。著者はそのハイライトを次のようにまとめています:リーン形式証明を用いて10の数学・計算問題に取り組み、トークンコストは約2000ドルでした。","url":"https://www.aioga.com/ja/news/cmtmcipsq00sirovbhprdqc1x/","contentTranslated":true,"sourceHash":"22aa072831db1718","translatedAt":"2026-09-04T03:02:00.029Z"},"ko":{"title":"OpenAI는 데스크톱 자동화와 사이버보안에 중점을 둔 GPT-6 Astra를 크리티컬 카테고리에서 출시했습니다","summary":"OpenAI는 컴퓨터 운영 능력에 중점을 둔 GPT-6 Astra를 출시했습니다. 저자는 다음과 같이 요약했습니다: 린 형식 증명을 사용한 10개의 수학/계산 문제를 해결했으며, 단일 토큰 비용은 약 $2000입니다.","category":"업계 동향","source":"@AYi_AInotes)","aggregationSource":"@AYi_AInotes)","pageTitle":"OpenAI는 데스크톱 자동화와 사이버보안에 중점을 둔 GPT-6 Astra를 크리티컬 카테고리에서 출시했습니다 - Aioga AI 뉴스","description":"OpenAI는 컴퓨터 운영 능력에 중점을 둔 GPT-6 Astra를 출시했습니다. 저자는 다음과 같이 요약했습니다: 린 형식 증명을 사용한 10개의 수학/계산 문제를 해결했으며, 단일 토큰 비용은 약 $2000입니다.","url":"https://www.aioga.com/ko/news/cmtmcipsq00sirovbhprdqc1x/","contentTranslated":true,"sourceHash":"22aa072831db1718","translatedAt":"2026-09-04T03:02:08.202Z"},"es":{"title":"OpenAI lanzó GPT-6 Astra, centrado en la automatización de escritorios y la ciberseguridad en la categoría Crítica","summary":"OpenAI lanzó GPT-6 Astra, centrado en las capacidades operativas del ordenador. El autor resumió sus aspectos destacados de la siguiente manera: abordar 10 problemas de matemáticas/cálculo usando demostraciones formales Lean, con un único token costando unos 2000 dólares.","category":"Industria","source":"@AYi_AInotes)","aggregationSource":"@AYi_AInotes)","pageTitle":"OpenAI lanzó GPT-6 Astra, centrado en la automatización de escritorios y la ciberseguridad en la categoría Crítica - Aioga Noticias de IA","description":"OpenAI lanzó GPT-6 Astra, centrado en las capacidades operativas del ordenador. El autor resumió sus aspectos destacados de la siguiente manera: abordar 10 problemas de matemáticas...","url":"https://www.aioga.com/es/news/cmtmcipsq00sirovbhprdqc1x/","contentTranslated":true,"sourceHash":"22aa072831db1718","translatedAt":"2026-09-04T03:02:09.412Z"},"fr":{"title":"OpenAI a lancé GPT-6 Astra, axé sur l’automatisation des bureaux et la cybersécurité dans la catégorie Critique","summary":"OpenAI a publié GPT-6 Astra, en se concentrant sur les capacités opérationnelles de l’ordinateur. L’auteur a résumé ses points forts comme suit : résoudre 10 problèmes mathématiques/de calcul à l’aide de preuves formelles Lean, pour un coût d’environ 2000 $ pour un jeton unique.","category":"Industrie","source":"@AYi_AInotes)","aggregationSource":"@AYi_AInotes)","pageTitle":"OpenAI a lancé GPT-6 Astra, axé sur l’automatisation des bureaux et la cybersécurité dans la catégorie Critique - Aioga Actualités IA","description":"OpenAI a publié GPT-6 Astra, en se concentrant sur les capacités opérationnelles de l’ordinateur. L’auteur a résumé ses points forts comme suit : résoudre 10 problèmes mathématique...","url":"https://www.aioga.com/fr/news/cmtmcipsq00sirovbhprdqc1x/","contentTranslated":true,"sourceHash":"22aa072831db1718","translatedAt":"2026-09-04T03:02:17.864Z"},"de":{"title":"OpenAI veröffentlichte GPT-6 Astra mit Schwerpunkt auf Desktop-Automatisierung und Cybersicherheit in der Kategorie Kritisch","summary":"OpenAI veröffentlichte GPT-6 Astra mit Fokus auf Computerbetriebsfähigkeiten. Der Autor fasste die Highlights wie folgt zusammen: 10 Mathematik-/Berechnungsaufgaben mit Lean-formalen Beweisen, mit einem einzigen Token-Preis von etwa 2000 Dollar.","category":"行业动态","source":"@AYi_AInotes)","aggregationSource":"@AYi_AInotes)","pageTitle":"OpenAI veröffentlichte GPT-6 Astra mit Schwerpunkt auf Desktop-Automatisierung und Cybersicherheit in der Kategorie Kritisch - Aioga KI-News","description":"OpenAI veröffentlichte GPT-6 Astra mit Fokus auf Computerbetriebsfähigkeiten. Der Autor fasste die Highlights wie folgt zusammen: 10 Mathematik-/Berechnungsaufgaben mit Lean-formal...","url":"https://www.aioga.com/de/news/cmtmcipsq00sirovbhprdqc1x/","contentTranslated":true,"sourceHash":"22aa072831db1718","translatedAt":"2026-09-04T03:02:18.735Z"},"pt-BR":{"title":"A OpenAI lançou o GPT-6 Astra, com foco em automação de desktops e cibersegurança na categoria Crítica","summary":"A OpenAI lançou o GPT-6 Astra, focando nas capacidades operacionais dos computadores. O autor resumiu seus destaques da seguinte forma: enfrentando 10 problemas de matemática/cálculo usando provas formais Lean, com um custo de token único de cerca de $2000.","category":"行业动态","source":"@AYi_AInotes)","aggregationSource":"@AYi_AInotes)","pageTitle":"A OpenAI lançou o GPT-6 Astra, com foco em automação de desktops e cibersegurança na categoria Crítica - Aioga Notícias de IA","description":"A OpenAI lançou o GPT-6 Astra, focando nas capacidades operacionais dos computadores. O autor resumiu seus destaques da seguinte forma: enfrentando 10 problemas de matemática/cálcu...","url":"https://www.aioga.com/pt-BR/news/cmtmcipsq00sirovbhprdqc1x/","contentTranslated":true,"sourceHash":"22aa072831db1718","translatedAt":"2026-09-04T03:02:26.885Z"},"ru":{"title":"OpenAI выпустила GPT-6 Astra, сосредоточившись на автоматизации рабочих столов и кибербезопасности в категории «Критические»","summary":"OpenAI выпустила GPT-6 Astra, сосредоточившись на операционных возможностях компьютеров. Автор подвел итоги следующим образом: решение 10 математических/вычислительных задач с использованием Бережливых формальных доказательств, при одной стоимости токена около $2000.","category":"行业动态","source":"@AYi_AInotes)","aggregationSource":"@AYi_AInotes)","pageTitle":"OpenAI выпустила GPT-6 Astra, сосредоточившись на автоматизации рабочих столов и кибербезопасности в категории «Критические» - Aioga Новости ИИ","description":"OpenAI выпустила GPT-6 Astra, сосредоточившись на операционных возможностях компьютеров. Автор подвел итоги следующим образом: решение 10 математических/вычислительных задач с испо...","url":"https://www.aioga.com/ru/news/cmtmcipsq00sirovbhprdqc1x/","contentTranslated":true,"sourceHash":"22aa072831db1718","translatedAt":"2026-09-04T03:02:28.045Z"},"ar":{"title":"أصدرت OpenAI برنامج GPT-6 Astra، الذي ركز على أتمتة سطح المكتب والأمن السيبراني في فئة النقاط الحرجة","summary":"أصدرت OpenAI GPT-6 Astra، الذي ركز على قدرات تشغيل الحاسوب. لخص المؤلف أبرز ما فيه كما يلي: معالجة 10 مسائل رياضية/حسابية باستخدام براهين رسمية Lean، بتكلفة رمزية واحدة تبلغ حوالي 2000 دولار.","category":"行业动态","source":"@AYi_AInotes)","aggregationSource":"@AYi_AInotes)","pageTitle":"أصدرت OpenAI برنامج GPT-6 Astra، الذي ركز على أتمتة سطح المكتب والأمن السيبراني في فئة النقاط الحرجة - Aioga أخبار الذكاء الاصطناعي","description":"أصدرت OpenAI GPT-6 Astra، الذي ركز على قدرات تشغيل الحاسوب. لخص المؤلف أبرز ما فيه كما يلي: معالجة 10 مسائل رياضية/حسابية باستخدام براهين رسمية Lean، بتكلفة رمزية واحدة تبلغ حوالي...","url":"https://www.aioga.com/ar/news/cmtmcipsq00sirovbhprdqc1x/","contentTranslated":true,"sourceHash":"22aa072831db1718","translatedAt":"2026-09-04T03:02:35.951Z"},"hi":{"title":"OpenAI ने GPT-6 एस्ट्रा जारी किया, जो महत्वपूर्ण श्रेणी में डेस्कटॉप स्वचालन और साइबर सुरक्षा पर ध्यान केंद्रित करता है","summary":"OpenAI ने कंप्यूटर परिचालन क्षमताओं पर ध्यान केंद्रित करते हुए GPT-6 एस्ट्रा जारी किया। लेखक ने इसकी मुख्य विशेषताओं को संक्षेप में इस प्रकार प्रस्तुत किया है: लगभग $2000 की एकल टोकन लागत के साथ, लीन औपचारिक प्रमाणों का उपयोग करके 10 गणित/गणना समस्याओं से निपटना।","category":"行业动态","source":"@AYi_AInotes)","aggregationSource":"@AYi_AInotes)","pageTitle":"OpenAI ने GPT-6 एस्ट्रा जारी किया, जो महत्वपूर्ण श्रेणी में डेस्कटॉप स्वचालन और साइबर सुरक्षा पर ध्यान केंद्रित करता है - Aioga AI समाचार","description":"OpenAI ने कंप्यूटर परिचालन क्षमताओं पर ध्यान केंद्रित करते हुए GPT-6 एस्ट्रा जारी किया। लेखक ने इसकी मुख्य विशेषताओं को संक्षेप में इस प्रकार प्रस्तुत किया है: लगभग $2000 की एकल टो...","url":"https://www.aioga.com/hi/news/cmtmcipsq00sirovbhprdqc1x/","contentTranslated":true,"sourceHash":"22aa072831db1718","translatedAt":"2026-09-04T03:02:37.280Z"},"it":{"title":"OpenAI ha rilasciato GPT-6 Astra, focalizzato sull'automazione desktop e sulla cybersecurity nella categoria Critical","summary":"OpenAI ha rilasciato GPT-6 Astra, concentrandosi sulle capacità operative dei computer. L'autore ha riassunto i suoi punti salienti come segue: affrontare 10 problemi di matematica/calcolo usando dimostrazioni formali Lean, con un singolo token che costa circa 2000 dollari.","category":"行业动态","source":"@AYi_AInotes)","aggregationSource":"@AYi_AInotes)","pageTitle":"OpenAI ha rilasciato GPT-6 Astra, focalizzato sull'automazione desktop e sulla cybersecurity nella categoria Critical - Aioga Notizie IA","description":"OpenAI ha rilasciato GPT-6 Astra, concentrandosi sulle capacità operative dei computer. L'autore ha riassunto i suoi punti salienti come segue: affrontare 10 problemi di matematica...","url":"https://www.aioga.com/it/news/cmtmcipsq00sirovbhprdqc1x/","contentTranslated":true,"sourceHash":"22aa072831db1718","translatedAt":"2026-09-04T03:02:46.472Z"},"nl":{"title":"OpenAI bracht GPT-6 Astra uit, met de focus op desktopautomatisering en cyberbeveiliging in de categorie Kritisch","summary":"OpenAI bracht GPT-6 Astra uit, met de nadruk op operationele computermogelijkheden. De auteur vatte de hoogtepunten als volgt samen: het aanpakken van 10 wiskunde-/rekenproblemen met Lean formele bewijzen, met een enkele tokenkosten van ongeveer $2000.","category":"行业动态","source":"@AYi_AInotes)","aggregationSource":"@AYi_AInotes)","pageTitle":"OpenAI bracht GPT-6 Astra uit, met de focus op desktopautomatisering en cyberbeveiliging in de categorie Kritisch - Aioga AI-nieuws","description":"OpenAI bracht GPT-6 Astra uit, met de nadruk op operationele computermogelijkheden. De auteur vatte de hoogtepunten als volgt samen: het aanpakken van 10 wiskunde-/rekenproblemen m...","url":"https://www.aioga.com/nl/news/cmtmcipsq00sirovbhprdqc1x/","contentTranslated":true,"sourceHash":"22aa072831db1718","translatedAt":"2026-09-04T03:02:46.434Z"},"tr":{"title":"OpenAI, kritik kategoride masaüstü otomasyonu ve siber güvenlik üzerine odaklanan GPT-6 Astra'yı piyasaya sürdü","summary":"OpenAI, bilgisayar operasyonel yeteneklerine odaklanan GPT-6 Astra'yı piyasaya sürdü. Yazar, öne çıkan noktalarını şöyle özetledi: Lean formal ispatlarla 10 matematik/hesaplama problemini çözmek, tek bir token maliyeti yaklaşık 2000$.","category":"行业动态","source":"@AYi_AInotes)","aggregationSource":"@AYi_AInotes)","pageTitle":"OpenAI, kritik kategoride masaüstü otomasyonu ve siber güvenlik üzerine odaklanan GPT-6 Astra'yı piyasaya sürdü - Aioga AI Haberleri","description":"OpenAI, bilgisayar operasyonel yeteneklerine odaklanan GPT-6 Astra'yı piyasaya sürdü. Yazar, öne çıkan noktalarını şöyle özetledi: Lean formal ispatlarla 10 matematik/hesaplama pro...","url":"https://www.aioga.com/tr/news/cmtmcipsq00sirovbhprdqc1x/","contentTranslated":true,"sourceHash":"22aa072831db1718","translatedAt":"2026-09-04T03:02:55.812Z"},"vi":{"title":"OpenAI đã phát hành GPT-6 Astra, tập trung vào tự động hóa máy tính để bàn và an ninh mạng trong nhóm Critical","summary":"OpenAI đã phát hành GPT-6 Astra, tập trung vào khả năng vận hành máy tính. Tác giả tóm tắt những điểm nổi bật như sau: giải quyết 10 bài toán/tính toán sử dụng các chứng minh hình thức Lean, với chi phí token khoảng $2000.","category":"行业动态","source":"@AYi_AInotes)","aggregationSource":"@AYi_AInotes)","pageTitle":"OpenAI đã phát hành GPT-6 Astra, tập trung vào tự động hóa máy tính để bàn và an ninh mạng trong nhóm Critical - Tin tức AI Aioga","description":"OpenAI đã phát hành GPT-6 Astra, tập trung vào khả năng vận hành máy tính. Tác giả tóm tắt những điểm nổi bật như sau: giải quyết 10 bài toán/tính toán sử dụng các chứng minh hình...","url":"https://www.aioga.com/vi/news/cmtmcipsq00sirovbhprdqc1x/","contentTranslated":true,"sourceHash":"22aa072831db1718","translatedAt":"2026-09-04T03:02:55.626Z"},"id":{"title":"OpenAI merilis GPT-6 Astra, yang berfokus pada otomasi desktop dan keamanan siber dalam kategori Critical","summary":"OpenAI merilis GPT-6 Astra, yang berfokus pada kemampuan operasional komputer. Penulis merangkum sorotannya sebagai berikut: mengatasi 10 masalah matematika/perhitungan menggunakan bukti formal Lean, dengan biaya token tunggal sekitar $2000.","category":"行业动态","source":"@AYi_AInotes)","aggregationSource":"@AYi_AInotes)","pageTitle":"OpenAI merilis GPT-6 Astra, yang berfokus pada otomasi desktop dan keamanan siber dalam kategori Critical - Berita AI Aioga","description":"OpenAI merilis GPT-6 Astra, yang berfokus pada kemampuan operasional komputer. Penulis merangkum sorotannya sebagai berikut: mengatasi 10 masalah matematika/perhitungan menggunakan...","url":"https://www.aioga.com/id/news/cmtmcipsq00sirovbhprdqc1x/","contentTranslated":true,"sourceHash":"22aa072831db1718","translatedAt":"2026-09-04T03:03:04.866Z"},"th":{"title":"OpenAI เปิดตัว GPT-6 Astra โดยเน้นการทํางานอัตโนมัติบนเดสก์ท็อปและความปลอดภัยทางไซเบอร์ในหมวด Critical","summary":"OpenAI ได้ปล่อย GPT-6 Astra โดยเน้นความสามารถในการทํางานของคอมพิวเตอร์ผู้เขียนสรุปไฮไลท์ของเกมไว้ดังนี้: การแก้ปัญหาคณิตศาสตร์/การคํานวณ 10 ข้อโดยใช้การพิสูจน์แบบ Lean formal โดยมีต้นทุนโทเค็นเพียงครั้งเดียวประมาณ $2000","category":"行业动态","source":"@AYi_AInotes)","aggregationSource":"@AYi_AInotes)","pageTitle":"OpenAI เปิดตัว GPT-6 Astra โดยเน้นการทํางานอัตโนมัติบนเดสก์ท็อปและความปลอดภัยทางไซเบอร์ในหมวด Critical - ข่าว AI Aioga","description":"OpenAI ได้ปล่อย GPT-6 Astra โดยเน้นความสามารถในการทํางานของคอมพิวเตอร์ผู้เขียนสรุปไฮไลท์ของเกมไว้ดังนี้: การแก้ปัญหาคณิตศาสตร์/การคํานวณ 10 ข้อโดยใช้การพิสูจน์แบบ Lean formal โดยมี...","url":"https://www.aioga.com/th/news/cmtmcipsq00sirovbhprdqc1x/","contentTranslated":true,"sourceHash":"22aa072831db1718","translatedAt":"2026-09-04T03:03:03.500Z"},"pl":{"title":"OpenAI wypuściło GPT-6 Astra, koncentrującą się na automatyzacji komputerów i cyberbezpieczeństwie w kategorii Krytyczne","summary":"OpenAI wydało GPT-6 Astra, koncentrując się na możliwościach operacyjnych komputerów. Autor podsumował jego najważniejsze rozwiązania następująco: rozwiązanie 10 problemów matematycznych/obliczeniowych z użyciem Lean formal proofs, przy koszcie pojedynczego tokena około 2000 dolarów.","category":"行业动态","source":"@AYi_AInotes)","aggregationSource":"@AYi_AInotes)","pageTitle":"OpenAI wypuściło GPT-6 Astra, koncentrującą się na automatyzacji komputerów i cyberbezpieczeństwie w kategorii Krytyczne - Aioga Wiadomości AI","description":"OpenAI wydało GPT-6 Astra, koncentrując się na możliwościach operacyjnych komputerów. Autor podsumował jego najważniejsze rozwiązania następująco: rozwiązanie 10 problemów matematy...","url":"https://www.aioga.com/pl/news/cmtmcipsq00sirovbhprdqc1x/","contentTranslated":true,"sourceHash":"22aa072831db1718","translatedAt":"2026-09-04T03:03:13.143Z"}},"evidenceTier":"social-signal","reviewStatus":"editorial-selected","indexable":true,"editorialCover":"/page-visuals/topic-timeline.png"}}