증명
이 태그가 붙은 글 3편입니다. 전체 태그 보기
구글 딥마인드, 정리증명기로 검증한 양자 프로그램 자동 발견 공개
구글 딥마인드가 LLM 에이전트와 Lean 정리증명기를 결합해 핵융합, 광화학, 신약대사 시뮬레이션용 양자 프로그램을 찾아내고 정확성까지 자동으로 검증하는 연구를 공개했습니다.
마이크로소프트 연구진, AI 에이전트 도움으로 31년 된 KLS 추측 증명
마이크로소프트 연구진이 AI 에이전트의 탐색과 계산 보조를 받아 31년간 미해결이던 KLS 추측을 140페이지 증명으로 해결했습니다.
메타, 챗봇 그대로 쓴 AI와 수학자가 쓴 논문 여섯 편 공개
메타가 범용 챗봇 Muse Spark와 수학자들이 함께 쓴 논문 여섯 편을 공개했습니다. 다섯 편이 각 분야의 미해결 문제를 다룹니다.