공식 발표해외Google DeepMind
심층 소프트웨어 검증 위한 AlphaProof Code 공개
Introducing AlphaProof Code: a breakthrough in verifying complex software at depth
AlphaProof Code 에이전트는 Signal의 핵심 암호화 검증을 위해 Lean으로 300만 줄의 증명을 작성했다.
실시간
국내외 뉴스 · 기업 공식 발표 · 논문 · 영상 · 커뮤니티 소식을 한국시간 기준으로 제공합니다. 같은 소식은 하나로 묶고, 기본은 핵심만 보여 드립니다.
핵심만 = 기업 공식 발표, 여러 매체 · 채널이 함께 다룬 소식, 반응이 아주 큰 글.
Introducing AlphaProof Code: a breakthrough in verifying complex software at depth
AlphaProof Code 에이전트는 Signal의 핵심 암호화 검증을 위해 Lean으로 300만 줄의 증명을 작성했다.
Helping caregivers use AI in everyday life
OpenAI Academy가 미국 5개 도시에서 간병인을 대상으로 실용적 AI 기술 습득을 돕는 무료 ChatGPT 워크숍을 진행한다.
Introducing Scribe v3 and v3 Live, our most accurate speech to text models
Scribe v3와 Scribe v3 Live는 녹음 및 실시간 음성 인식 모델로, Scribe v2 대비 단어 오류율을 27% 줄였다.
WAV vs MP3: How to choose the right audio file format
파일 크기, 음질, 호환성을 비교하여 녹음, 편집, 공유 및 음성 복제에 적합한 오디오 형식을 확인할 수 있다.
Claude Fable 5.2 Just Changed Everything
다른 보도 The Decoder
Opening the datasets behind our AI weather models
지구를 명확하게 관측할 수 있는 기초 강수량 및 정지궤도 위성 데이터셋이다.
Instead of collecting dust, Claude makes your old Kindle useful again
작성자는 7세대 Kindle을 수동 탈옥한 후 Claude가 내부 데이터를 수정할 수 있도록 설정한 경험을 공유했다.
AI usage generates a fragile codebase
Hacker News 점수 632점, 댓글 609개가 기록되었다.
Fable 5.2 not only has guardrails against AI acceleration, its capabilities were capped in training too
작성자는 이러한 이중 안전장치가 과도하다고 평가하며 공개 가중치 LLM이 필요한 이유라고 언급했다.
New to midjourney, but i kinda love it, nothing else like it I've used
"But I'd make one distinction..."
일반적인 문장에 대해 예외적인 사례나 요청하지 않은 기술적 세부사항을 지나치게 지적하는 현상에 대한 불만이 제기되었다.
다른 보도 r/LocalLLaMA
The Adeptus Mechanicus welcomes its first mathematics department.
AI is changing cancer treatment — and a new breakthrough shows just how far we've come
Google의 AlphaFold부터 맞춤형 백신에 이르기까지 AI가 암 연구를 변화시키고 있다.
다른 보도 r/ClaudeCode
Fable 5.2 Max Ultracode on $20 pro plan
Closing the AI guidance gap in education
New ThinkYoung의 조사와 OpenAI의 EMEA 교육 파트너십 사례를 통해 교사 지원, AI 문해력 및 자기주도 학습 증진 방안을 제시한다.
Singapore Airlines elevates travel & work with OpenAI technology
싱가포르 항공은 OpenAI 모델과 API를 활용해 고객 지원과 직원 생산성을 향상시켰으며 Kris 챗봇의 고객 만족도를 2배로 높였다.
Fireworks AI security breach impacts Notion and their customers
Hacker News 점수 164점, 댓글 64개를 기록했다.
Work at the Frontier: AI’s effect on freelance work
OpenAI와 Upwork의 연구에 따르면 프리랜서 수요 변화, 새로운 기술 조합, AI 프로젝트 예산 및 시간 증가가 확인됐다.
This Airtaxi is Ready For Primetime!
최신 AI 발전 동향과 도구를 공유하는 소식이다.
다른 보도 MIT Technology Review
You Can See Every Ting
CoreWeave bond yield tops 16% as AI credit stress rises
Hacker News 점수 196 · 댓글 193
OpenAI Guardrails Defeated
Kuken Industries searches 70 years of drawings in minutes
Kuken Industries는 Recursive와 구축한 OpenAI API 기반 시스템으로 70년 치 도면을 수 분 만에 검색하고 있다.
addyosmani/agent-skills: Production-grade engineering skills for AI coding agents.
Production-grade engineering skills for AI coding agents.
Moonlit skies and warm autumn tones
This completely reshapes the economy
Tomorrow Nvidia Dies
특정 인물에 관한 왜곡된 소문 사진을 두고 작성된 장난성 게시물이다.
NOTHING will be smarter than Fable 5.2...
Anthropic이 코딩, 로봇공학, 물리 분야 등에서 뛰어난 성능을 보이는 Claude Fable 5.2와 Mythos 5.2를 출시했다.
Anthropic launches roadshow for proposed initial public offering
Decision Models in Hugging Face
Pay for Hugging Face Hub with your Google Cloud Account
More ways to work with Claude: Sheets, Whiteboards, and Interactive Connectors
Work at the speed of thought
How Curative is building a national provider network with agents on Claude
Curative의 계약 체결 에이전트는 주당 2,000건 이상의 의료 제공자 계약을 협상한다.
Cogent and OpenAI build cyber defense factories for enterprises
Cogent가 OpenAI 모델과 기업 맥락을 결합하여 에이전트를 통한 취약점 자동 보완 시스템을 구축한다.
Evaluating the Evaluators: Investigating LLM Judges for Personalized Writing Style Assessment
NeurIPS 2026 워크숍에 수락된 이 논문은 사용자가 선호하는 문체가 정해졌을 때 LLM 심사위원의 평가 정확도를 분석한다.
On the Importance of Gating: Memorization vs. In-Context Learning in State Space Models
상태 공간 모델(SSM)은 트랜스포머의 대안으로 부상했으나, 트랜스포머 대비 성능 격차가 지속되는 원인과 게이팅의 역할을 분석한다.
Weighted State Souping for Efficient Long-Context Retrieval
NeurIPS 2026 PALM 워크숍에 수락된 이 논문은 빠른 추론과 고정 상태 크기를 제공하는 SSM 모델에 가중 상태 수핑을 적용하는 방안을 다룬다.