#symbolic-math와 관련된 AI·개발 뉴스를 최신순으로 모았습니다. 원문 출처와 한국어 요약을 함께 확인할 수 있습니다.
LLM의 산술적 약점을 보완하기 위해 수학적 증거와 검증 수준을 명시하는 멀티엔진 수학 커널 'MathKernel'이 공개됐다.
4M 파라미터의 소형 모델이 수학적 지식 없이도 기호 수학 작업에서 높은 정확도를 기록했다.
AI Briefing