AI 뉴스 검색

Ginux: 새로운 커널이 리눅스 사용자 공간을 실행하며, 인간 지향 AI 엔지니어링을 통해 제작됨

기사 URL: https://zenodo.org/records/23682548 댓글 URL: https://news.ycombinator.com/item?id=50424147 포인트: 27 # 댓글: 36

단시간 푸리에 변환의 병렬 구현 비교 연구

arXiv:2610.38069v1 발표 유형: 신규 초록: 단시간 푸리에 변환(STFT)은 긴 신호의 짧은 지속 시간 창에 대해 푸리에 변환을 계산하며, 이를 통해 주파수가 시간에 따라 어떻게 변화하는지를 특성화한다. 푸리에 변환 알고리즘, 특히 고속 푸리에 변환(FFT) 알고리즘은 병렬 컴퓨팅을 활용하기 위해 잘 발전되어 왔지만, 병렬 단시간 푸리에 변환 알고리즘의 성능을 이해하는 데 관한 연구는 아직 제한적이다. 본 연구에서는 FFT 기반 알고리즘과 준병렬 피드포워드 알고리즘 두 가지를 구현하고, 서로 비교 분석하였다. 그 결과, 낮은 동시성 환경에서는 준병렬 알고리즘이 실행 시간 면에서 우수하지만, …

DistOptimize: 분산 프로토콜의 자동 최적화

arXiv:2610.39017v1 발표 유형: 신규 초록: 분산 합의 및 일관성 프로토콜은 이해하기 어렵지만 클라우드의 기반이 되므로, 배포 전에 종종 엄격한 증명과 형식 검증 과정을 거칩니다. 그러나 프로토콜 수정에는 이러한 수준의 엄밀성이 거의 적용되지 않으며, 생산 환경에서는 이러한 수정이 빈번히 발생해 안전성을 위협합니다. 본 논문에서는 수동 수정으로 인한 안전성 위반 위험을 제거하기 위해, 분산 프로토콜을 위한 자동 최적화 도구인 DistOptimize를 제안합니다. DistOptimize는 학술용 언어에서 개발된 처리량 최적화 기법을 실제 운영 환경에서 사용되는 프레임워크에 적용하고, Rocq 언어를 통해 재작성의 정확성을 검증하며, 교정과 ILP 기반 탐색을 결합하여 이를 자동으로 적용합니다.

TRACEs: 분산 과학 워크플로우를 위한 세밀한 임베디드 퍼베넌스

arXiv:2610.39981v1 발표 유형: 신규 초록: 대규모 과학 워크플로우는 분산된 HPC 자원에서 실행되므로, 과학 데이터 산출물이 어떻게 생성되는지와 왜 동일한 워크플로우 실행에서도 매우 다른 결과가 나올 수 있는지를 설명하기가 어렵습니다. 기존 시스템은 주로 분산 워크플로우 실행 또는 퍼베넌스 관리에만 집중하며, 세밀한 수준의 퍼베넌스를 분산 과학 데이터 아티팩트의 본질적 속성으로 다루는 경우는 드뭅니다. 우리는 TRACEs(고급 컨테이너화 실행을 위한 추적 가능한 런타임)를 제안합니다. 이는 분산된 컨테이너화된 과학 워크플로우를 위한 퍼베넌스 아키텍처로서, 생성된 모든 데이터 아티팩트에 데이터 계보와 실행 컨텍스트를 직접 내장합니다. 퍼베넌스를 워크플로우 오케스트레이션과 분리함으로써, TRACEs는 아티팩트 중심의 퍼베넌스를 일반화합니다.

머신러닝 원자 간 잠재력의 텐서 코어 성능 해제

원자 수준 시뮬레이션은 화학 반응과 상전이부터 기계적 파손에 이르기까지 분자와 물질이 어떻게 행동하는지 연구자들이 이해하는 데 도움을 줍니다. 이러한...

듣는 기계 만들기

파리스 스마라그디스 교수는 음성 인식, 음악 이해, 환경 모니터링 등 다양한 분야에 활용될 초인간 수준의 청력을 갖춘 컴퓨터를 개발하고 있습니다.

Waypoint: CPU용 GEMM의 분석적 모델링

