인공지능_AGENT가 블라슈케 곡선의 불변성을 재발견할 수 있나요?

대규모 언어 모델(LLM)을 사용한 수학적 재발견을 위한 제한된 환경으로서 일반화 블라슈케 곡선(Generalized Blaschke curves)을 연구한다. 한 개의 고정된 4차 블라슈케 곱셈에 대해, agent가 각 80개의 경계 구성에서 결정된 6개의 pair선(line pair)의 수치 좌표를 받는다. 목표 정리는 작업 지시에서 숨겨져 있다. 저장된 연구 로그는 거부된 기하학적 가설과 다각형 변의 side에 맞춰진 균일한 3차 다항식의 계수 저장에 대해 보고한다. 동결된 계수는 80개의 보이지 않는 매개변수 값으로부터 480개의 선분을 예측하며, 기록된 RMS 계수 없는 잔차는 $8.88\times10^{-17}$이다. 발견 집합의 대각선은 일치 검증을 제공한다. 그러나 이는 완전히 보류된 테스트가 아니며, 다른 한 구성에 대한 별도의 실행은 불변성에 대한 증거가 부족하다고 보고한다. 검토 후 결정론적 degree-검색 기본선도 또한 3차 다항식을 회복하므로, 이 실험은 다항식 회귀보다 이점을 establish하지는 못한다. 이 단일 인스턴스 사례 연구를 conjecture, 수치적 검증, 및 증명 사이의 프로토콜로 제시하며, agent metadata, 전제 지식 및 재현성에 대한 명확한 제한을 포함한다.