반응형
AI 소식56
딥시크, 수학 증명 AI Prover-V2 공개
딥시크, 수학 증명 AI Prover-V2 공개— 라벨 없이 학습하고, 문제를 쪼개 증명까지 해낸다DeepSeek이 공개한 Prover-V2는 인간처럼 생각하고, 문제를 분해하고, 수학 정리를 직접 증명하는 AI다. 더 놀라운 점? 라벨이나 정답 없이도 학습이 가능하다.주요 기능 및 특징Lean 4 기반 수학 증명수학 문제를 하위 목표로 쪼개고, 이를 순차적으로 해결해 전체 정리를 완성하는 구조비공식 추론 + 증명 자동 생성DeepSeek-V3가 문제를 분석하고, 7B 모델이 각 목표별 증명을 생성강화학습 적용정답·오답 피드백만으로도 성능을 끌어올림. 정답이 없어도 하위 목표 해결만으로 학습 가능성과 지표MiniF2F: 88.9% 정확도, PutnamBench: 658문제 중 49개 해결ProverBen..
아마존 노바 프리미어, 복잡한 AI 작업을 위한 최상위 모델 출시
아마존 노바 프리미어, AI 작업의 총괄 리더 등장— 증류도 하고, 멀티에이전트도 돌리는 ‘슈퍼바이저 AI’Amazon이 출시한 노바 프리미어(Nova Premier)는 이제껏 나온 노바 시리즈 중 가장 강력한 모델이다. 단순히 잘 답하는 걸 넘어서 다른 AI 모델들을 훈련시키고 조율하는 총괄 역할까지 수행할 수 있다.주요 기능 및 특징100만 토큰 문맥 길이긴 문서, 대형 코드도 문제없이 처리하며 텍스트·이미지·영상까지 입력 가능 (오디오는 제외)모델 증류 성능 입증이 모델을 활용해 노바 프로(Nova Pro)를 증류했더니, API 호출 정확도 20% 증가, 속도·비용도 함께 개선멀티에이전트 시스템 구현실제 사용 예시: 재무 분석용 멀티에이전트에서 프리미어가 각 서브 AI를 조율하며 종합 분석 수행아마..
바이두 ERNIE 4.5 Turbo & X1 Turbo 출시
바이두 ERNIE 4.5 Turbo & X1 Turbo 출시— 성능도 가격도 둘 다 잡겠다는 중국 AI의 반격바이두(Baidu)발표한 ERNIE 4.5 Turbo와 ERNIE X1 Turbo는 "빠르고 싸고 실용적인 AI"라는 명확한 전략으로 무장했다.중국 AI 시장의 속도를 다시 끌어올리려는 강한 의지를 담고 있다.핵심 특징 요약ERNIE 4.5 Turbo: 가격 혁신기존 모델 대비 80% 저렴.입력 1K 토큰당 $0.11 / 출력 1K당 $0.44.성능도 GPT-4o급에 근접했다고 주장.ERNIE X1 Turbo: 추론 특화복잡한 문제를 단계별로 풀고, 다양한 상황에 유연하게 대응.비즈니스 자동화·데이터 분석용에 최적화.기업을 겨냥한 실용 전략API·클라우드 통합 지원으로 스타트업부터 대기업까지 쉽게..
AI가 밝힌 알츠하이머의 숨은 원인
AI가 밝힌 알츠하이머의 숨은 원인— ‘문라이트 단백질’이 보여준 새로운 치료 실마리UC 샌디에이고 연구팀이 AI 기반 단백질 분석을 통해 알츠하이머의 새로운 원인과 치료 가능성을 동시에 밝혀냈다.기존 치료가 듣지 않던 자발성 알츠하이머를 겨냥한 연구다.주요 발견 요약PHGDH 유전자의 숨은 기능 발견기존엔 조기 진단 지표로만 알려졌던 PHGDH가, 실제로는 유전자 발현을 억제하는 부작용(문라이트 역할)을 하고 있다는 사실 확인.AI 기반 단백질 구조 분석PHGDH가 유전자 스위치를 조절하는 부위를 가진 것을 발견.이 기능이 알츠하이머 초기 병리 유발에 기여할 수 있음.맞춤형 억제 약물: NCT-503이 단백질의 문제 기능만 선택적으로 억제하는 약물.생쥐 실험에서 기억력 회복·불안 감소 효과 확인.병의 ..
Qwen3, 문제마다 다르게 생각하는 유연한 LLM의 등장
Qwen3, 문제마다 다르게 생각하는 유연한 LLM의 등장— 깊게 혹은 빠르게, AI의 두 얼굴을 탑재하다알리바바 산하 AI 연구팀이 발표한 Qwen3는 단순히 더 크고 빠른 모델이 아니라, 질문 난이도에 따라 사고 방식을 유연하게 전환하는 ‘하이브리드 사고’ AI다. 복잡한 건 천천히, 단순한 건 즉시, 그게 Qwen3의 방식이다.주요 기능 및 특징2350억 파라미터의 대표 모델, Qwen3-235B-A22B하지만 실제 작동 시에는 10분의 1 수준만 사용, 덕분에 성능은 유지하면서 자원 사용은 최소화.'생각 모드' On/Off 조정 가능복잡한 문제는 깊게 사고, 간단한 건 빠르게 반응.워크플로우 최적화에 유리한 유연성 제공.119개 언어 지원 + 36조 토큰 학습량영어·중국어·한국어는 물론, 아프리카..
반응형