arXiv:2610.34914v1 발표 유형: 신규 초록: 고성능 일반 행렬 곱셈(GEMM) 구현은 최고 성능을 달성하기 위해 GEMM을 신중히 선택된 타일로 분해하는 데 의존합니다. 우리는 특정 하드웨어와 입력 행렬의 형태에 맞는 최적의 타일 크기를 자동으로 식별하는 새로운 분석 모델인 Waypoint를 제시합니다. Waypoint는 메모리 계층 구조, 명령어 수준 병렬성 및 멀티스레딩과의 상호작용을 포함한 모든 아키텍처적 효과를 포착함으로써 주어진 타일 선택 시 달성 가능한 성능을 추정합니다. 이러한 추정치를 대리 변수로 활용하여 가능한 타일 크기의 공간을 탐색하고, 성능을 극대화하는 타일 크기를 식별합니다. 또한 Waypoint는 하드웨어 설계자가 실험적인 하드웨어 최적화에 대한 현실적인 성능을 추정하는 데에도 도움을 줍니다.

글쓰기 조언에서 원고 관리까지: 학술 퇴고를 위한 제약 변환 프레임워크

arXiv:2610.33001v1 발표 유형: 신규 초록: 학술적 퇴고는 정당한 글쓰기 목표 간의 충돌이 발생할 때 거버넌스상의 문제를 야기한다. 글쓰기 과정 및 사회과학 분야의 연구에 따르면, 퇴고는 재귀적이며 문장 표현에는 인식론적·학문적 차원의 맥락적 의무가 수반된다. 이러한 연구들은 중요한 제약 조건들을 규명하되, 간결성, 출판 매체 형식, 또는 스타일적 다양성이 증거와 주장의 한계와 충돌할 경우 어떤 목표가 우선해야 하는지에 대해서는 명확히 규정하지 못하고 있다. 본 논문은 퇴고를 순서화된 제약 조건 하에서의 허용 가능성 문제로 모델링한다. 작업별 불변량, 맥락적 제약 조건, 그리고 가변적인 표현 선택이 허용 가능한 범위를 규정하며, 주장 보전 계약은 증거와 판단을 권한 있는 주장의 한계와 연결한다. 네 가지 거버넌스 관련 명제가 이를 구체화한다

트랜스포머 이론을 시험에 들이기

arXiv:2610.32104v1 발표 유형: 신규 초록: 변환기 아키텍처의 능력과 한계를 규명하기 위해 여러 가지 형식적 이론들이 개발되어 왔으며, 각 이론은 아키텍처의 서로 다른 특징을 포착하는 다양한 추상화 방식을 사용한다. 이러한 이론들은 기본 가정과 개념적 틀의 차이로 인해, 변환기가 어떤 과제를 쉽게 또는 어렵게 여길지에 대한 예측에서 서로 상충될 수 있다. 우리는 변환기 능력에 관한 일곱 가지 이론(Star-free, $\mathsf{AC}^0$, $\mathsf{TC}^0$, C-RASP, MPC, BAPO, 그리고 Sensitivity)을 정리하고, 이를 다양한 계산 구조를 포괄하는 여러 과제 세트에 걸쳐 공통적인 예측 매트릭스로 변환하였다. 또한 이 매트릭스를 완성하기 위한 새로운 이론적 결과를 제시한다. 이후 우리는 이론적…

OpenAI가 세 가지 주요 과학적 발견과 학계와 협력하는 새로운 방식을 발표했습니다.

수년간 미해결이던 수학 문제의 해법을 담고 있다고 밝힌 수백 편의 원고를 대규모로 공개한 지 한 달도 채 되지 않아, OpenAI는 수학, 컴퓨터 과학, 물리학 분야에서 또다시 세 가지의 “중대한” 발견을 발표했습니다. 이번에는 특히, OpenAI가 ‘셰퍼드’라고 부르는 외부 전문가들이 결과를 안내하는 방식을 선택했다는 점이 다릅니다 […]

투자연구 에이전트 개발자 천완은 자체 개발 코드를 간소화하고 텐센트 위안바오 검색 API를 연동하여 금융 정보 검색 효율을 높였습니다.

