이 태그가 붙은 글 2편입니다. 전체 태그 보기
마이크로소프트 연구진이 AI 에이전트의 탐색과 계산 보조를 받아 31년간 미해결이던 KLS 추측을 140페이지 증명으로 해결했습니다.
메타가 범용 챗봇 Muse Spark와 수학자들이 함께 쓴 논문 여섯 편을 공개했습니다. 다섯 편이 각 분야의 미해결 문제를 다룹니다.