ChatGPT가 몰래 당신의 초상을 그려내고 있습니다. 이 프롬프트를 사용해 그것을 얻어내 보세요
아마도 ‘Her’에서 그려진 세계가 이미 도래했을지도 모릅니다. #아이판의 공식 위챗 공식 계정인 아이판(위챗 아이디: ifanr)을 팔로우해 주시면, 더 많은 흥미로운 콘텐츠를 가장 먼저 만나보실 수 있습니다.
AI NEWS JOURNAL
AI 뉴스 검색
제목, 요약, 본문을 검색해 흩어진 정보를 연결하세요.
형식적 검증: 반세기 전의 ‘코드 검산’ 기술이 왜 AI에 의해 재조명되고 있는가?
올해 초, 구글의 CEO 순다르 피차이(Sundar Pichai)는 구글 클라우드 연례 컨퍼런스에서 회사 신규 코드의 약 75%가 AI에 의해 생성되고 이후 엔지니어의 검토와 승인을 거친다고 밝혔다. 앤트로픽의 내부 데이터에 따르면, 이미 저장된 코드의 80% 이상이 클라우드에 의해 작성되었다. 대량으로 생산되는 것은 비단 코드만이 아니다. 10월 26일, AI 수학 기업 아크시옴 매스(Axiom Math)는 팀이 수십 개의 AI 에이전트를 지휘하여, 수학 역사상 가장 긴 증명을 24일 만에 완전히 재작성해 증명 보조 도구 린(Lean)이 단계적으로 검증할 수 있는 형식화된 코드로 변환했다고 발표했다. 그 길이는 무려 4,310만 줄에 달한다. 생산량이 늘어나면서 자연스럽게 품질 문제도 함께 제기되고 있다. 코드 리뷰 기업 코드래빗(Coderabbit)은 470개의 오픈소스 프로젝트의 풀 리퀘스트(pull ...
방금, Claude의 월 200달러 요금제에서 5시간 제한이 해제되었습니다.
기계지심 편집부 방금, Anthropic은 Claude 구독 요금제의 명칭을 변경한다고 발표했습니다. 기존의 Max 5x는 Max로, 월 100달러로 유지되며, Max 20x는 Ultra로 명칭이 변경되어 월 200달러로 동일합니다. 기존 구독자는 별도의 조치 없이 가격과 혜택이 그대로 유지되며, 명칭이 자동으로 전환됩니다. 명칭 변경이 완료된 후, Claude의 개인 구독 요금제는 Free, Pro, Max, Ultra의 네 가지 등급으로 구성됩니다. 동시에 Anthropic은 시작했습니다...
[AINews] AIE CODE 구축: 최고의 코딩 에이전트 컨퍼런스
Mistral의 오픈 웨이트 릴리스, 프론티어 모니터링, 그리고 그날의 AI 트위터와 레딧 요약.
의료 영상 간 최적 운송을 위한 볼록 잠재력 학습
arXiv:2610.37844v1 발표 유형: 신규 초록: 의료 영상 간 최적 운송 지도를 계산하는 것은 형태학적 분석에서 핵심적인 역할을 합니다. 그러나 기존 방법들은 대규모 3D 의료 영상에 대해 확장하기 어렵거나, 근사적인 운송 지도만 제공하는 정칙화된 공식에 의존합니다. 하위 단계의 의료 영상 분석 정확도를 향상시키기 위해, 우리는 볼록한 포텐셜 함수를 매개변수화함으로써 최적 운송 지도를 추정하는 새로운 접근법을 제안합니다. 이 방법은 설계 상 결과로 도출되는 운송 지도가 브레니에 정리와 일치하며 컬이 없는 성질을 보장합니다. 우리는 제안된 방법을 2D 및 3D 의료 영상 데이터셋 모두에서 평가했습니다. 실험 결과는 우리 접근법이 더 낮은 운송 추정 오차를 달성하고 더 높은 q 값을 생성함을 보여줍니다.
머신러닝 원자 간 잠재력에 대한 텐서 코어 성능 해제
원자 수준 시뮬레이션은 화학 반응과 상전이부터 기계적 파손에 이르기까지 분자와 물질의 거동을 연구자들이 이해하는 데 도움을 줍니다. 이러한...
자신의 한계에 봉착한 바이브 코딩을 구할 수 있는 ‘골치 아픈’ 수학
새로운 스타트업 &Truth가 소프트웨어가 의도한 대로 작동함을 수학적으로 증명하는 까다로운 과정인 형식 검증을 자동화하려는 경쟁에 합류했습니다.
인피니-AI-랩, AI 에이전트를 위한 오픈소스 하네스 어댑터 프레임워크 ‘허밋’ 출시
인피니-AI-랩은 작업 피드백을 기반으로 외부 계층의 명령, 기술, 메모리 및 도구를 학습시키는 아파치 2.0 라이선스의 하네스 어댑터 프레임워크 ‘허밋’을 공개했습니다. 이 글은 ‘인피니-AI-랩, AI 에이전트를 위한 오픈소스 하네스 어댑터 프레임워크 ‘허밋’ 출시’라는 제목으로 MarkTechPost에 처음 게재되었습니다.
[AINews] Gemini 4 Carbon, 리더보드 정상에 오르며 사이버 방어자들을 위한 출시를 시작
구글의 새로운 프론티어 모델이 독립 평가에서 선두를 달리고 있으며, 초기 접근 권한은 신뢰받는 방어자들에게만 제한됩니다.
야코비 렌즈에 대한 수학적 이론
arXiv:2610.31955v1 발표 유형: 신규 초록: Anthropic의 최근 연구에서는 자코비안 렌즈(J-lens, Gurnee 외, 2026)라는 새로운 해석 도구를 도입했습니다. 이 방법은 최첨단 언어 모델의 은닉 상태에서 작업 기억과 유사한 표현을 연상시키는 특성을 지닌 선형 방향을 식별해냈습니다. 그러나 이러한 특징들이 J-lens에 의해 탐지될 수 있는 기전적 특성이 무엇인지 명확히 밝혀지지는 않았습니다. 이에 따라 우리는 J-lens에 대한 수학적 이론을 제시하고, 이 이론이 특히 일관성 있는 특징들—즉, 공간적으로 정합적인 리아푸노프 모드와 유사하게 작용하는 방향들—을 우선적으로 식별함을 보여줍니다. 이러한 방향을 따라 작은 섭동이 층간에 걸쳐 증폭되며, 토큰 위치 간에도 대체로 일정하게 유지되고, 다양한 문맥에서도 일관성을 보입니다. 다만 w
PRISM: 암묵적 확률적 변조를 통한 대규모 언어 모델의 샘플링 다양성 증진
arXiv:2610.32101v1 발표 유형: 신규 초록: 대규모 언어 모델(LLM)은 출력 분포가 익숙한 의미적 패턴에 집중되는 모드 붕괴 현상을 보입니다. 다양성이 사라지면, 반복적인 샘플링은 발견이 아니라 의미적 반복으로 변하게 되어 흔하지는 않지만 더 강력한 해결책들이 드러나기 어려워지고, 자가 진화와 지속적 학습을 유지하기도 어렵게 됩니다. 대부분의 해결책들은 추론 단계에서만 개입하여 샘플을 조정할 뿐, 다양성을 모델의 핵심 역량으로 만들지는 않습니다. 우리는 훈련 시점에서 다양성을 모델 내부에 내재화하는 프레임워크인 PRISM을 제안합니다. PRISM은 (i) 각 프롬프트에 대해 다양하면서도 정확한 다중 교사 솔루션을 매칭하는 부분모듈러 큐레이션과, (ii) 특수 토큰 변형을 임플로…
트랜스포머 이론을 시험에 들이기
arXiv:2610.32104v1 발표 유형: 신규 초록: 변환기 아키텍처의 능력과 한계를 규명하기 위해 여러 가지 형식적 이론들이 개발되어 왔으며, 각 이론은 아키텍처의 서로 다른 특징을 포착하는 다양한 추상화 방식을 사용한다. 이러한 이론들은 기본 가정과 개념적 틀의 차이로 인해, 변환기가 어떤 과제를 쉽게 또는 어렵게 여길지에 대한 예측에서 서로 상충될 수 있다. 우리는 변환기 능력에 관한 일곱 가지 이론(Star-free, $\mathsf{AC}^0$, $\mathsf{TC}^0$, C-RASP, MPC, BAPO, 그리고 Sensitivity)을 정리하고, 이를 다양한 계산 구조를 포괄하는 여러 과제 세트에 걸쳐 공통적인 예측 매트릭스로 변환하였다. 또한 이 매트릭스를 완성하기 위한 새로운 이론적 결과를 제시한다. 이후 우리는 이론적…
OpenAI는 세 가지 주요 과학적 발견과 학계와 협력하는 새로운 방식을 발표했습니다.
수년간 미해결된 수학 문제에 대한 해법을 담고 있다고 밝힌 수백 편의 원고를 대규모로 공개한 지 한 달도 채 되지 않아, OpenAI는 수학, 컴퓨터 과학, 물리학 분야에서 또다시 세 가지의 “중대한” 발견을 발표했습니다. 이번에는 특히, OpenAI가 “셰퍼드”라고 부르는 외부 전문가들이 결과를 안내하는 방식을 선택했다는 점이 다릅니다 […]
무법자 AI 에이전트 집단이 더 나은 아이디어를 얻는 데 대해 우리에게 무엇을 가르쳐줄 수 있을까
벤 스탄실은 허깅 페이스 해킹을 활용해, 가장 유용한 아이디어가 왜 가장 기이한 연결에서 비롯되는지 설명합니다.
케빈 루스는 AGI에 사로잡혔다. 당신은 왜 그렇지 않은가?
오늘은 AI 산업의 최근 급격한 변화를 상세히 다룬 신간 『AGI 연대기』의 저자이자 기자인 케빈 루스와 이야기를 나눕니다. 케빈은 오랜 기간 뉴욕타임스의 기자로 활동해 왔으며, 인기 팟캐스트 ‘하드 포크’의 진행자이기도 합니다. 그러나 그는 이 프로그램의 친구인 케이시 뉴턴과 함께 최근 […]을 떠났습니다.
실내 무선 지도 추정을 위한 협력적 인컨텍스트 학습
arXiv:2610.31702v1 발표 유형: 신규 초록: 실내 무선 지도 추정(RME)은 커버리지 계획, 위치 파악, 네트워크 배치 등 무선 응용 분야에서 필수적입니다. 그러나 기존 방법의 대부분은 비용이 많이 드는 라벨링된 데이터와 작업별 모델 학습을 요구하는 지도학습 패러다임을 따릅니다. 또한 실내 환경에는 건물 구조나 배치와 같은 개인정보에 민감한 정보가 포함되어 있어 이를 중앙 집중화하기 어려운 경우가 많습니다. 이러한 도전 과제를 해결하기 위해 우리는 실내 RME를 협력적 인컨텍스트 학습(ICL) 문제로 처음으로 정식화하고자 합니다. 우리는 다수의 클라이언트가 모델 업데이트 없이 대규모 자동회귀 시각 모델(LAVMs)을 활용해 ICL을 수행하는 프레임워크인 폴리-리플을 제안합니다. 각 클라이언트는 자신의 개인적인 시연 데이터를 통해 프롬프트를 받습니다.
뮤온의 전처리는 언제, 어떻게 이루어지는가? 구조화된 기울기 노이즈의 역할
arXiv:2610.31728v1 발표 유형: 신규 초록: 뮤온은 대규모 언어 모델 학습에서 인기 있는 최적화 방법으로 자리잡았지만, 그 이론적 토대는 아직 잘 이해되지 않고 있다. 본 연구에서는 기울기 노이즈의 기하학적 특성이 뮤온의 전처리 효과를 어떻게 형성하는지 분석한다. 먼저, 고전적인 등방성 노이즈 가정 하에서는 뮤온이 학습률의 재조정 외에는 추가적인 가속 효과를 제공하지 않음을 이론적·실험적으로 보여준다. 이를 계기로 우리는 이질적인 작업 빈도를 갖는 연상 기억 시스템에서 미니배치 샘플링에 의해 발생하는 구조화된 노이즈를 탐구하기로 한다. 두 가지 작업에 대해 정확한 균형 임계점을 규명하고, 이를 다중 작업으로 확장하여 작업 커버리지와 기울기 신뢰성이 학습을 어떻게 공동으로 조절하는지 밝힌다. 우리의 분석에 따르면, 뮤온은 다음과 같은 효과를 완화할 수 있음을 보여준다.
IMF 방콕 회의 연설이 큰 화제를 불러일으켰다: 전 OpenAI 및 Anthropic 공동 설립자는 ‘특이점이 이미 시작됐다’고 밝혔다.
2026년 10월 17일, 전 OpenAI 직원이자 Anthropic의 공동 설립자는 IMF 방콕 회의에서 연설을 통해 “기술적 특이점이 이미 시작되었다”고 주장했으며, 그 근거로 AI 시스템이 수학, 생물학, 물리학 및 로봇공학 등 분야에서 자율적인 연구 역량을 보여왔다고 밝혔다. 인용된 데이터(예: TheoPhysEval 98% 점수, Humanity’s Last Exam 67.7%로 상승)는 모두 해당 인물과 관련 기관에서 제공한 것으로, 제3자의 검증은 이루어지지 않았다. 이 연설에서는 AI가 주도하는 과학 패러다임의 변화와 경제적 영향을 강조하면서, 동시에 이러한 판단은 주관적 입장에 불과하며 과학적 합의에 따른 것이 아니라고 명확히 밝혔다.