OpenAI pauses Astra AI development over critical cybersecurity risks

Claims

What the coverage asserts, and how many sources carry each claim.

• [● 7 SOURCES] OpenAI paused internal development of Astra and moved work to isolated sandboxed environments with restricted network access. bitnewsbot.com · www.vol.at · mix929.com · www.startuphub.ai · www.bild.de · +2 more
• [● 22 SOURCES] OpenAI will partner with government agencies and AI‑safety organisations for external evaluation of Astra. bitnewsbot.com · mix929.com · www.startuphub.ai · www.bild.de · olhardigital.com.br · +15 more
• [● 5 SOURCES] Astra was not involved in the July hack of the AI platform Hugging Face. www.vol.at · mix929.com · www.bild.de · www.suedtirolnews.it · olhardigital.com.br
• [● 19 SOURCES] OpenAI cannot rule out that Astra has “critical” cybersecurity capabilities. bitnewsbot.com · www.vol.at · mix929.com · www.startuphub.ai · www.bild.de · +12 more
• [● 22 SOURCES] Critical tier means a model can autonomously identify and develop zero‑day exploits or plan and execute complex cyber‑attacks without human input. bitnewsbot.com · www.vol.at · mix929.com · www.startuphub.ai · www.bild.de · +14 more
• [○ 1 SOURCE] Astra’s mathematical solutions were verified using the Lean 4 formal proof language. www.geeky-gadgets.com
• [○ 1 SOURCE] Astra solved ten significant mathematical problems, including sphere‑packing and geometric conjectures. www.geeky-gadgets.com
• [● 21 SOURCES] Previous OpenAI models such as GPT‑5.6‑Sol were classified at the “high” risk level, not “critical”. bitnewsbot.com · www.startuphub.ai · www.news.at · mix929.com · www.portadaestrela.com · +13 more
• [● 6 SOURCES] OpenAI stated that Astra was not involved in the July hack of the Hugging Face platform www.news.at · www.vol.at · mix929.com · www.portadaestrela.com · deultimominuto.net · +1 more
• [● 8 SOURCES] OpenAI paused or slowed internal development of Astra and moved work to isolated test environments with restricted network access www.news.at · bitnewsbot.com · www.vol.at · mix929.com · www.portadaestrela.com · +3 more
• [○ 1 SOURCE] Astra solved ten significant mathematical problems, including sphere‑packing and geometric conjectures, with solutions verified using Lean 4 www.geeky-gadgets.com
• [● 13 SOURCES] OpenAI will partner with government agencies and AI safety organizations to evaluate Astra's capabilities. mix929.com · www.portadaestrela.com · deultimominuto.net · techcrunch.com · www.startuphub.ai · +7 more