출처, 주제, 시간으로 전체 뉴스에서 관심 소식을 찾아보세요.
마이크로소프트 리서치가 영지식 가상머신 마그네타를 출시하며, 영지식 증명의 오랜 세 가지 주요 한계—낮은 생성 효율, 높은 개발 장벽, 후양자 보안 부족—을 단일 시스템에서 최초로 동시에 해결했습니다. 이는 러스트, 고, C 등 주요 프로그래밍 언어로 작성된 프로그램을 직접 컴파일하여 실행하고 검증 가능한 증명을 자동으로 생성할 수 있도록 지원합니다. 평균적으로 기존 최고 속도의 zkVM보다 10~39배 빠르며, 증명 검증에는 약 12밀리초만 소요됩니다. 또한 보안 기반은 SHA-256, SHA-3 등 NIST에 의해 표준화되고 수십 년간 암호학적 검증을 거친 표준 해시 함수에만 의존하므로 신뢰할 수 있는 설정이나 타원곡선, 또는 아직 충분히 검증되지 않은 새로운 수학적 가정이 필요하지 않습니다.
HiRO-ACEv2 : 비용의 분수에 대한 3km 해상도의 극단적 인 날씨를 시뮬레이션
LFM2.5-24B-A2B를 가진 빠른, 개인적인 대리인 on-device를 실행하십시오
존재하지 않은 모델, 그래서 당신은 스스로 만들었습니다
Falcon ASR 소개
1개의 모형 가족, 2개의 금 수준 결과: IOI와 IMO를 위한 정밀한 Tuning Nemotron
Multimodal는 가장자리를 위한 d1 결정 모형을 엽니다
Jump Trading은 OpenAI를 사용하여 양적 연구를 확장합니다. 더 이상 실행되는 AI 워크플로우가 인간의 리뷰와 여러 데이터 소스를 결합하는 방법을 알아보십시오.
OpenAI는 EU 규정에 따라 텍스트 워터 마크에 접근하는 방법. 워터 마크가 적용하는 곳을 알아보기, 탐지 작품 및 왜 접근은 연구원과 함께 시작합니다.
Holo4 : 일반 컴퓨터 사용 에이전트 강화
RL 환경에 오신 것을 환영합니다
Jun Kim, oMLX 제작자 및 유지 보수자, MLX 커뮤니티를 지원하는 Hugging Face에 가입
tokenizers v1 : 인코딩, 디코드 및 스케일링, 측정
새로운 OpenAI 경제 연구는 노동자들이 전통적인 역할을 넘어 AI를 어떻게 활용하는지와 어떤 새로운 활동들이 그들의 업무에서 반복적으로 이루어지는지를 보여줍니다.
귀하의 에이전트는 작업을 수행. 그것은 다시?
Fyxer는 OpenAI 모델, 미세 조정, 메모리 및 실제 사용자 피드백을 사용하여 각 사용자의 목소리에 inboxes 및 초안 이메일을 구성합니다.
Gradio Workflow와 AUTOMATIC1111를 재건
HF 작업에 걸쳐 LoRA와 Async GRPO : 버킷, 프록시 및 NCCL
Paul Christiano는 OpenAI Foundation Board와 Safety and Security Committee에 합류하여 AI 정렬, 안전 및 표준에 대한 경험을 제공합니다.
OpenAI 내부, 코딩 에이전트는 AI 연구를 재구성합니다. 에이전트 사용, 실험 속도, 작업 복잡성 및 연구 가속에 초기 데이터를 탐구합니다.