2026년 10월 26일, 신에너지 산업 체인의 유료 투자·리서치 브리프 작성자 천완은 2년간 유지해 온 cleaner.py(웹페이지 정제 스크립트)와 sites.yaml(387개의 정보원 URL 목록)을 삭제하고, 텐센트 클라우드가 업그레이드한 위안바오 검색 API(SearchPro)에 공식적으로 접속했다. 테스트 결과, 해당 API는 구조화된 요약 생성, 시의성 인식, 권위 있는 정보원 식별(VR 카드), 다차원 검색 파라미터 지원 등에서 기존 방안보다 월등히 우수하며, 이를 통해 인력에 의한 정보원 관리 시간을 심층 연구로 전환하는 데 기여하고 있다.

추천 이유：본 자료는 2026년 10월 26일 InfoQ가 발표한 현장 기술 실무 보고서를 바탕으로 하며, 개발자의 실제 워크플로우 발전 과정을 상세히 담고 있습니다. 이는 웹 페이지 파싱 규칙과 피드 화이트리스트를 수동으로 관리하던 단계에서, 전문적인 온라인 검색 API를 활용해 자동화되고 검증 가능하며 시의성까지 보장되는 정보 수집으로 진화하는 과정을 보여줍니다. 사건의 시간은 명확히 표기되어 있으며( publishedAt: 2026-10-26T14:57:35Z ), 주체와 행위도 구체적입니다( 천만 삭제 + SearchPro 연동 ). 그 결과 역시 검증 가능합니다( 커버리지 기준 충족, 추가 질의 감소, 681ms 내 자동 호출 ). 또한 모든 기술 세부사항( 파라미터, 요금 청구, MCP 프로토콜 버전 등 )은 원문에서 직접 인용된 것으로, 외부 추론이나 허구적 내용은 전혀 포함되어 있지 않습니다.

PaperFormalizer: Lean 기반 연구 논문의 저자 참여형 자동 형식화

arXiv:2610.31810v1 발표 유형: 신규 초록: 심지어 꼼꼼히 교정된 논문이라도 증명 과정이나 명시된 가정에 작은 허점이 남아 있을 수 있습니다. 우리는 PaperFormalizer를 소개합니다. 이는 Lean 기반의 에이전트형 파이프라인으로, 저자가 자신의 논문에서 이러한 허점을 찾아 메우고 각 논문을 Lean 검증 버전으로 전환할 수 있도록 지원합니다. LaTeX 소스를 기반으로 PaperFormalizer는 논문을 진술들의 의존 관계 그래프로 변환한 뒤, 각 자연어 표현을 대상으로 진실성, 모호성 및 정확성을 검토하고, 이후 Lean에서 Mathlib, 선택적 도메인 라이브러리 및 저자의 개인 도구 세트를 활용해 해당 진술들을 형식화하고 증명합니다. 어떤 진술이 무엇을 의미하는지, 그리고 결과에 존재하는 형식화상의 허점을 어떻게 가장 잘 해결해야 하는지는 오직 저자만이 알고 있습니다. 따라서 이 파이프라인은 중단되어 저자에게 요청합니다.

구글의 AI 검색 기능이 온라인 출판업계에 큰 타격을 주고 있다: 트래픽 급감, 소송 빈발, 보상 메커니즘의 초기 모색

2024년 구글은 AI 개요(AI Overviews)를 출시하고, 2025년 5월에는 AI 모드(AI Mode)를 도입했으며, 이로 인해 다수의 주요 매체에서 구글로부터 유입되는 검색 트래픽이 크게 감소했다. 뉴욕타임스의 경우 3년 사이 검색 트래픽 비중이 44%에서 35.5%로 하락했고, DCN 회원사 중 19곳은 2025년 5~6월에 1%에서 25%에 달하는 트래픽 손실을 겪었다. DMG 미디어는 클릭률이 최대 89%까지 하락했다고 밝혔다. 출판사들은 여러 건의 소송을 제기했으나 모두 미국 판사들에 의해 기각되었고, 이후 구글은 탈퇴 옵션과 출처 표시 강화를 도입하는 한편, 400개 매체를 포함한 뉴스 AI 시범 프로그램과 콘텐츠 유료화 테스트 계획을 시작했다.

추천 이유：해당 보도는 구글의 AI 검색 기능이 출판 생태계에 미치는 구조적 충격을 체계적으로 정리했으며, 2024–2025년 시기별 흐름, 제3자 기관의 통계를 바탕으로 한 실증 데이터, 출판사·규제 당국·법원·비영리단체 등 다양한 주체들의 반응, 그리고 최신 대응 방안(탈퇴 메커니즘, 출처 개선, 라이선스 및 유료화 시범 사업) 등을 포괄하고 있습니다. 이는 정보가 밀집되어 있으며, 시의성과 정책 관련성이 높습니다.

