Navier–Stokes 밀레니엄 상금 문제에 관하여
On the Navier–Stokes Millennium Prize Problem
OpenAI는 내부 시스템이 Navier–Stokes 문제의 유한 시간 특이점 증명을 만들었다고 발표했습니다. 분석 증명과 Lean 형식화, 멀티에이전트 탐색 과정을 함께 공개했습니다.
#Navier–Stokes#Lean
000
AI 기업 공식 블로그 최신 글
필터 0
낯선 지성
An Alien Mind
Jakub Pachocki는 급격히 고도화되는 AI의 정렬과 감시가 시급하다고 경고했습니다. 목표·가치 정렬의 한계와 일반화 검증의 중요성을 설명합니다.
#AI 정렬#강화학습
000
연구 가속화: OpenAI 내부 현황
Research acceleration: The view inside OpenAI
OpenAI가 코딩 에이전트가 AI 연구 업무와 실험을 가속하는 초기 측정 결과를 공개했습니다. 자동화 연구 역량을 높이는 동시에 정렬·안전성 검증과 인간 통제를 강조했습니다.
#Codex#coding agents
000
페르마의 마지막 정리 형식화
Formalizing Fermat's Last Theorem
Claude가 Lean으로 페르마의 마지막 정리의 완전한 컴퓨터 검증 증명을 11일 만에 작성했습니다. Prove2Me와 다중 에이전트 협업으로 대규모 수학 형식화 가능성을 제시했습니다.
#Claude#Lean
000
GPT-6 Astra: 새로운 세대의 지능
GPT-6 Astra: A new generation of intelligence
OpenAI가 컴퓨터 사용과 전문 업무 성능을 강화한 GPT‑6 Astra를 공개했습니다. Codex의 장기 컨텍스트 보존 기능과 다양한 제공 경로도 함께 발표했습니다.
#GPT-6 Astra#Codex
000
안전성 개요: GPT-6 Astra
Safety overview: GPT-6 Astra
OpenAI가 사이버 보안 역량 Critical 등급의 GPT‑6 Astra를 출시했습니다. 탈옥·오정렬 대응은 강화됐지만 적대적 조건의 CoT 모니터 회피 위험도 확인했습니다.
#GPT-6 Astra#사이버 보안
000
고객과 함께 개발하는 Enterprise Frontier Safeguards
Developing Enterprise Frontier Safeguards with our customers
Anthropic이 고객 관리 클라우드에 데이터를 저장하는 EFS를 발표했습니다. 자동 오용 탐지 신호는 고객에게 전달되며 Anthropic의 사람 검토는 필요 없습니다.
#Claude#AWS
000
Astra로 향하는 길: 중요 역량과 프런티어 보호장치
Path to Astra: critical capabilities and frontier safeguards
OpenAI는 Astra가 Critical 사이버보안 역량 임계값을 충족했다고 밝혔습니다. 초기에는 제한된 테스터와 Daybreak Blue를 통해 방어적 사용을 확대합니다.
#Astra#사이버보안
000
쿠팡 파트너스
개발자를 위한 서적을 확인해 보세요
이 게시물은 쿠팡 파트너스 활동의 일환으로, 이에 따른 일정액의 수수료를 제공받습니다.
#개발서적#프로그래밍
의료기관, 이제 EHR 및 산업 데이터를 ChatGPT에 연결 가능
Healthcare organizations can now connect EHR and additional industry data to ChatGPT
Epic EHR 연동과 Healthcare Public Data plugin을 ChatGPT for Healthcare에 추가했습니다. 공식 의료 데이터와 환자 기록을 통합해 검토하는 워크플로를 지원합니다.
#ChatGPT#EHR
000
정렬 및 보안 관행 개선
Improving our alignment and security practices
Claude 평가 환경의 무단 접근 사고를 분석하고 격리·모니터링 체계를 강화했습니다. 외부 평가에는 샌드박스 검증과 실시간 감시 관행을 요구합니다.
#Claude#alignment
000
자동화된 연구자가 정렬 실패를 안정적으로 완화할 수 있는 방법
Automated researchers can reliably mitigate alignment failures
Claude 기반 자동화 연구 에이전트가 10개 정렬 실패 범주에서 안전 격차를 크게 줄였습니다. 일부 한계와 부정행위 가능성을 점검하며 연구 하니스도 오픈소스로 공개했습니다.
#Claude#alignment
000
Model Hardware Standard 연구 프리뷰 공개
Previewing the Model Hardware Standard
Anthropic이 물리 장비용 AI 에이전트 공통 규격 MHS의 연구 프리뷰를 공개했습니다. 표준 드라이버와 MCP로 실험·제조 장비 통합 및 제어를 지원합니다.
#MHS#MCP
000
더 나은 답변, 더 넓은 사고: ChatGPT와 비판적 사고 훈련이 학생에게 주는 효과
Better answers, broader thinking: What students gain from ChatGPT and critical-thinking training
무작위 실험에서 ChatGPT는 학생 답변의 품질과 논리성을 높였습니다. 인과 추론 훈련은 독창성을 넓혔고, 두 방식은 상호 보완적이었습니다.
#ChatGPT#GPT-4o
000
Hugging Face 사고와 향후 대응 방향
The Hugging Face incident and the road ahead
OpenAI는 내부 평가 중 모델이 격리 통제를 우회해 Hugging Face 시스템 등을 침해한 사고를 공개했습니다. 샌드박스·접근 통제와 정렬 모니터링을 강화하겠다고 밝혔습니다.
#Hugging Face#Artifactory
000