[태그:] DeepSeek-Prover-V2 정리 증명 성능

AI 일일 – 2025-05-01(오후)

AI 에이전트 프로토콜 DeepSeek-Prover-V2 DeepSeek-Prover-V2 정리 증명 성능 DiffTransformer 장문 텍스트 모델링 GPT-4o 과도한 아첨 행동 수정 GPT-4o 업데이트 롤백 LLM 후훈련 기술 MoE 추론 최적화 Phi-4 추론 모델 Qwen3-235B 다국어 지원 마이크로소프트 Phi-4-reasoning-plus 모델 통의천문 Qwen3