AI 업계의 최신 소식을 빠르게 확인하세요.
arXiv:2603.19500v1 Announce Type: new Abstract: We develop a method for producing vector sketches one part at a time. To do this, we train a multimodal language modelbased agent using a novel multiturn processreward reinforcement learning following supervised finetuning.
arXiv:2603.19514v1 Announce Type: new Abstract: Mathematical reasoning demands two critical, complementary skills: constructing rigorous proofs for true statements and discovering counterexamples that disprove false ones.
arXiv:2603.19515v1 Announce Type: new Abstract: Large language models LLMs with advanced cognitive capabilities are emerging as agents for various reasoning and planning tasks. Traditional evaluations often focus on specific reasoning or planning questions within controlled environments.
arXiv:2603.19579v1 Announce Type: new Abstract: Multiobjective reinforcement learning MORL provides an effective solution for decisionmaking problems involving conflicting objectives.
arXiv:2603.19584v1 Announce Type: new Abstract: Battery life remains a critical challenge for mobile devices, yet existing power management mechanisms rely on static rules or coarsegrained heuristics that ignore user activities and personal preferences.
arXiv:2603.19639v1 Announce Type: new Abstract: Although agentic workflows have demonstrated strong potential for solving complex tasks, existing automated generation methods remain inefficient and underperform, as they rely on predefined operator libraries and homogeneous LLMonly workflows in...
arXiv:2603.19685v1 Announce Type: new Abstract: Large language model LLMbased agents have emerged as powerful autonomous controllers for digital environments, including mobile interfaces, operating systems, and web browsers.
arXiv:2603.19715v1 Announce Type: new Abstract: Formal verification via interactive theorem proving is increasingly used to ensure the correctness of critical systems, yet constructing large proof scripts remains highly manual and limits scalability.
First came the AI beauty pageant. Then the AI music contests. Now, there is an award for AI Personality of the Year perhaps the inevitable next step for the AI influencer economy as it fights for legitimacy amid an onslaught of AI slop and grifters and transforms from quirky novelty into a serious...
To address the novel safety challenges posed by a stateoftheart video model as well as a new social creation platform, we’ve built Sora 2 and the Sora app with safety at the foundation. Our approach is anchored in concrete protections.
뛰어난 가성비로 주목받았던 커서의 새로운 모델이 문샷 AI의 오픈 웨이트 '키미 K2.5'를 미세조정한 버전으로 확인됐다.문샷은 21일현지시간 X를 통해 "커서의 컴포저 2Composer 2 출시를 축하한다"라며 "키미 K2.5가 그 기반이 된 것을 자랑스럽게 생각한다"라고 밝혔다. 이어 "커서의 지속적인 사전 학습 및 고성능 강화 학습을 통해 우리 모델이 효과적으로 통합되는 모습을 보니, 개방형 모델 생태계의 모범적인 사례라고 생각한다"라고 덧붙였다.이에 앞서 커서는 19일 자체 모델 컴포저 2를 공개하고 자체 플랫폼에 탑
오라클이 최신 자바 플랫폼 ‘자바 26Java 26’을 지난 17일현지시간 출시하고 인공지능AI과 보안, 클라우드 환경에 최적화된 개발 생태계 강화에 나섰다. 단순한 기능 개선을 넘어, AI 애플리케이션 개발과 엔터프라이즈 보안 요구를 동시에 충족하는 방향으로 진화했다는 평가다.오라클은 자바 26을 통해 개발 생산성 향상, 애플리케이션 성능 개선, 암호화 및 보안 기능 강화 등 수천 건의 업데이트를 적용했다고 밝혔다. 특히 10개의 핵심 JDK 개선 제안JEP을 중심으로 언어, 성능, 라이브러리, 보안 등 전 영역에서