Iteris는 LLM과 에이전트 AI를 활용하여 계산 수학 문제 해결을 위한 연구 시스템입니다. 두 가지 연구 사례에서 Iteris는 수치적 증거, 구성, 증명 초안을 생성하여 전문가 검토 후 검증된 결과를 도출했습니다. 첫 번째 결과는 파워-로 спектра에서 공액 경사법과 랜덤 좌표 하강법의 비동차적 비교를 위한 위상 다이어그램이며, 두 번째는 QR 분해법의 실패 사례를 보여주는 반례입니다.
Iteris는 수치적 증거, 구성, 증명 초안을 생성하며, 전문가의 검토와 수정 과정을 거쳐 검증된 결과를 얻었습니다. 이러한 사례 연구는 에이전트 AI 시스템이 계산 수학의 개방형 문제에 대한 연구 워크플로에 의미 있게 참여할 수 있음을 보여줍니다.
Iteris는 계산 수학의 개방형 문제를 해결하기 위해 설계되었으며, 수치적 실험, 적대적 구성, 알고리즘 설계가 필요한 연구에 활용될 수 있습니다.