출처, 주제, 시간으로 전체 뉴스에서 관심 소식을 찾아보세요.
마이크로소프트 연구소의 연구원 장신즈와 공동 연구자들은 2026년 10월 4일에 칸난–로바스–시모노비츠(KLS) 추측에 대한 엄밀한 증명을 완성함으로써, 1995년 제안된 이후 오랫동안 미해결 상태로 남아 있던 핵심 문제를 해결했다. 이 성과는 고차원 로그凹 분포에서 ‘평면 절단 병목’에 관한 차원 독립적인 상수 경계를 확립하여, 랜덤 샘플링, 볼록 최적화 및 이론 컴퓨터 과학 분야에 무조건적인 이론적 토대를 제공하였다.
Profiling TorchNeuron (Part 1): System-level profiling on AWS Trainium.
번역 대기 중 · 원문 표시 · enSee how OpenAI, PerturbAI, and Scripps Research used distributed AI agents to uncover promising research leads in data from millions of brain cells.
번역 대기 중 · 원문 표시 · enPatch the Planet connects security researchers, maintainers, and incident responders to help address critical vulnerabilities across open source.
번역 대기 중 · 원문 표시 · enLab Director Chris White has worked on research challenges with real-world implications—from new approaches to wartime data analysis to tools for combating human trafficking. He talks to program manager Weishung Liu about the influences that led to the work and more. The post Called to serve: Tech, research, and positive impact appeared first on Microsoft Research.
번역 대기 중 · 원문 표시 · enPyTorch 2.15는 Apple Silicon 맥을 위한 주요 MPS 백엔드 업그레이드를 제공하며, macOS에서 처음으로 FP8 텐서 연산을 네이티브로 지원합니다. 또한 MoE 모델의 디코딩 속도가 5~6.5배 향상되고, 비디오 VAE 디코딩 시 최대 GPU 메모리 사용량이 270 GiB에서 8 GiB로 감소하며, 다수의 연산자들이 MPSGraph에서 전용 Metal 커널로 이전되었습니다.
구글 리서치는 VERID 디지털 트윈 프레임워크, 폐쇄 루프 적응체 발견 시스템, 표적 에피토프 제거 단백질 설계 프로세스 등 세 가지 주요 기술 발전을 발표하며, AI 에이전트가 실제 습식 실험실에서 추적 가능하고 검증 가능하며 자체 반복 가능한 분자 발견 폐쇄 루프를 구현하도록 촉진했습니다.
마이크로소프트 리서치가 영지식 가상머신 마그네타를 출시하며, 영지식 증명의 오랜 세 가지 주요 한계—낮은 생성 효율, 높은 개발 장벽, 후양자 보안 부족—을 단일 시스템에서 최초로 동시에 해결했습니다. 이는 러스트, 고, C 등 주요 프로그래밍 언어로 작성된 프로그램을 직접 컴파일하여 실행하고 검증 가능한 증명을 자동으로 생성할 수 있도록 지원합니다. 평균적으로 기존 최고 속도의 zkVM보다 10~39배 빠르며, 증명 검증에는 약 12밀리초만 소요됩니다. 또한 보안 기반은 SHA-256, SHA-3 등 NIST에 의해 표준화되고 수십 년간 암호학적 검증을 거친 표준 해시 함수에만 의존하므로 신뢰할 수 있는 설정이나 타원곡선, 또는 아직 충분히 검증되지 않은 새로운 수학적 가정이 필요하지 않습니다.
Introducing the Rosalind Academic Plan, offering eligible academic labs sponsored access to GPT-Rosalind and tools to advance life sciences research.
번역 대기 중 · 원문 표시 · enApertus 1.5 Release Notes
번역 대기 중 · 원문 표시 · enGranite Switch 4.1: Chat, Decisions, and Speech from One Endpoint
번역 대기 중 · 원문 표시 · enWelcome Muse Spark Open: open-weight frontier multimodal mixture-of-experts model from Meta
번역 대기 중 · 원문 표시 · enEarth AI
번역 대기 중 · 원문 표시 · enGeneral Science
번역 대기 중 · 원문 표시 · enGeneral Science
번역 대기 중 · 원문 표시 · enHiRO-ACEv2 : 비용의 분수에 대한 3km 해상도의 극단적 인 날씨를 시뮬레이션
LFM2.5-24B-A2B를 가진 빠른, 개인적인 대리인 on-device를 실행하십시오
StudentSim is a research system for evaluating and improving AI tutoring tools before they are tested with learners. It models how individuals may engage with tutors, giving feedback to improve tutor performance across subjects like chess, writing, and mathematics. The post Simulating student learning for better AI tutoring appeared first on Microsoft Research.
번역 대기 중 · 원문 표시 · enClaude를 덮는 3 년 지원 프로그램, API 수준 및 연구 훈련은 발표되었습니다。
존재하지 않은 모델, 그래서 당신은 스스로 만들었습니다