CTC와 신경 전사 모델의 탐색 공간 복잡도 및 효율성을 비교하는 연구

이 논문은 2026년 10월 24일에 arXiv(번호 2610.31259v1)에 게재되었으며, 시스템은 연결형 시계열 분류(CTC)와 신경 트랜스포터 두 가지 종류의 엔드투엔드 음성인식(ASR) 모델을 대상으로, 서로 다른 가지치기 전략과 언어 모델 구성 하에서의 탐색 공간 복잡도와 추론 효율성을 비교하였다.

추천 이유：논문은 실증 분석을 바탕으로, 엔드투엔드 ASR 모델이 대부분의 시간 동안 비교적 작은 검색 공간을 유지하더라도 음성의 불확실성이 높은 구간에서는 가설 수가 현저히 급격히 증가하는 순간적인 피크가 발생함을 지적한다. 또한, 점수 기반 동적 가지치기는 모델의 불확실성에 적응하여 실시간 계수(RTF)를 크게 낮추며, 효율적인 검색을 위한 실질적인 지침을 제공한다.

저자원 언어에서의 연구 진전 및 언어적 포용성 측정

arXiv:2610.30296v1 발표 유형: 신규 초록: 대규모 언어 모델(LLMs)은 저자원 및 다국어 NLP에 대한 연구를 가속화했지만, 이들이 공평한 연구 환경을 조성하는 데 얼마나 효과적인지는 아직 명확히 규명되지 않았습니다. 우리는 2020년부터 2025년까지 출판된 1,158편의 동료 심사 오픈 액세스 논문을 분석하여, 저자원 언어(LRLs)에 대한 연구 관심도와 언어 및 사용자 집단 전반에 걸친 표현 수준을 검토합니다. 출판 건수 외에도 언어적 포용성을 평가하기 위해, 우리는 언어적 포용성 프레임워크(LIF)를 도입합니다. 이는 연구 성장, 표현 확대, 표현 지속성, 그리고 분포적 형평성 등 네 가지 차원에서 언어적 포용성을 측정하는 다차원적 체계입니다. 연간 출판물 수는 52건에서 415건으로 5.4배 증가했으며, ACL Antholo

아르민 로나허 인용

AI는 분명 재미있지만, 지난 30년간 우리는 수많은 나쁜 소프트웨어를 만들어 왔고 이제 우주는 우리의 죄에 대해 우리를 벌하고 있습니다. — 아르민 로나허 태그: 보안, 생성형 AI, 아르민 로나허, AI, AI 보안 연구, LLMs

Uber, OpenAI를 통해 모든 직원에게 ChatGPT Work을 제공합니다

Uber는 3만 명이 넘는 직원들에게 ChatGPT Work을 도입하고 있으며, 팀들이 연구하고 데이터를 분석하며 프레젠테이션을 제작하고 복잡한 워크플로우를 완료할 수 있도록 지원하고 있습니다.

수천 개의 AI 에이전트를 활용하여 생물학적 데이터에서 새로운 잠재적 발견을 발굴합니다

OpenAI, PerturbAI, 그리고 Scripps Research가 어떻게 분산형 AI 에이전트를 사용해 수백만 개의 뇌세포 데이터에서 유망한 연구 방향을 찾아냈는지 확인해 보세요.

패치 더 플래닛: 에이전트들이 중대한 취약점을 발견함에 따라 전 세계적 대응 조정

패치 더 플래닛은 보안 연구원, 유지보수자 및 사고 대응 담당자들을 연결하여 오픈소스 전반의 중대한 취약점 해결을 지원합니다.

봉사의 소명: 기술, 연구, 그리고 긍정적 영향

연구실장 크리스 화이트는 전시 데이터 분석에 대한 새로운 접근법부터 인신매매 방지 도구에 이르기까지, 현실 세계에 실질적인 영향을 미치는 연구 과제들을 수행해 왔습니다. 그는 프로그램 매니저 위슝 리우와 함께 이러한 연구를 이끌어 온 배경과 더 많은 이야기를 나눕니다. “봉사의 소명: 기술, 연구, 그리고 긍정적 영향”이라는 글은 마이크로소프트 리서치에서 처음 게재되었습니다.