제목, 요약, 본문을 검색해 흩어진 정보를 연결하세요.
arXiv:2610.39017v1 발표 유형: 신규 초록: 분산 합의 및 일관성 프로토콜은 이해하기 어렵지만 클라우드의 근간을 이루므로, 배포 전에 종종 엄격한 증명과 형식적 검증 과정을 거칩니다. 그러나 프로토콜의 수정에는 이러한 수준의 엄밀함이 거의 적용되지 않으며, 이는 생산 환경에서 빈번히 발생해 안전성을 저해할 위험이 있습니다. 본 논문에서는 수동적 수정으로 인한 안전성 위반의 위험을 제거하기 위해, 분산 프로토콜을 위한 자동 최적화 도구인 DistOptimize를 제안합니다. DistOptimize는 학술용 언어에서 개발된 처리량 최적화 기법을 실제 운영 환경에서 사용되는 프레임워크에 적용하고, Rocq 언어로 재작성된 코드의 정확성을 검증하며, 교정과 ILP 기반 탐색을 결합하여 해당 변경 사항의 적용을 자동화합니다.
arXiv:2610.36668v1 발표 유형: 신규 초록: 아슈의 동조 실험은 최근 대규모 언어 모델(LLM)에서의 동조를 측정하는 방법으로 상당한 주목을 받고 있다. 기존 연구들이 LLM에서의 동조를 입증하는 데 집중해 왔다면, 우리 연구는 이 접근법에 추가적인 정량적 분석 차원을 더한다. 우리는 질문 세트에 대해 최첨단 LLM을 샘플링하는 대신, 단일 질문을 반복적으로 샘플링하고 LLM의 확률적 특성을 활용하여 답변의 분포를 도출한다. 이를 통해 모델에 인위적으로 조작된 합의를 제시하기 전후의 답변 분포를 비교할 수 있다. 우리의 실험은 최첨단 LLM이 실제로 동조를 보임을 확인하며, 이는 기존 문헌을 뒷받침한다. 또한, 분포 간 비교를 통해 추가적인…
arXiv:2610.34419v1 발표 유형: 신규 초록: DAG 기반 BFT 프로토콜은 단일 리더 중심의 제안 경로를 공유 그래프로 연결된 동시적 블록 제안으로 대체함으로써 합의 설계에 있어 전환점을 마련했습니다. 여기서 참조는 합의 증거를 포함합니다. 그러나 이질적인 광역 네트워크(WAN) 환경에서는, 기존 설계들이 지연 노드 효과로 인해 라운드가 장기화되고 성능이 저하되는 문제를 겪고 있습니다. 그 근본 원인은 경직된 라운드 진행 방식에 있으며, 복제본들은 동기화된 라운드 단위로 이동하면서 이전 라운드에서 충분한 참조를 받을 때까지 다음 라운드로 진행하지 못합니다. 우리는 비동기적 BFT 합의를 위한 유연한 DAG 성장 프레임워크를 제안합니다. 우리의 핵심 관찰은, 안전성과 활성화를 위해 참조 쿼럼이 필요하긴 하지만, 모든 라운드 진행을 막을 필요는 없다는 점입니다. 대신, 연결성 r
마이크로소프트사는 오늘 자사 직원의 약 4분의 1에게 자발적 퇴직 제안을 내놓았습니다. 이번 조치의 대상이 된 약 6만 명의 직원들은 미국, 캐나다, 인도 및 영국에 소재해 있습니다. 이들 모두는 회사 내부 경험 평가 척도에서 70점 이하를 기록한 것으로 전해집니다. 이는 가장 고위급 임직원들도 해당된다는 것을 의미합니다 […] 본 글은 ‘마이크로소프트, AI 투자 속 6만 명 직원에 자발적 퇴직 제안’이라는 제목으로 실리콘앵글에 처음 게재되었습니다.
arXiv:2610.32060v1 발표 유형: 신규 초록: 다중 에이전트 LLM 시스템은 토론, 증거 공유 및 상호 교정을 통해 추론 능력을 향상시키는 것을 목표로 하지만, 상호작용 과정에서는 최종 정확도만으로는 설명할 수 없는 다양한 실패가 발생할 수 있습니다. 에이전트들은 지나치게 빨리 수렴하거나, 이견을 무시하거나, 올바른 소수 의견을 억압하거나, 여러 라운드에 걸쳐 잘못된 프레임을 유지하는 등의 문제를 겪을 수 있습니다. 우리는 의료 QA, 코딩, 금융, 다중 홉 추론, 윤리, 그리고 체화된 텍스트 작업 등 다양한 분야에서 수집된 3,211개의 실패한 다단계 대화 트래젝터리를 바탕으로, 데이터셋과 시스템 설계별 실패 분포, 라운드 수준의 오류 동역학, 복구 난이도, 다수 의견 전환, 소수 의견 신호 억압, 그리고 자가 보고된 신뢰도 등을 분석하기 위한, 데이터셋 기반의 의사소통 실패 분류체계를 제시합니다. 이를 통해 우리는 다음과 같은 사실을 발견했습니다.
arXiv:2610.32803v1 발표 유형: 신규 초록: 대부분의 고성능 블록체인에서 사용되는 합의 프로토콜은, 검증자 구성원들의 서명을 하나로 묶는 쿼럼 인증서를 활용합니다. BLS와 같은 서명 체계는 전체 쿼럼의 서명을 단일한 짧은 서명으로 집약할 수 있어, 이러한 인증서의 크기를 작게 유지합니다. 그러나 대규모 양자 컴퓨터가 등장하면 이러한 체계는 무력화되며, 현재까지는 동등한 집약 크기와 집약 시간을 갖는 포스트-양자 체계는 알려져 있지 않습니다. 집약이 없을 경우, 각 인증서에는 쿼럼 구성원 한 명당 하나의 대형 포스트-양자 서명이 포함되므로, 현대의 합의 프로토콜들이 종종 요구하는 바와 같이 각 검증자가 인증서를 네트워크에 전송하는 것은 사실상 불가능해집니다. 이에 우리는 다수의 동시 제안자를 갖춘 포스트-양자 합의 프로토콜인 퀀텀 캐던스를 제안하며,
