목표를 설정하세요.
심판은 언제 끝날지 결정한다.

모델들은 논쟁을 벌이죠 심판은 증거를 근거로 판단하죠

경기 시작
수학적 주장을 증명하는 거야? theorem.chat 같은 패널을 실행하고 Mathlib에 대해 Lean에서 결과를 공식화합니다. 커널이 결정합니다.
의견이 아닌 증거

각 시트는 arXiv, OpenAlex, Crossref, Europe PMC에 대한 문헌을 검색하고, 소스를 읽고, 파이썬을 실행하여 산술을 확인합니다. 뒤에 재검사할 수 있는 것이 없는 클레임은 기준을 정의할 수 없습니다.

갇혀있는 것은 실패가 아닌 이동입니다

시트가 벽에 부딪히면 멈추고 답변을 하기에 가장 적합한 시트에 한 가지 특정 질문을 던집니다. 그 질문만으로, 전체 이야기가 아닙니다. 모델이 쓰레기를 버리는 것보다 저렴하며 보통 차단을 해제합니다.

긴 목표는 살아남습니다

모든 설정된 내용은 공유 레지스트리에 저장되므로 재파생되거나 잊혀지지 않습니다. 일치는 작업을 잃지 않고 일시 중단하고 재개합니다. 탭을 닫고 내일 다시 돌아오세요.