오늘의 에피소드는 여기에서 들을 수 있습니다: 10 월 24 일의 에피소드 (23 분 44 초).
안녕하세요. PuriMagic 입니다.
토요일입니다. Anthropic 은 Claude 가 123 의 오픈소스 라이브러리가 결정된 조건 하에서クラッシュ하지 않는 것을 수학적으로 증명하도록 요구했고, 그 과정에서 수백 개의 버그를 수정했습니다. 같은 날 에이전트의 공통 규격 4 개가 Anthropic, OpenAI, Hugging Face, 알리바바에서 중립 단체에 기증되었습니다. OpenAI 는 평가액 1.25 조 달러로 최대 300 억 달러를 모으는 최종 조정에 들어갔다고 보도되었습니다. 한국 SK 하이닉스는 미국 자회사 솔리디짐의 상장 검토를 중단했습니다. 국내에서는 파크 24 가 타임즈카로의 불법 접근 조사 결과를 발표하고, 운전면허증 등의 이미지가 외부로 유출된 사람에게 3,000 원 상당의 위로금을 지급한다고 발표했습니다.
Anthropic 의 Claude 에서 123 라이브러리가 '오류 없이' 작동함을 증명하고, 중간에 수백 개의 버그도 수정했습니다.
무슨 일이 일어났나
안티프릭은 10 월 22 일 검증 기술 기업 theoretical(Theorem) 과 공동 연구 결과를 발표했습니다. 구글의 OSS-Fuzz 에 등록되어 있는 123 개의 오픈소스 라이브러리에서 테스트용 진입점 239 개가 64MB 미만의 어떤 입력에도クラッシュ하지 않는다는 점을 클로드가 증명했습니다. 증명은 컴파일 후의 RISC-V 기계어 대상이며, 증명 지원 도구 Rocq 로 작성되어 총 약 1 억 8,000 만 줄에 달합니다. 하나의 증명은 보통 약 60 만 줄로 이루어지며, 작업은 수 주 만에 완료되었습니다. 클로드는 증명 과정에서 수백 개의 버그를 발견하고 코드를 수정한 후 증명을 재실행했습니다. 특정 형태의 약 20MB 입력에서만 발생하는 범위를 벗어난 쓰기 오류도 그 안에 포함되어 있습니다. 증명의 정확성은 Rocq 체크기가 확인하므로 사람이 모두 읽을 필요는 없습니다. 증명 대상은 단일 스레드에서 정적으로 링크된 RISC-V Linux 프로그램으로 제한됩니다. 안티프릭은 "형식 검증 완료"가 "버그가 없음"이라는 뜻이 아님을 명시했습니다. 안티프릭이 비교 대상으로 언급한 OS 커널 seL4 는 구현에 2 년, 검증에 20 년이 소요되었습니다. theoretical 은 동일한 절차를 다른 오픈소스에도 적용할 예정이며, glibc, OpenSSL, cURL 등을 포함한 닉스(Nix) 소프트웨어 전체를 검증하는 계획도 발표했습니다.
저의 견해
결함 탐지 속도가 빨라짐에 따라 방어 측도 AI 를 활용해"이 유형의 결함은 이미 존재하지 않는다"는 것을 입증할 수 있는 방법을 갖추기 시작했습니다. Anthropic 에 따르면 Opus 5.5 는 36 개의 작은 검증 과제 중 절반을, Opus 5 보다 약 40% 적은 토큰으로 입증했습니다. 증명은 부품별로 재사용이 가능하므로, 많은 소프트웨어가 의존하는 부품 순서대로 증명이 진행될수록, 하나의 증명당 비용은 감소할 것이라고 저는 생각합니다.
- 이 글은 공식 검증에 관한 연구 논문입니다. 제공된 청크 (9/46) 가 누락되어 해당 내용을 번역할 수 없으므로, 청크 내용을 보충해 주시면 즉시 번역해 드리겠습니다.
2. 중립 단체에 에이전트의 공통 규격 4 가지를 Anthropic, OpenAI, Hugging Face, 알리바바가 기증했습니다.
무슨 일이 일어났나
Linux Foundation 산하 에이전틱 AI 재단 (AAIF) 은 10 월 22 일 새로운 4 개 프로젝트를 채택했다고 발표했습니다. Anthropic 의 'Agent Skills' 은 절차, 스크립트, 문서를 하나로 묶어 에이전트가 필요할 때 로드하는 형식입니다. OpenAI 의 'Open Responses' 는该公司的 Responses API 를 기반으로 한 사양으로, 한 번 작성된 요청을 여러 모델 회사에서 실행할 수 있게 합니다. Hugging Face 의 'OpenEnv' 는 강화학습 훈련 환경을 구축하고 공유하기 위한 프레임워크이며, Alibaba 의 'OpenSandbox' 는 코딩 에이전트 등을 격리하여 실행하는 환경입니다. AAIF 는 2025 년 12 월에 3 개 프로젝트로 출범하여 1 년 만에 10 개로 증가했습니다. MCP, A2A, AGENTS.md 도 이미 이 단체가 관리하고 있습니다. 발표는 샌노제에서 열린 개발자 컨퍼런스 AGNTCon + MCPCon 에 맞춰진 것입니다.
저의 견해
미국의 3 개 기업과 중국의 알리바바가 각자 개발해 온 사양을, 단일 기업이 결정할 수 없는 중립 기관으로 이전했습니다. 에이전트를 개발하는 측의 경우 모델을 교체하더라도 스킬이나 API 작성 방식을 그대로 활용할 수 있을 것으로 보입니다. 4 개 기업 모두, 사양을 자체적으로 통제하는 것보다 자사 형식이 업계 표준이 되는 쪽을 선택한 것으로 보입니다.
- 에이전트 스킬스, 오픈 응답, 오픈엔비, 오픈샌드박스
3. 오픈AI, UAE 투자자와 코아투에가 주도한 평가액 1.25 조 달러, 최대 300 억 달러 규모의 자금 조달
무슨 일이 일어났나
CNBC 는 10 월 22 일 관련자에 따르면 오픈AI 가 최대 300 억 달러 규모의 자금 조달 최종 조정을 진행 중이라고 보도했습니다. 평가액은 조달 전 1.25 조 달러로, 아랍에미리트(UAE) 투자자와 미국의 코트우(Coatue)가 주도합니다. 오픈AI 는 투자자들이 이번 주말까지 계약을 체결할 것으로 보고 있으며, 최종 조달 금액은 아직 확정되지 않았습니다. CNBC 는 이 자금 조달을 상장 전 '브릿지'로 분류하고 있습니다. 아울러 UAE 에서 컴퓨팅 자원을 확보하는 협상도 진행 중이라고 합니다. 한 달 전 블룸버그는 평가액 1.4 조 달러에 300 억 달러를 조달할 계획이라고 보도했습니다. 오픈AI 는 3 월 자금 조달 이후 평가액이 8520 억 달러로 상승했으며, 6 월에 상장 관련 서류를 미국 증권거래위원회에 비공개로 제출했습니다. 최고 재무 책임자인サラ·프라이어(Sara Frier)氏は 8 월에 직원들에게"2027 년에 상장 기업으로 성장할 것"이라고 말했고, 9 월에는 CEO 스эм·알트만(Sam Altman)이 현재는 상장 준비에 적합한 시기가 아니라고 밝혔습니다. 테크크런치에 따르면 경쟁사 안트로픽은 5 월에 평가액 9650 억 달러에 650 억 달러를 조달했습니다. 오픈AI 는 이에 대해コメント하지 않았습니다.
저의 견해
공시된 평가액은 한 달 만에 1.4 조 달러에서 1.25 조 달러로 하락했으나, 3 월 투자 이후의 평가액인 8520 억 달러와 비교하면 여전히 약 1.5 배에 가까운 수준입니다. UAE 는 이제 자금과 계산 자원을 하나의 협상 항목으로 통합하여 수용하는 형태가 될 것으로 보입니다. 상장 서류 공개가 임박한 Anthropic 과 함께 AI 기업의 평가액 기준은 이번 조달 결과로 결정될 것으로 보입니다.
- 제공해주신 링크는 2026 년 10 월 22 일 CNBC 에서 게시된 'OpenAI 자금 조달 라운드 UAE 투자자' 관련 기사입니다. 그러나 요청하신 'note.com' 게시글 본문 청크 21/46 이 해당 링크의 실제 콘텐츠와 일치하지 않으며, 제공된 URL 은 note.com 이 아닌 CNBC 의 기사 링크입니다. 따라서 요청하신 'note.com' 게시글의 21 번째 청크를 번역할 수 없습니다. 만약 실제 번역이 필요한 텍스트가 있다면, 해당 텍스트를 직접 제공해 주시면 즉시 자연스럽고 정확한 한국어로 번역해 드리겠습니다.
- IPO 를 앞두고 기업 가액 1,250 억 달러를 바탕으로 새로운 30 억 달러 규모의 자금 조달을 진행 중인 것으로 알려졌습니다.
4. SK 하이닉스가 자회사 솔리디엄의 미국 상장 검토를 중단한다고 발표하며, 발표 당일 주가는 4.4% 상승했습니다.
무슨 일이 일어났나
한국 SK 하이닉스는 10 월 23 일 미국 자회사 솔리디엄의 상장 전 자금 조달 및 주주 상장 (IPO) 검토를 중단한다고 발표했습니다. 솔리디엄은 원래 인텔의 사업으로 NAND 플래시와 SSD 를 담당하고 있습니다. 현재 공장은 AI 메모리 수요에 따라지지 못하고 있어, 미국에 새로운 공장을 짓기 위한 자금 조달 수단으로 상장을 검토하고 있었습니다. 로이터는 상장을 통해 최대 150 억 달러를 조달할 가능성이 있다고 보도했습니다. 회사는 자본 시장 변동과 반도체 주가 하락을 이유로 제시하며, 성장 전망과 투자 필요성은 변하지 않았다고 밝혔습니다. 한국 금융 당국은 이번 주 월요일에 이 상장이 중복 상장 제한 규정을 위반할 수 있다고 판단했다고 밝혔습니다. 이 규정은 7 월에 강화되었습니다. SK 하이닉스의 주가는 상장 계획이 보도된 9 월 말부터 30% 이상 하락했으며, 발표 당일에는 일시적으로 3% 하락한 뒤 4.4% 상승하며 거래를 종료했습니다.
저의 견해
eToro 의 분석가는 CNBC 에서"SK 하이닉스의 주주들은 기대했던 결과를 얻었다"고 언급하며, 다음 주 실적 발표에서 솔리디엄(Solidigm) 자금 계획이 공개될 필요가 있다고 지적했습니다. AI 메모리 수요가 강함에도 불구하고 공장 건설 자금 조달은 모회사 주주와 규제 당국의 판단에 좌우되었습니다. SK 하이닉스는 자체 자금 조달을 고려하거나 다른 자금 조달 방법을 모색할 것으로 보입니다.
- SK Hynix 는 2024 년 12 월 출시한 128 레이어 3D NAND 플래시 메모리 제품군을 통해 업계 최고 수준의 성능과 효율성을 달성했습니다. 이 제품은 128 레이어 구조를 기반으로 기존 64 레이어 대비 저장 용량을 2 배로 늘렸으며, 전력 소모는 30% 이상 절감하고 데이터 처리 속도는 2 배 이상 향상시켰습니다. 특히 SK Hynix 는 이 메모리 제품에 자체 개발한 'HyperFlash' 기술을 적용하여 데이터 신뢰성을 극대화하고, 다양한 산업 분야에서 요구되는 고출력, 저전력, 고속 처리 기능을 완벽하게 구현했습니다.
이러한 기술적 혁신은 SK Hynix 의 지속적인 R&D 투자와 글로벌 시장에서의 경쟁력 강화에 기여하고 있습니다. 특히 데이터센터, 클라우드 컴퓨팅, AI 기기 등 고성능 메모리 수요가 급증하는 분야에서 SK Hynix 의 128 레이어 3D NAND 플래시 메모리 제품이 핵심 솔루션으로 자리매김하고 있습니다. 또한, 이 제품은 환경 친화적이고 에너지 효율적인 설계로 인해 데이터센터의 전력 소비 절감에도 크게 기여하고 있습니다.
SK Hynix 는 앞으로도 지속적인 기술 혁신을 통해 고객들에게 더 나은 메모리 솔루션을 제공해 나갈 계획입니다. 특히 차세대 메모리 기술 개발과 함께 다양한 산업 분야의 요구에 부응하는 맞춤형 메모리 제품을 개발하여 글로벌 시장에서 더욱 강력한 경쟁력을 확보해 나갈 것입니다.
- SK 하이닉스와 Solidigm 의 IPO 가 진행되고 있습니다.
- SK 하이닉스는 시장 변동성으로 인해 미국 IPO 검토를 중단했다고 밝혔습니다.
5. 타임즈카, 운전면허증 등 이미지 146 만 장에 외부 전송 흔적 발견, 1 인당 3000 엔 상당의 위로금과 55 억 엔의 특별손실
무슨 일이 일어났나
파크 24 는 10 월 23 일 자회사인 타임즈모빌리티가 운영하는 카셰어링 서비스인 '타임즈카'에 대한 무단 접근 사건이 외부 전문 기관의 조사로 결론이 났다고 발표했습니다. 사고의 원인은 웹 시스템의 취약점으로, 공격자는 침투한 후 시스템 내 정보를 탐색하고 획득한 정보를 바탕으로 데이터베이스 및 파일 영역에 접근했습니다. 이름, 주소, 생년월일, 운전면허 정보 등을 포함한 계정 정보 6,628,007 건과 암호화되어 보관 중인 운전면허증 등 본인 확인 서류 이미지 1,464,800 건에 외부로 전송된 흔적이 발견되었습니다. 이미지 관련 사항에 대해 회사는 지금까지 약 160 만 건에 누설 가능성이 있다고 추정하고 있었습니다. 암호화된 이미지는 즉시 내용을 확인할 수 있는 상태는 아니지만, 향후 복호화될 가능성을 완전히 부정할 수 없으므로, 이미지가 전송된 이용자에게 현금 또는 상품권으로 3,000 엔 상당의 위문금을 지급합니다. 위문금 및 대응 비용으로 55 억 엔의 특별 손실을 예상하고, 2026 년 10 월 분기 순이익 전망을 440 억 엔에서 385 억 엔으로 하향 조정했습니다. 이미지는 지금까지 회원 가입 기간 중 및 탈퇴 후 7 년간 보관해 왔으나, 앞으로는 등록 확인이 완료되면 즉시 삭제하고, 현재 보관 중인 이미지도 10 월 말까지 삭제할 예정입니다.
저의 견해
ITmedia 의 시뮬레이션에 따르면, 각각 3000 엔을 지불하여 146 만 4800 건을 확보하면 위자료만으로도 약 44 억 엔이 됩니다. 가입 시 한 번만 확인하면 되는 이미지를, 탈퇴 후에도 7 년간 보관하도록 규정되어 있었습니다. 불필요한 데이터를 보유하지 않는 것이 가장 저렴하고 효과적인 보호 방법이라고 저는 생각합니다.
- 제공된 1 차 번역문에는 미번역된 부분이 포함되어 있어, 원문 PDF 파일의 실제 내용을 확인하지 못했습니다. 따라서 구체적인 문장 교정이 불가능합니다. 원문 텍스트를 직접 제공해 주시면 즉시 수정해 드리겠습니다.
- 죄송합니다. 제공된 URL(https://www.park24.co.jp/news/pdf/20261023_01.pdf)은 현재 접근할 수 없거나 해당 파일이 존재하지 않습니다. 따라서 요청하신 37/46 번 청크의 내용을 확인하여 번역해 드릴 수 없습니다.
파일 링크가 정상적으로 작동하거나 올바른 URL 을 제공해 주시면, 즉시 자연스럽고 정확한 한국어 번역을 드리겠습니다.
- 위 1 차 번역문에 미번역된 어휘가 있다면 매끄럽고 완벽한 한국어로 교정하세요. 고유명사, 인명, 수치는 원문 그대로 보존하고, 최종 한국어 결과만 출력하세요.
오늘의 한 마디
1 억 8000 만 줄의 증명은 사람이 모두 읽지 않아도 정확성을 확인할 수 있습니다.
클로드의 증명은 RISC-V 와 Linux 의 형식 모델, 증명된 명제, 그리고 Rocq 체크러의 세 가지 요소가 모두 정확함을 전제로 합니다. 사람이 검증해야 할 대상은 이제 1 억 8 천만 줄에서 이 세 가지 요소로 줄어든 것입니다. 다만, 이 세 가지 요소 중 하나라도 오류가 있다면 증명의 결론은 더 이상 신뢰할 수 없게 됩니다.
全ニュースの読み上げは、ポッドキャスト版で。Spotifyで聴く・Amazon Musicで聴く
내일 아침에도 AI 와 테크 뉴스 중 5 가지를 선별해 드리겠습니다. 구독해 주시면 출퇴근 시간이나 아침 준비 시간 틈에 읽으시면 됩니다.
PuriMagic 의 Substack 에서 월요일부터 금요일까지 아침 7 시 전후에 AI 와 테크 뉴스레터를, 평일 오후 6 시에 심층 분석 기고물을 무료로 이메일로 발송하고 있습니다.
무료 구독: https://purimagic.substack.com/subscribe
(이 기사의 Substack 버전: https://purimagic.substack.com/p/anthropicclaude123oss4)
출처: note 원문
번역: Qwen 3.5(.48) 초벌 + 교정 25청크
원문 보기 | 출처: note.com