EvoLib은 AI 에이전트가 과거의 경험을 재사용 가능한 기술과 통찰로 변환하여 스스로 학습하게 하는 프레임워크다.
Microsoft가 Rust, Aeneas, Lean을 활용해 SymCrypt 암호화 알고리즘의 수학적 무결성을 검증하는 기술을 공개했다.
Microsoft가 기상 변수 확대와 앙상블 예측 기능을 갖춘 지구 시스템 파운데이션 모델 Aurora 1.5를 오픈 소스로 공개했다.
SkillOpt은 모델 가중치를 수정하지 않고도 에이전트의 기술(Skill)을 학습 가능한 파라미터로 최적화하여 동작의 신뢰성을 높인다.
Microsoft가 AI 에이전트의 장기 과제 수행 능력을 높이기 위해 저장 내용과 검색 방식을 분리한 메모리 프레임워크 Memora를 발표했다.
Microsoft Research가 LLM을 활용해 뇌의 언어 처리 과정을 설명하고 검증하는 GCT 프레임워크를 발표했다.
Microsoft와 협력하여 개발된 Talos는 자동화된 유전체 재분석을 통해 희귀 질환 진단율을 높이고 의료진의 업무 부담을 줄인다.
Microsoft의 자율형 악성코드 분류 에이전트인 Project Ire가 기존 지표(IOC)가 없는 LOTUSLITE 변종을 식별했다.
Data Formulator 0.7은 파편화된 기업 데이터를 연결하고 AI 에이전트로 데이터 분석과 시각화를 지원하는 오픈소스 시스템이다.
마이크로소프트가 소형 모델용 에이전트 시스템 MagenticLite와 Fara1.5를 공개했다.
Vega는 정부 발급 자격증명 원문을 공개하지 않고 사실만 증명하는 ZKP를 구현했다.
mimalloc은 malloc/free의 드롭인 대체재인 오픈소스 할당기로, 대규모 멀티스레드에 최적화됐다.
MatterSim이 TaP 실증, 3~5배 속도 개선, 다중 과제 모델을 공개했다.
Microsoft Research가 AI 에이전트의 사용자 대리 능력을 측정하는 벤치마크를 공개했다.
Microsoft가 NSDI 2026에서 네트워크·AI·클라우드 논문 11편을 소개했다.
AutoAdapt는 RAG·fine-tuning 선택과 튜닝을 제약 조건 안에서 자동화한다.
AI Briefing