집
도구
모델
앱
프롬프트
뉴스
주제
포함을 위해 제출하십시오
한국어
English 日本語 한국어 Português español Deutsch Русский Français 繁體中文 简体中文
옵션
집 닫다
집
도구
범주 순위 커버 생성 이미지 생성 Skill
모델
대형 언어 모델 멀티모달 모델
앱
프롬프트
프롬프트 이미지 프롬프트
뉴스
뉴스 속보
주제
포함을 위해 제출하십시오
앱 제출 도구 제출
계정을 만듭니다 로그인
언어를 변경하십시오 한국어 언어를 변경하십시오
설정
English EN 日本語 JA 한국어 KO Português PT español ES Deutsch DE Русский RU Français FR 繁體中文 ZH-TW 简体中文 ZH-CN
집
속보
콘텐츠
EdwardScott
EdwardScott
2026년 7월 6일

Mistral AI는 119B개의 파라미터를 가진 형식적 수학 증명 모델인 Leanstral 1.5를 출시했으며, 실제로는 6B개의 파라미터만 활용합니다. 이 모델은 Apache-2.0 라이선스에 따라 오픈소스로 공개되었습니다. Leanstral 1.5는 miniF2F 테스트에서 100%의 정확도를 기록했으며, PutnamBench 문제 중 672개 중 587개를 해결할 수 있습니다. 경쟁 제품들의 비용이 300달러 이상인 반면, 이 모델의 문제당 비용은 4달러에 불과합니다. 또한 이 모델은 57개의 리포지토리에서 47건의 코드 위반 사항을 발견했으며, 그중 5건은 GitHub에 보고되지 않은 문제들이었습니다.

Mistral AI는 119B개의 파라미터를 가진 형식적 수학 증명 모델인 Leanstral 1.5를 출시했으며, 실제로는 6B개의 파라미터만 활용합니다. 이 모델은 Apache-2.0 라이선스에 따라 오픈소스로 공개되었습니다. Leanstral 1.5는 miniF2F 테스트에서 100%의 정확도를 기록했으며, PutnamBench 문제 중 672개 중 587개를 해결할 수 있습니다. 경쟁 제품들의 비용이 300달러 이상인 반면, 이 모델의 문제당 비용은 4달러에 불과합니다. 또한 이 모델은 57개의 리포지토리에서 47건의 코드 위반 사항을 발견했으며, 그중 5건은 GitHub에 보고되지 않은 문제들이었습니다.
0
0
공유 링크를 복사하려면 클릭
의견 (0)
0/300
제출하다
작가 HarperJones HarperJones 2026년 10월 13일
OpenAI는 GPT-6와 지능형 UI를 ChatGPT에 통합하여 대화 내에서 상호작용이 가능한 차트와 위젯을 사용할 수 있게 했습니다. 이를 통해 대규모 모델은 단순한 정보 제공자에서 작업 상호작용의 진입점으로 전환되며, 기존의 고정된 앱 인터페이스를 뒤흔들고 있습니다. 이러한 움직임은 별도의 앱이 필요 없게 줌으로써 독립형 AI 도구와 콘텐츠 플랫폼에 위협이 되고 있습니다. 한편, 위챗(WeChat)이나 두인(Douyin)과 같은 슈퍼 앱들은 기존 생태계와 유통 채널을 활용해 진입점을 사용자 시나리오와 직접 통합함으로써 경쟁 우위를 확보하고 있다.
0
0
작가 DouglasAnderson DouglasAnderson 2026년 10월 13일
Qwen은 ‘Qwen Go’가 별도의 다운로드가 필요한 독립형 앱이 아니라 자사 앱에 내장된 개인용 AI 에이전트라고 밝혔습니다. 사용자는 항공편 보상 청구 처리나 가격 비교와 같은 업무에 대한 이용 권한을 신청할 수 있습니다. 이 기능은 별도의 앱을 실행하는 대신 알리바바의 생태계를 활용해 기존 플랫폼 내에서 직접 다양한 개인 업무를 처리함으로써, 더욱 스마트하고 개인화된 비서로 발전하는 것을 목표로 하고 있습니다.
0
0
작가 DouglasThomas DouglasThomas 2026년 10월 13일
바이트댄스 시드(ByteDance Seed)는 AI 안전성을 강화하기 위해 옌 린(Yan Lin)이 이끄는 ‘모델 정렬 및 대비(Model-Alignment and Preparedness)’ 부서를 신설했다. 이 새로운 부서는 규제, 평가 및 정렬 훈련을 통해 지능형 에이전트 모델의 보안을 확보하고 CBRN 위험을 완화하는 데 주력한다. 중국 내 선구적인 AI 연구소 중 최초로 전담 안전 부서를 신설한 시드는, 모델이 안전한 범위 내에서 작동하도록 보장하여 오용 및 행동 편차를 줄이는 동시에, 대규모 적용을 지원하기 위해 외부 연구자들과의 개방적인 협력을 촉진하는 것을 목표로 하고 있습니다.
0
0
작가 KevinRoberts KevinRoberts 2026년 10월 13일
미니맥스(MiniMax)가 첫 번째 플래그십 스토어를 타오바오에 개설하고 ‘M 플랜’ 구독 서비스를 판매하기 시작했다. 이는 지푸(Zhipu)나 알리바바 클라우드(Alibaba Cloud)와 같은 AI 업체들이 토큰 판매를 공식 사이트에서 전자상거래 플랫폼으로 옮기는 업계 전반의 추세를 반영한다. 타오바오는 이러한 서비스를 통합하기 위해 ‘AI 스페이스 스테이션’을 출시했다. 이 전략은 기술적인 API 사용을 일반 소비자가 쉽게 이용할 수 있는 소매 상품으로 전환함으로써 대중 소비자를 공략하며, 경쟁의 초점을 기술적 벤치마크에서 소비자의 접근성과 가격 경쟁력으로 전환하고 있다.
0
0
작가 JoseJackson JoseJackson 2026년 10월 13일
아마존은 70억 달러에 디카트를 인수하기 위한 협상을 진행하고 있다. 2023년에 설립된 3년 차 스타트업인 디카트는 엔비디아 GPU, 구글 TPU, 아마존 트라이니엄 등 다양한 하드웨어 간에 AI 모델을 원활하게 실행할 수 있는 크로스 칩 호환성 소프트웨어를 제공한다. 이 기술은 최대 8배까지 비용을 절감하고 성능을 향상시키는 것을 목표로 한다. 디카트는 이전에도 엔비디아와 앤트로픽과의 거래에 실패했으며, 두 기업 모두 실사 과정에서 협상 테이블을 떠났다. 아마존은 디카트의 최근 40억 달러 평가액에 비해 상당한 프리미엄을 지불하고 있으며, 이는 AWS 생태계를 강화하고 트라이니엄 칩의 토큰당 비용을 낮추며 광범위한 클라우드 및 구현형 지능 전략을 지원하는 것을 목표로 한다.
0
0
OR