Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
GeekNews헤드라인
일리야 서츠케버 추천 AI 핵심 논문 목록 요약
이 글은 일리야 서츠케버가 존 카맥에게 추천했다고 알려진 현대 AI의 핵심 논문 목록을 요약 정리한 프로젝트를 소개합니다. 이 목록은 딥러닝, 컴퓨터 비전(CNN), 순차 모델링(RNN/LSTM) 등 주요 발전 흐름을 다루며, 각 논문의 핵심 기여와 연구 배경을 체계적으로 제공하여 독자들이 AI 기술의 기반 지식을 습득하는 데 도움을 줍니다.
7월 8일1
GeekNews헤드라인
언어 모델 안의 글로벌 워크스페이스
Anthropic의 J-lens 연구를 통해 Claude 모델 내부의 '글로벌 워크스페이스'와 유사한 메커니즘을 분석합니다. 모델이 자신의 결정을 되돌아보고 정직하게 보고할 수 있는 'access consciousness'적 특성이 J-space를 통해 관찰됨을 설명합니다.
7월 7일2
GeekNews헤드라인
코드 청결도는 코딩 에이전트에 영향을 미치는가? 통제된 최소쌍 연구
코드 청결도가 코딩 에이전트 성능에 미치는 영향을 다룬 연구에 대해 방법론적 한계를 지적하며 비판적 분석을 제공합니다. 실험 설계의 통제 미흡을 지적하는 동시에, 실무적 관점에서 깨끗한 코드베이스와 린터 활용이 에이전트 효율성에 미치는 중요성을 강조합니다.
7월 6일2
GeekNews헤드라인
비강 스프레이로 뇌 노화 역전 가능성
비강 스프레이를 통해 microRNA를 전달하여 뇌의 만성 염증을 억제하고 미토콘드리아 기능을 회복시키는 연구가 발표되었습니다. 동물 실험 결과 인지 기능 개선 효과가 확인되었으며, 향후 치매 및 뇌졸중 치료로의 확장 가능성을 제시합니다.
7월 6일1
GeekNews헤드라인
거대 열대 나무는 꼭대기 가지까지 물을 잘 끌어올린다는 새 연구
거대 열대 나무의 수분 수송 메커니즘과 식물 물리학에 관한 고찰을 담고 있습니다. 공동현상(cavitation)을 피하는 물리적 원리와 계산생물학 등 AI가 기여할 수 있는 생물학적 연구 분야를 언급합니다.
7월 5일1
GeekNews헤드라인
Leanstral 1.5: 모두를 위한 증명 풍요
Mistral의 새로운 소형 모델 Leanstral 1.5 출시와 그에 따른 기술적/비즈니스적 논쟁을 다룹니다. 모델의 비용 효율성과 OCR 성능에 대한 비판적 시각과 함께, 모델의 신뢰성을 증명하는 과정에서 발생한 테스트 버그 사례를 분석합니다.
7월 4일0
GeekNews헤드라인
개구리 유래 장내 세균이 생쥐 종양을 제거함
개구리 유래 장내 세균이 쥐의 종양을 제거하는 데 효과적이라는 연구 결과에 대한 분석입니다. 세균이 종양 미세환경에서 증식하며 면역 반응을 유도하는 기전을 설명하며, 실험 결과의 유효성과 한계를 다룹니다.
7월 2일1
GeekNews헤드라인
"프론티어 AI가 의료 전문 툴 이겼다"는 논문 재검증해보니 — 채점자간 일치도 0.10, 채점자가 곧 참가자
범용 프론티어 AI 모델이 의료 전문 툴보다 우수하다는 논문의 방법론적 결함을 분석합니다. 채점자 간 낮은 일치도, 이해상충 의혹, 데이터 오염 및 통계적 오류 등 연구의 신뢰성을 저해하는 핵심 문제점들을 다룹니다.
7월 2일1
GeekNews헤드라인
처음부터 조립한 합성 세포가 처음으로 성장·분열함
합성생물학자 Kate Adamala 연구팀이 세포골격 없이 단백질 표지를 이용해 세포막을 물리적으로 휘게 함으로써, 처음부터 조립한 합성 세포의 성장과 분열을 성공시켰습니다. 이번 연구는 합성 세포가 복잡한 분열 과정을 거칠 수 있음을 보여준 중요한 진전이지만, 학계의 심사 과정 및 연구 윤리와 관련된 논란도 함께 제기되었습니다.
7월 2일1
GeekNews헤드라인
LongCat-2.0 공개 - Nvidia 없이 학습한 1.6조 파라미터 오픈소스 모델
1.6조 파라미터 규모의 MoE 오픈소스 모델인 LongCat-2.0이 공개되었습니다. Nvidia GPU가 아닌 AI ASIC 슈퍼팟을 활용해 학습에 성공했으며, LSA 기술을 통해 1M 컨텍스트 처리 성능을 강화했습니다.
7월 1일1
GeekNews헤드라인
Leanstral 1.5
Leanstral 1.5는 Lean 4 형식 증명 엔지니어링에 최적화된 업데이트 모델입니다. 총 119B 파라미터 규모를 가지며, 자동 정리 증명과 자동 형식화 성능을 목표로 합니다.
7월 1일1
GeekNews헤드라인
Ante: 빌림 검사와 참조 카운팅을 결합하는 새 방식
Ante는 참조 카운팅의 유연성과 빌림 검사의 안전성을 결합한 새로운 시스템 프로그래밍 언어 설계입니다. shape-stability와 temporary uniq conversion을 통해 Rust의 런타임 패닉이나 Swift의 독점 접근 검사 오버헤드 없이 안전한 가변 빌림을 구현하는 것을 목표로 합니다.
6월 30일1
GeekNews헤드라인
GLM 5.2, Semgrep IDOR 벤치마크에서 Claude 앞서
GLM 5.2 모델이 Semgrep IDOR 벤치마크에서 Claude를 앞서는 성능을 보이며 실무형 모델로서의 가치를 입증했습니다. 성능 대비 비용 효율성이 매우 뛰어나며, 특히 보안 버그 탐색 및 코딩 에이전트 환경에서 강력한 성능을 발휘합니다.
6월 29일2
GeekNews헤드라인
Prism: 타입 지정 효과를 갖춘 비순수 함수형 언어
Prism은 효과(effects)를 제어 구조로 다루며 타입 지정 효과를 갖춘 비순수 함수형 언어에 대한 연구 및 논의를 담고 있습니다. 모나드 대신 효과를 사용하고, CBPV(call-by-push-value) 중간 표현을 활용하여 제어 흐름을 추상화하는 혁신적인 설계를 보여줍니다.
6월 28일1
GeekNews헤드라인
DSpark: Speculative decoding을 활용한 LLM 추론 가속화 [pdf]
DSpark는 병렬 드래프터의 토큰 간 의존성 부재 문제를 해결하기 위해 준자기회귀 생성과 신뢰도 스케줄링을 결합한 추측 디코딩 프레임워크입니다. 병렬 백본과 경량 순차 모듈을 결합하여 수락률 저하를 방지하고, 하드웨어 인지 스케줄러를 통해 검증 길이를 동적으로 조정하여 추론 속도를 극대화합니다.
6월 28일1
GeekNews헤드라인
오픈 웨이트 LLM과 폐쇄형 LLM의 격차
오픈 가중치 모델과 폐쇄형 API 모델의 차이점과 미래 생태계를 분석합니다. 오픈 모델은 성능의 영속성을 보장하며, 향후 모델 학습사와 추론사 간의 라이선스 구조로 발전할 가능성을 제시합니다.
6월 27일1
GeekNews헤드라인
AI가 RFIC 설계의 “흑마술”을 배우다
AI 기술의 모호한 정의와 'AI'라는 용어가 가진 마케팅적 함의를 비판적으로 고찰합니다. 전통적 기계학습(ML)과 LLM을 구분하여 명확하게 정의할 필요성을 강조하며, 기술적 실체와 대중적 환상 사이의 간극을 다룹니다.
6월 27일1
GeekNews헤드라인
초음파로 뇌를 촬영하기
초음파를 이용한 뇌 영상 촬영 기술의 가능성과 한계를 분석합니다. 저강도 초음파가 뇌 미세구조에 미칠 수 있는 영향과 함께, 기존 MRI 대비 경제성과 접근성 측면의 장점 및 기술적 검증 필요성을 다룹니다.
6월 27일1
GeekNews헤드라인
Herculaneum 두루마리 전체를 처음으로 해독
Vesuvius Challenge 팀이 AI 기술을 활용해 탄화된 Herculaneum 두루마리를 파괴하지 않고 해독하는 데 성공했습니다. 이 기술은 잉크와 파피루스를 구분하여 고대 문헌을 복원하며, 인류의 고대 지식 이해 방식을 근본적으로 바꿀 것으로 기대됩니다.
6월 26일1
GeekNews헤드라인
Code as Agent Harness — 코드를 에이전트의 실행 기반으로 보는 102페이지 서베이
UIUC, Meta, Stanford가 공동 발표한 서베이 논문으로, 코드를 단순한 결과물이 아닌 에이전트의 실행 기반(Harness)으로 정의합니다. 에이전트 시스템을 인터페이스, 메커니즘, 스케일링의 3계층 구조로 분석하며 에이전트 성능 향상을 위한 설계 방향을 제시합니다.
6월 25일2