Docs faviconDOCS우성짱의 문서
전체YouTubeArticleTagsAuthorsHub
홈/태그 찾기/#astra
Tag2건Article 2

#astra

이 태그와 연결된 문서를 한곳에서 모아보고, 함께 자주 등장하는 연관 태그까지 이어서 탐색할 수 있습니다.

연관 태그

#ai-assisted-mathematics공동문서 1 · 연관도 71%#ai-generated-proofs공동문서 1 · 연관도 71%#computational-complexity공동문서 1 · 연관도 71%#critical-cyber-threshold공동문서 1 · 연관도 71%#cyber-capability-evaluation공동문서 1 · 연관도 71%#external-capability-validation공동문서 1 · 연관도 71%#formal-proof-verification공동문서 1 · 연관도 71%#machine-checked-mathematics공동문서 1 · 연관도 71%#model-safety-disclosure공동문서 1 · 연관도 71%#openai-preparedness-framework공동문서 1 · 연관도 71%
OpenAI says it slowed Astra model development over security concerns
Article2026년 8월 7일

OpenAI says it slowed Astra model development over security concerns

오픈AI는 개발 중인 아스트라가 독립적으로 실제 시스템을 공격할 가능성이 있는 중대 사이버 보안 임계치에 도달했다고 보고, 일부 개발 활동을 중단하고 강화된 안전조치와 외부 검증에 착수했다.

Kirsten Korosec
#astra#openai#openai-preparedness-framework#critical-cyber-threshold
Ten advances in mathematics and theoretical computer science
Article2026년 8월 1일

Ten advances in mathematics and theoretical computer science

오픈AI는 내부 모델 아스트라가 수학·이론컴퓨터과학의 장기 미해결 문제에서 도출한 열 가지 성과와 린 형식화 자료를 공개하면서, AI가 만든 논증의 출처를 투명하게 밝히고 공동체의 검토와 후속 연구를 요청했다.

OpenAI
#astra#openai#ai-generated-proofs#machine-checked-mathematics