혹시 최대 린(으)로 찾으셨나요?
뉴스
- 오픈AI "GPT-5.6 솔 울트라, 50년 수학 난제 1시간 만에 증명" [지디넷코리아]오픈AI가 최신 인공지능(AI) 모델 GPT-5.6 솔 울트라(Sol Ultra)가 그래프 이론 분야의 50년 난제를 1시간 만에 증명했다고 주장하며 수학계의 관심이 이 때문에 그래프 이론 연구자들은 각 단계의 논리적 타당성을 면밀히 검토하고 있다.또한 이번 증명은 수학 정리 검증 도구인 린(Lean)이나 코크(Coq) 같은 형식 검증 시스템으로
- 슈퍼마이크로, 인텔 기반 엣지 AI 솔루션 포트폴리오 확대…저지연 추론 및 산업 환경 최적화 모리 린(Mory Lin) 슈퍼마이크로 IoT•임베디드 및 엣지 컴퓨팅 부문 부사장은 "에이전틱 AI 도입이 가속화됨에 따라 기업들은 데이터가 생성되는 현장 가까이에서 실시간 추론, 저지연 성능 및 전력 효율성을 제공할 수 있는 엣지 인프라를 필요로 하고 있다"며 "슈퍼마이크로의 최신 인텔 기반 엣지 시스템과 DCBBS 포트폴리오는 고객이 비용을 보다 효율적으로