수학 모델링 콘테스트 팀: 브리프에서 방어 가능한 논문까지

이 수학 모델링 콘테스트 워크플로는 콘테스트 팀 — CUMCM, MCM, ICM — 을 위한 단계적 프로세스로, 어떤 내용이 논문에 도달하기 전에 문제 브리프를 여섯 개의 명시적 게이트를 통과시킵니다. 이는 실제로 점수를 깎아먹는 실패들, 즉 질문을 잘못 읽거나, 아무도 설명할 수 없는 모델을 위해 베이스라인을 건너뛰거나, 어떤 스크립트도 만들어내지 않은 수치를 인쇄하는 문제를 겨냥합니다.

브리프를 PDF나 workspace 경로로 넘기고, 어떤 소문제(subquestions)를 다루는지 말하고, 목표로 Python 또는 MATLAB을 선택합니다. 문제를 목표, 객체, 제약 조건, 데이터, 출력, 소문제로 파싱하고, 전체 브리프에 하나의 레이블을 강제하는 대신 각 소문제를 개별적으로 분류합니다. 코드가 존재하기 전에 하나의 주 방법, 하나의 사용 가능한 베이스라인, 최대 하나의 조건부 대체안을 심사한 다음, 그 방법을 실제 데이터에서 시험합니다.

이 시험(probe)은 데이터 커버리지, 그 방법에 중요한 가정, 출력의 퇴화(degeneracy)와 집중도, 정당화된 작은 섭동(perturbation)에 대한 반응, 그리고 여러분의 규모에서의 실행 시간과 메모리를 테스트합니다. 통과, 조건부 통과, 실패 중 하나의 판정을 반환합니다. 여러분이 직접 방법과 그 이유를 확정하면, 승인된 주 방법과 베이스라인만 구현하고, 코드를 다섯 가지 명시된 검사에 비추어 검토하며, 그 검토 결과를 채팅에 남기는 대신 디스크의 파일에 기록합니다.

최종적으로 손에 남는 것은 추적 가능한 기록입니다: 파싱과 분류, 위험 시험이 담긴 방법 카드, 검토된 코드, 모든 실험 라운드에 대한 실행 요약, 견고성 및 민감도 보고서, 논문에 등장할 모든 수치의 단일 동결 세트, 초안이 작성된 섹션, 그리고 세 개의 독립 감사 보고서입니다. 최종 조립은 완성된 논문을, 여러분의 코드와 데이터 형식을 그대로 유지하는 지원 자료 폴더와 함께 패키징합니다.

대상 사용자: 수학 모델링 콘테스트 팀, 특히 CUMCM 및 MCM/ICM 팀과, 같은 규율을 원하는 개인 모델러입니다. 세 가지 순간에 적합합니다 — 여러 소문제가 있는 브리프를 여는 순간, 첫 결과 라운드에 도달해 반복할지 방법을 고정할지 결정해야 하는 순간, 그리고 논문이 감사를 견뎌야 하는 마지막 단계입니다.

AI가 방법을 고르고 정당화를 작성해주기를 원하는 팀을 위한 것이 아닙니다. 심사위원이 채점하고 여러분이 배워야 하는 부분 — 어떤 방법을 왜 쓰는지, 수치가 무엇을 의미하는지, 가정이 어떻게 구성되는지 — 은 여러분의 입력이 필요한 것으로 표시되며, 그 부분이 비어 있거나 도구 자체의 제안에서 복사된 경우 파이프라인은 제출 전에 차단됩니다.

일반적인 콘테스트 파이프라인은 단계가 끝난 것처럼 보이면 곧바로 다음으로 넘어가고, 일반 챗은 수학이 그럴듯하게 읽히기만 하면 방법을 받아들입니다. 반면 이 워크플로는 여섯 개 게이트 각각에 명시적 통과 조건을 부여합니다. 하나라도 실패하면 하위의 모든 것이 오래된(stale) 것으로 표시되므로, 어떤 소문제가 진정으로 견고하고 어떤 것이 그저 완료된 것처럼 보일 뿐인지 알 수 있습니다.

일반 파이프라인이 방정식이 맞아 보이면 방법을 받아들이는 반면, 이 워크플로는 먼저 여러분의 데이터에서 시간 제한이 있는 위험 시험을 실행합니다 — 커버리지, 가정, 출력 퇴화, 섭동, 규모 — 따라서 여러분의 데이터셋을 견디지 못할 방법은 본격적으로 구축하기 전에 걸러집니다.

대부분의 워크플로가 매번 최신 결과에서 수치를 다시 읽는 반면, 이 워크플로는 논문의 모든 수치를 단일 스냅샷으로 동결합니다. 하나를 바꾸려면 이유를 기록하고, 정본(canonical) 소스를 수정하고, 영향을 받은 작업을 다시 실행하고, 다시 동결해야 하므로, 늦은 버그 수정이 조용히 옛 수치를 텍스트에 남기는 일이 없습니다.

단일 품질 점검이 보통 출시 여부를 결정하는 반면, 세 명의 독립 감사자 — 일관성, 완전성, 품질 보증 — 가 모두 최종 조립 전에 통과해야 하며, 어느 하나라도 실패하면 차단됩니다. 게이트 중 두 개는 의도적으로 여러분의 것입니다: 여러분이 방법과 그 이유를 확정하고, 결과가 동결되기 전에 그것을 판단합니다.

일반 챗은 빠른 계산이나 일회성 질문에는 여전히 더 적합하며, 이런 절차를 전혀 요구하지 않습니다. 논문이 방어 가능해야 할 때 — 진짜 위험이 질문을 잘못 읽는 것, 근거 없는 주장, 또는 실행으로 추적할 수 없는 수치일 때 — 이 워크플로를 선택하세요.