Lab

AI 뉴스 속보: OpenAI가 최근 AI 기반 접근으로 ‘나비에-스토크스 방정식’(Navier–Stokes) 밀레니엄 난제를 해결한 성과를 발표하며, 논문 전문과 Lean 정리 증명기로 작성한 형식적 증명을 함께 공개했다. 나비에-스토크스 방정식은 유체 운동을 기술하는 편미분방정식으로, 오랫동안 클레이수학연구소가 선정한 7대 밀레니엄 난제 중 하나였으며 상금 100만 달러가 걸려 있었다. 핵심 쟁점은 3차원 공간에서 매끄럽고 전역적인(전체 시간 범위에 걸친) 해가 존재하는지, 아니면 유한 시간 내에 특이점이 발생하는지(즉 해가 발산하며 매끄러움을 잃는지)였다. 이번에 OpenAI가 공개한 해법은 Lean 형식적 증명과 함께 제시되었으며, 이는 증명 단계가 기계로 검증 가능한 논리 검사를 거쳤음을 의미한다. 단순히 사람의 검토에만 의존하지 않는다는 점에서 이론적으로는 외부의 정확성 신뢰도를 높일 수 있다. 다만 원문 요약에서는 구체적인 증명 전략, 문제의 어느 부분을 다루는지(완전한 해결인지 특정 조건에 한정된 것인지), 검토 및 동료 검증 진행 상황, 클레이수학연구소 제출 여부에 대한 추가 설명은 없었다. 자세한 내용은 원문 링크를 참고하기 바란다.

AI 뉴스 속보: OpenAI가 최근 한 사례를 공개했다. MIT 연구원이 GPT-5.6 Sol 모델과 Codex 툴을 활용해 양자 컴퓨팅 실험의 전 과정을 자율적으로 수행했으며, 여기에는 실험 실행, 결과 분석, 큐비트(qubit) 보정 등의 단계가 포함된다. 이는 AI 모델이 더 이상 코드 작성을 보조하는 수준에 그치지 않고, 실제 과학 실험의 조작과 의사결정 단계에 직접 개입하여 실행부터 분석까지 자율적으로 완결된 워크플로우를 수행할 수 있음을 보여준다…

AI 뉴스 속보: OpenAI가 교실부터 뉴스룸까지 아우르는 저널리즘 지원 프로그램 확대를 발표했다. 대상은 학생, 교육자, 기자, 언론사 네 그룹이다. 구체적으로는 도구, 교육, 파트너십이라는 세 축으로 진행된다. 도구를 통해 언론인이 취재, 팩트체크, 자료 정리 등 일상 업무 흐름에 AI를 활용할 수 있게 하고, 교육을…

AI 뉴스 속보: OpenAI가 500만 달러 규모의 연구 지원 프로그램을 발표하며, 독립 연구자들이 생성형 AI가 청소년 발달, 심신 건강, 안전에 미치는 영향을 조사할 수 있도록 지원한다. 이 프로그램은 외부 학자와 연구 기관에 자금을 제공해 청소년층이 챗봇, AI 어시스턴트 등 생성형 AI 도구를 사용함으로써 발생하는 장기적 영향을 체계적으로 연구할 수 있게 하는 것을 목표로 하며, 인지 발달, 정서 건강, 사회적 상호작용 패턴, 잠재적 안전 위험…

AI 뉴스 브리핑: 최근 대만 인공지능 업계에서 주목할 만한 관점이 등장했다. ‘더 강력하고 더 저렴한’ 인공지능 기술이 개인과 기업이 해낼 수 있는 업무 범위를 어떻게 확장시키는지, 그리고 그로 인해 성장이 어떻게 더 경제적으로 실현 가능해지는지에 초점을 맞춘 내용이다. 핵심 논점은, AI 모델의 성능이 향상되는 동시에 비용이 낮아지면서, 기존에는 기술적 장벽이나 비용 제약으로 손댈 수 없었던 유형의 업무들이 이제 실현 가능해진다는 것이다…

AI 뉴스 속보: OpenAI가 AIRPPU(우크라이나 독립 언론 협회), WAN-IFRA(세계신문협회)와 협력해 우크라이나 언론사를 위한 AI 지원 프로그램을 공동으로 발표했다. 이 프로그램은 현지 뉴스룸의 혁신 역량과 운영 회복력을 강화하고, 전시 상황에서도 독립 언론 보도가 계속될 수 있도록 지원하는 것을 목표로 한다. 원문 요약에는 프로그램의 구체적인 실행 방식, 자원 규모, 참여 언론사 명단, 일정 등 세부 사항은 제공되지 않았으며, 자세한 내용은 원문 링크를 참고하기 바란다…

AI 뉴스 속보: OpenAI가 최근 사내에서 코딩형 AI 에이전트(coding agents)가 내부 연구 프로세스를 어떻게 재편하고 있는지에 대한 초기 관찰 데이터를 공개했다. 이 분석은 몇 가지 측면에 초점을 맞춘다: 에이전트의 실제 사용률, 실험 반복 속도, 작업 복잡도 변화, 그리고 전반적인 연구 가속화 효과. 핵심 주장은, 코딩 에이전트가 연구팀의 일상 워크플로우에 도입되면서 연구자들이 더 많은 반복적이고 엔지니어링적인…

AI 뉴스 속보: Jakub Pachocki(OpenAI 수석 과학자)는 글에서 AI 능력이 빠르게 강화되고 있음을 성찰하며, 정렬(alignment)이 통제 불능에 빠지지 않도록 보장하는 방법에 대한 과제를 탐구한다. 그는 업계와 각국 정부가 더 강력한 안전 보호 메커니즘을 구축해야 한다고 촉구하며, 단일 기업이나 단일 국가가 이 문제를 독자적으로 해결하기 어렵다는 점을 강조한다. 이에 따라 국가와 기관을 초월한 협력을 통해 규제 프레임워크와 기술 표준을 공동으로 마련해야 한다고 주장한다…

AI 뉴스 속보: OpenAI의 최신 사례에 따르면, 게임 개발사 Playco는 GPT-6 Astra 모델을 활용해 게임 프로토타입 개발을 진행했다. 단일 ‘그레이 박스(grey box, 가장 기본적인 플레이 가능 초안)’ 기반 구조를 출발점으로 삼아, 서로 다른 테마의 게임 프로토타입 세 가지를 파생 제작하는 데 성공했다. 이전 세대 모델을 사용했을 때의 개발 프로세스와 비교해, Playco 팀은 이번에 GPT-6 As…

AI 뉴스 속보: 리투아니아 리걸테크 기업 Legora가 재무제표 심사 워크플로우에 OpenAI의 최신 모델 GPT-6 Astra를 도입했다. 테스트 결과 시스템은 몇 분 만에 41건의 문서 심사 작업을 완료했으며, 인위적으로 삽입된 네 가지 오류를 모두 찾아냈다. 심사 효율은 기존 대비 약 40% 향상됐다. 자세한 내용은 원문 링크를 참고하라.