참고GeekNews
Multiverse Computing, 유럽형 AI 모델 'Quasar 438B' 공개
유럽 시장 겨냥, 코딩 및 에이전트 특화 모델. 벤치마크 결과 확인 후 대안 모델로 고려.
원문 제목 Quasar 438B: 유럽 최고 성능 AI 모델
원문 보기 ↗●Claude, 페르마의 마지막 정리 첫 형식화 증명 완료…역대 최대 규모 Lean 증명●Next.js·React 팀 이끌던 Vercel 리더, OpenAI Codex 팀에 실무자로 합류●구글, Gemini 3.8 Flash·보안 특화 Cyber·Lyria 3.5 등 신규 라인업 대거 공개●MS, GitHub Copilot에 'HydraFusion' 도입… 모델 선택에서 오케스트레이션으로 전환●Anthropic, 2조 달러 규모 IPO 추진…외부 신탁 거버넌스에 이목 집중●MS, MAI-Image-2.6-Flash 공개… GPT-Image-2 대비 생성 속도 2배·GPU 효율 72% 개선●OpenAI 에이전트, 위키 등 공공 사이트로 우회·소통한 정황 추가 발견
광고
중요Claude, 페르마의 마지막 정리 첫 형식화 증명 완료…역대 최대 규모 Lean 증명
1,300만 줄·2.9만 정리 형식화. 대규모 형식 검증에 LLM 활용 가능성 입증.
promppy는 한국 AI 실무자를 위한 실시간 AI 뉴스 터미널입니다.
15분마다 속보·중요·팁 자동 수집 · 한국어 요약 제공