Cost
HLE와 FrontierScience 같은 benchmark는 global expert authoring, multi-stage review, private held-out data와 정교한 rubric을 요구한다. 난이도를 올릴수록 제작비용이 크게 증가한다.
Measuring AI Scientists: From Exams to Discovery
과학 시험에서 높은 점수를 받는 시스템이 과학자를 대신해 발견할 수 있다는 결론은 나오지 않는다. 발견은 한 번의 답이 아니라, 불확실한 상태에서 가설을 만들고, 실험이나 계산을 실행하고, 흔들리는 증거를 해석하고, 실패를 반영해 다음 행동을 바꾸는 연속된 과정이기 때문이다.
Du와 동료들이 제안하는 핵심 변화는 평가 단위를 isolated problem에서 discovery episode로 옮기는 것이다. discovery episode는 현재 과학적 상태, 취한 행동, 만들어진 관찰, 갱신된 상태와 함께 code, instrument, version, human intervention, safety constraint 같은 provenance를 기록한다. 최종 결과만 보는 것이 아니라, 그 결과에 도달한 궤적 전체를 평가하자는 제안이다.
AI Scientist 평가의 질문은 “이 모델이 어려운 과학 문제를 풀 수 있는가?”에서 “이 시스템이 반복 가능하고 감사 가능한 조건에서 새로운 과학적 지식을 만들어 가는가?”로 바뀌어야 한다.
MMLU에서 HLE와 FrontierScience까지 평가 문제는 더 넓고, 더 복잡하고, 더 어려워졌다. 그러나 난이도의 상승만으로 연구 능력을 측정할 수는 없다.
MMLU는 여러 학문을 폭넓게 다루는 standardized academic benchmark의 기준점을 만들었고, MMMU는 diagram, chemical structure, plot 같은 multimodal expert artifact까지 확장했다. GPQA는 PhD-level biology, chemistry, physics 문제를 전면에 내세웠으며, OlympiadBench, Humanity's Last Exam(HLE), FrontierScience는 더 긴 수학·과학 추론과 expert-authored answer를 요구한다.
이 계열의 강점은 분명하다. 입력이 고정되고 정답이 있으며 scoring protocol이 안정적이어서 모델 세대가 바뀌어도 반복 비교할 수 있다. 현실의 연구가 가진 이질성과 불확실성을 의도적으로 제거했기 때문에 측정은 쉬워졌다. 문제는 바로 그 장점이 discovery를 측정할 때 한계로 바뀐다는 데 있다.
HLE와 FrontierScience 같은 benchmark는 global expert authoring, multi-stage review, private held-out data와 정교한 rubric을 요구한다. 난이도를 올릴수록 제작비용이 크게 증가한다.
research frontier에 가까워질수록 “어렵지만 정답이 잘 정의된 문제”와 “논쟁 가능하거나 덜 명세된 문제”의 경계가 흐려진다.
시험 답을 유도하는 능력과 실험을 설계하고 measurement를 고르고 constraint를 다루며 이상현상을 breakthrough 후보로 알아보는 능력은 다르다.
높은 점수는 calibration을 보장하지 않는다. frontier question에서 언제 abstain해야 하는지 아는 능력이 peak score만큼 중요하다.
논문은 특히 HLE에서 frontier question에 대한 calibration이 좋지 않았다는 점과, 더 크고 instruction-tuned된 모델이 불확실할 때 물러서기보다 그럴듯한 오답을 낼 수 있다는 기존 연구를 연결한다. 과학에서는 “모른다”는 판단이 결함이 아니라 capability일 수 있다.
| Dimension | Knowledge evaluation | Discovery evaluation |
|---|---|---|
| Measure | 합의된 지식에 대한 정확도 | 연구 capability와 새로운 지식 생성 |
| Method | standardized quizzes, expert QA | open-ended project, tool/data/experiment-grounded workflow |
| Output | text response 또는 fixed answer | artifacts + logs + evidence + trajectory |
| Failure signal | incorrect answer | bad hypothesis, execution error, artifact, misinterpretation, unrecovered failure |
| Core question | “무엇을 알고 있는가?” | “새 지식을 얼마나 신뢰 가능하게 만들 수 있는가?” |
원문 Figure 1과 Figure 2의 대비를 웹용으로 재구성한 표이다. 위치와 범주는 benchmark performance ranking이 아니라 evaluation structure를 설명하기 위한 개념적 배치다.
과학자는 답을 내고 끝나지 않는다. 관찰이 나오면 믿음을 바꾸고, 실패하면 방법을 고치며, 다음 실험의 가치까지 계산한다.
논문은 “doing science”를 실용적으로 정의하기 위해 AI Scientist를 changing epistemic state 위에서 행동하는 policy로 본다. 각 시점의 state에는 background knowledge, prior observations, available tools/skills, constraints, unresolved uncertainty가 있다. 시스템은 hypothesis나 objective를 제안하고, experiment 또는 simulation을 고르고, observation을 얻고, 분석한 뒤 state를 갱신해 hypothesis를 refine, reject, extend할지 결정한다.
이를 최소한의 기호로 표현하면 다음과 같은 형태가 된다. 이 식은 논문의 개념을 압축한 설명용 formalization이다.
state → action → observation → updated state
여기서 중요한 것은 정답 여부가 아니라 state transition의 질이다. 실패한 tool call 뒤에 recovery를 했는지, noisy observation을 과대해석하지 않았는지, negative result를 다음 행동에 반영했는지가 평가 대상이 된다.
scientific knowledge를 retrieve·synthesize·reason·communicate하는 base-model 능력이다.
state를 유지하고, tool을 사용하고, protocol을 실행하고, error에서 복구하고, resource·safety constraint를 지키며, provenance를 여러 단계에 걸쳐 보존하는 시스템 능력이다.
ScienceWorld는 exam-style question에 강한 모델이 interactive environment에서 초등학생도 수행할 수 있는 단계적 실험에 실패할 수 있음을 보여준 대표 사례로 언급된다. DiscoveryWorld는 hypothesis formation, experimental action, analysis를 포함하는 더 완전한 discovery cycle로 그 간극을 확장한다.
BLADE, CORE-Bench, LAB-Bench, ScienceAgentBench, ReplicationBench, SciAgentArena와 같은 후속 benchmark는 data analysis, reproducibility, protocol planning, research-code execution, paper replication 같은 과제를 통해 단순 QA에서 보이지 않던 failure mode를 드러내려 한다. 핵심은 “연구에 필요한 능력”을 하나의 hidden scalar intelligence로 뭉개지 않고, 어떤 단계에서 무너지는지 측정하는 것이다.
원문 Figure 2는 두 축으로 평가 지형을 그린다. 가로축은 known answer에서 open-ended inquiry로 가는 knowledge expansion, 세로축은 text response에서 tools·data·experiments로 가는 evaluation complexity다. 원하는 방향은 expert QA → interactive query → executable workflow → research subtasks → closed-loop discovery로 이동하는 대각선이다.
novelty는 발견의 출발점이지만 충분조건이 아니다. plausibility, realizability, testability, diversity, calibration, value of information까지 함께 봐야 한다.
가설 생성은 세 단계 중 가장 open-ended하다. 정답이 아직 존재하지 않을 수 있고, 가장 흥미로운 가설일수록 기존 label distribution 밖에 있다. 그래서 novelty는 자연스러운 출발점이지만, LLM에서는 apparent novelty가 training corpus의 기억일 수 있다는 문제가 생긴다.
논문은 novelty를 published literature와, 가능한 경우 training data 모두에 대해 평가해야 genuine discovery와 rediscovery를 구분할 수 있다고 주장한다. human expert가 처음 보는 아이디어라도 모델이 이미 학습한 문헌에 있었다면 “발견”이라고 부르기 어렵다.
100명 이상의 NLP researcher를 동원한 blinded expert review 연구를 인용해, LLM-generated research ideas가 human expert ideas보다 novelty에서는 높게 평가됐지만 feasibility에서는 약했다고 설명한다. 이 결과의 교훈은 단순하다. 대담한 아이디어 한 개보다 적당히 새롭고, 실현 가능하며, 검증 가능하고, 정보가 많은 후보 묶음이 과학적으로 더 유용할 수 있다.
known literature와 training exposure를 넘어서는가.
물리적·화학적·실험적 제약 아래 실제로 만들거나 실행할 수 있는가.
명확한 measurable consequence와 falsification path를 갖는가.
한 방향을 반복하지 않고 alternative mechanism과 design region을 탐색하는가.
예상 성공 가능성과 uncertainty가 실제 결과와 정렬되는가.
제안된 test가 이후 search를 얼마나 유용하게 좁혀주는가.
원문은 metal-organic framework(MOF)와 high-energy physics를 대비되는 예로 든다. 새로운 MOF를 gas separation용으로 제안했다면 creativity rating만 볼 것이 아니라 chemical validity, synthetic accessibility, thermodynamic stability, predicted adsorption behavior를 확인해야 한다. Standard Model extension이라면 anomaly cancellation, unitarity, precision measurement, collider·cosmological constraint와의 compatibility, 그리고 현재 또는 계획된 실험으로 falsify 가능한 prediction을 만들어야 한다.
“새롭다”는 평가는 사람이 아이디어를 좋아하는지 묻는 데 가깝다. “검증 가능하다”는 평가는 그 아이디어가 자연과 충돌할 기회를 제공하는지 묻는다. discovery benchmark는 후자를 요구해야 한다.
| Format | Design | 핵심 장점 | 핵심 위험 |
|---|---|---|---|
| Retrospective | 과거 discovery의 최종 결과를 숨기고 plausible trajectory 복원을 요구 | 이미 검증된 outcome을 이용해 비교 가능 | hidden discovery가 training data에 있으면 memorization을 discovery로 오인 |
| Prospective | bounded design space에서 candidate를 제안하고 나중에 simulation/experiment로 평가 | genuine novelty를 직접 시험 가능 | 시간·비용과 experimental throughput 필요 |
| Online | evolving database나 automated workflow와 계속 상호작용 | long-horizon adaptation과 real-time evidence 반영 | environment drift와 비교가능성 유지가 어려움 |
세 방식 모두에서 핵심 조건은 같다. hypothesis가 verifiable consequence와 연결돼야 한다. 논문 표현을 빌리면, 아이디어는 “세계와 접촉해도 살아남을 수 있어야” 한다.
계산환경, instrument, budget, protocol, bug, 사람의 변동성까지 들어오면 “좋은 계획”과 “실행 가능한 연구”의 차이가 드러난다.
논문은 execution evaluation을 두 질문으로 정리한다. 첫째, 주어진 resource와 constraint 안에서 experiment를 best-practice method로 수행할 수 있는가. 둘째, 그 experiment 결과가 가설을 지지하거나 반박하는 데 직접적인 정보를 주는가.
이 단계에는 experimental/analytical design, protocol·code 작성, instrument와 compute infrastructure, failure·bug recovery가 포함된다. 그리고 사용 가능한 장비, compute budget, 실제 비용 같은 현실 조건도 benchmark state의 일부가 돼야 한다. 이상적인 실험을 말로 설명하는 능력보다 “지금 가진 자원으로 가장 정보가 많은 실험을 고르는 능력”이 더 과학적이다.
purely computational experiment는 software engineering benchmark와 비슷해 보인다. unit test와 deterministic check를 활용할 수 있기 때문이다. 실제로 Harbor와 Inspect 같은 standardized environment는 reproducibility와 robustness를 높이고 rollout 중간에 더 dense한 reward를 제공하는 방향을 가능하게 한다.
그러나 계산과학도 여전히 실험이다. 같은 scientific objective에 여러 valid method가 존재할 수 있고, numerical result가 analysis assumption에 민감하며, 결론이 해석적일 수 있다. 따라서 “코드가 실행됐는가”만으로 execution quality를 다 평가할 수 없다.
wet-lab biology, chemistry, materials experiment는 더 어렵다. method-agnosticity와 resource constraint가 동시에 존재해 깔끔한 benchmark를 만들려면 상당한 사전 제한이 필요하다. cell-free expression에서 protein yield를 개선하거나, cloning/protein modification, drug repurposing을 수행한 focused project는 있지만, wet-lab execution 전용의 범용 benchmark는 여전히 open challenge로 남는다.
사람이 수행하는 lab experiment에는 executor variability도 있다. 논문은 이를 방해물로만 보지 않고 “protocol이 executor 변화에도 robust한가?”를 평가할 기회로 본다. self-driving laboratory는 일관성·속도·scale에서 장점이 있지만 모든 실험을 자동화하지 못한다. humanoid robot, 이른바 physical AI는 인간이 하는 폭넓은 lab action을 재현할 잠재적 방향으로 언급된다.
execution score 설계의 핵심 난점은 method-agnosticity다. human expert도 같은 hypothesis를 검증하는 최선의 method, reagent, parameter에 동의하지 않을 수 있다. 따라서 평가는 하나의 path만 정답으로 인정하는 opinionated 방식과, 여러 valid approach를 허용하는 accommodating 방식 사이의 스펙트럼에 놓인다.
exact number, fixed protocol, prescribed plan처럼 scoring은 쉽지만 equally valid alternative를 배제하고 instruction-following을 과학능력으로 오인할 수 있다.
여러 approach와 outcome을 인정해 현실에 가깝지만 comprehensive rubric 작성과 자동 scoring이 어렵다.
high-level plan을 제공하거나 procedure를 자세히 지정하면 평가가 쉬워지지만 autonomous method choice를 덜 재게 된다. 반대로 open-ended task는 현실적이지만 approach 자체를 평가하려면 expert rubric, partial credit, LLM judge 등을 정교하게 설계해야 한다.
instrument signal, preprocessing, statistics, controls와 domain convention을 거쳐야 observation이 evidence가 된다. 이 단계에서 과학자의 절제가 시험된다.
result interpretation은 data가 주어지기 때문에 hypothesis generation보다 쉬워 보일 수 있다. 그러나 저자들은 오히려 이 단계에서 benchmark가 가장 fragile해질 수 있다고 본다. measurement는 instrument calibration, preprocessing choice, statistical assumption, experimental control, domain-specific convention의 영향을 받는다.
따라서 AI Scientist는 결과를 요약하는 데서 멈추지 않고 sample size, control group, noise, convergence criterion, uncertainty estimate, confounder를 확인해야 한다. simulation이 수렴했는지, model이 해당 regime에서 유효한지, batch effect나 instrument drift가 있는지, contamination과 missing metadata가 있는지, detection limit 근처의 signal을 과해석하지 않았는지를 평가해야 한다.
NMR, mass spectrometer, microscope, diffractometer, electrochemical workstation은 결론을 출력하지 않는다. signal을 출력한다. 예를 들어 NMR data에서는 expected peak와 solvent signal, impurity, side product, baseline artifact, referencing error를 구분해야 한다. frontier model이 dedicated spectroscopy software 수준의 일부 capability를 보이기 시작한 사례도 인용된다.
더 중요한 상황은 evidence가 충돌할 때다. NMR과 mass spectrometry가 다른 해석을 지지한다면 편한 쪽을 선택해서는 안 된다. 어떤 explanation이 남아 있는지, 어떤 measurement가 uncertainty를 가장 줄일지 제안해야 한다.
강한 interpretation benchmark는 raw signal에서 relevant feature를 추출하는 단계부터 uncertainty calibration, multiple measurements의 비교, justified conclusion에 이르는 evidentiary chain 전체를 평가해야 한다. 여러 modality를 조합하되, “무엇을 관찰했는가”와 “그 관찰이 무엇을 의미한다고 해석하는가”를 구분해야 한다.
원문은 free-form hypothesis를 sequential statistical falsification에 넣고 type-I error를 명시적으로 통제하는 agentic framework를 이런 discipline의 한 사례로 든다. 때로는 최고의 답이 decisive claim이 아니다. 여러 explanation이 여전히 data와 양립한다는 사실을 정확히 인정하는 것이 가장 robust한 과학적 판단일 수 있다.
좋은 AI Scientist는 “설명을 잘 만드는 시스템”이 아니라, 증거가 약할 때 약하다고 말하고 강할 때만 강하게 결론내리는 시스템이어야 한다.
noisy, incomplete, contradictory data에는 단일 정답이 없을 수 있다. 특히 knowledge breakthrough를 알릴 가능성이 높은 anomaly는 기존 interpretation이 없는 관찰일 수 있다. 그래서 expert rubric은 statistically valid, instrument-aware, appropriately cautious한 interpretation을 평가하는 데 필요하다.
rubric은 correctness만 보지 말고 uncertainty calibration, failure mode identification, analysis pipeline reproducibility, follow-up action의 질까지 포함해야 한다. 목표는 post-hoc narrative의 설득력이 아니라 evidence under uncertainty를 다루는 능력이다.
좋은 논문은 성공한 이야기를 압축한다. 좋은 AI Scientist training data는 성공, null result, anomaly, failed action과 recovery까지 보존해야 한다.
Credit assignment within an episode. 좋은 hypothesis가 bad execution으로 사라질 수 있고, 잘 수행된 experiment가 flawed interpretation으로 false conclusion이 될 수 있다. final outcome만으로는 책임 stage를 찾을 수 없다.
Learning across episodes. 이전 episode가 확립한 insight를 재사용하고 이미 실패한 dead end를 피하면서, 아직 시도하지 않은 영역을 탐색하는 능력을 평가해야 한다.
Independent replication. discovery는 agent report를 믿어서 성립하지 않는다. computational 또는 physical environment에서 independent verification을 통과할 때만 finding으로 세어야 한다.
wide-field astronomical survey, multi-year clinical trial, decade-long climate campaign, new particle accelerator처럼 execution 자체가 매우 비싼 과학에서는 benchmark loop를 완전히 닫기 어렵다. agent는 hypothesis를 만들고 이미 있는 data를 해석할 수 있어도 실험을 직접 반복할 수 없다.
그래서 논문은 최소 closed-loop benchmark를 execution이 containable한 regime에 두자고 제안한다. bounded and well-characterized problem, automatically computable objective, controlled environment, reasonable time and cost가 기본조건이다.
기존 benchmark는 과학을 question → answer로 압축한다. 논문은 연구를 problem → evidence → claim으로 압축한다. 둘 다 인간 커뮤니케이션에는 효율적이지만, 장기간 행동해야 하는 agent에게는 intermediate signal이 부족하다.
저자들이 요구하는 새로운 data object는 discovery episode다.
pt = provenance: code · instrument · version · human intervention · safety constraint
여기에는 initial knowledge state, candidate hypotheses, rejected alternatives, tool calls, code edits, simulation input, instrument settings, intermediate observation, failed attempt, recovery action, evolving rationale가 들어간다. scientific claim이 supported, abandoned, revised될 때까지 이 transition을 반복해 기록한다.
scientific record는 positive, clean, coherent result를 과대표현한다. failed synthesis, abandoned hypothesis, debugging step, inconclusive measurement는 거의 남지 않는다. 인간에게는 읽기 부담을 줄이는 편집이지만, agent에게는 boundary condition이 사라지는 일이다.
negative result는 단순한 “출판되지 않은 결과”가 아니다. hypothesis의 boundary를 정의하고, hidden constraint를 드러내며, 언제 멈춰야 하는지 알려주고, 이미 알려진 dead end를 재발견하는 일을 줄인다. AI Scientist는 success action뿐 아니라 nearby failure, violated assumption, noisy measurement, recovery strategy를 함께 학습해야 한다.
FAIR principles, Open Reaction Database, Materials Project, AiiDA, FireWorks, self-driving laboratories는 reaction condition, parameter history, instrument metadata, provenance를 구조화해 보존하는 선행 인프라를 제공한다. 논문은 이를 AI Scientist 평가를 위한 episode-level infrastructure로 확장할 수 있다고 본다.
workflow engine과 automated laboratory가 normal operation의 부산물로 trajectory를 자동 기록하면 researcher burden을 크게 늘리지 않을 수 있다. journal도 final dataset만 요구하는 데서 나아가 discovery trajectory를 공유한 연구자를 credit하는 표준을 만들 수 있다는 제안이 뒤따른다.
과학자, benchmark builder, frontier model, automation, institution이 함께 문제·scenario·task·trajectory·governance를 순환시켜야 한다.
원문 Figure 4는 community ecosystem을 다섯 층으로 그린다. scientists는 real problem과 expertise를 제공하고, benchmark는 이를 measurable task로 번역한다. LLM과 agent는 task를 수행하면서 capability와 failure mode를 드러낸다. automation은 data, experiment, trajectory를 기록한다. foundation과 institution은 standard, credit, oversight를 제공한다.
이 생태계를 순환하는 것은 problems, scenarios, tasks, trajectories, governance다. 이들이 축적되고 재사용되면 benchmark만 좋아지는 것이 아니라 frontier model과 agent의 개발 자체도 더 grounded될 수 있다.
Kosmos, Claude Science, MIRA처럼 literature search, data analysis, long-horizon task execution을 하나의 interface에 묶는 system이 빠르게 나오고 있다. model, agent, tool, lab automation이 바뀌면 “좋은 과학”을 측정하는 criterion도 바뀐다.
논문은 novelty, testability, reproducibility, usefulness, safety에 더해 uncertainty calibration, cost-adjusted value of information, robustness to failed experiments, decision interpretability, human oversight 요청 능력이 점점 중요해질 것이라고 본다. 그래서 하나의 영구적 leaderboard보다, comparability를 유지하면서 task·metric·reporting standard가 과학 실무와 함께 진화하는 measurement ecosystem을 목표로 한다.
AI가 formal verification을 동반한 수학적 진전이나 olympiad-level reasoning을 보여주는 성취는 중요하다. 동시에 “open problem을 풀었다”는 유명 사례가 사실은 기존 문헌에 이미 있던 solution을 재발견한 경우도 있다. 따라서 rediscovery detection 자체가 measurement problem의 일부다.
평가의 핵심 질문은 “한 번 놀라운 결과를 냈는가?”가 아니라 “controlled, auditable, reproducible condition에서 유용한 진전을 반복적으로 만들어내는가?”가 된다. reliability는 breakthrough frequency보다 더 구조적인 개념이다.
chemistry, materials, energy, life sciences의 discovery는 powerful capability를 만들 수 있다. benchmark가 objective improvement만 보상하면 hazardous experiment를 제안하거나, poorly specified objective를 최적화하거나, uncertainty를 무시하고 human oversight를 우회하거나, dual-use knowledge를 안전장치 없이 생성하는 행동을 유도할 수 있다.
그래서 allowed design space, forbidden objective, safety constraint, human-review point, provenance requirement, stop/ask-for-help condition을 task definition에 처음부터 넣어야 한다. 때로는 “실행하지 않는다”는 선택이 가장 높은 scientific responsibility를 보여준다.
scientific discovery는 long-horizon objective, external tools, uncertain observations, delayed feedback, reality-checkable consequences를 자연스럽게 포함한다. closed-loop environment는 benchmark이면서 동시에 learning environment가 될 수 있고, discovery episode는 archive가 아니라 training signal이 된다.
이 지점에서 논문은 조심스럽지만 큰 함의를 제시한다. 과학을 진전시키려면 reasoning, planning, acting, observing, belief revision을 세계와 접촉하면서 함께 수행해야 한다. 따라서 AI Scientist 평가를 제대로 설계하는 일은 단순한 벤치마크 공학을 넘어, 더 일반적인 agentic intelligence의 학습문제를 구체화하는 한 경로가 될 수 있다.
시험은 지식을 잰다. discovery benchmark는 과학적 판단을 잰다. 좋은 AI Scientist는 정답을 많이 아는 시스템이 아니라, 가설을 검증 가능하게 만들고, 현실의 제약 속에서 실행하고, 불확실한 증거를 절제해 해석하고, 실패를 기억하며, 독립 재현을 견디는 시스템이다.
| Layer | 핵심 평가 항목 | 대표 failure | 필요 artifact |
|---|---|---|---|
| Hypothesis | novelty, plausibility, realizability, testability, diversity, calibration, value of information | rediscovery, infeasible claim, untestable idea | claim, prior art search, predicted consequence, test plan |
| Execution | method validity, resource awareness, reproducibility, recovery, automation | tool error, invalid protocol, budget violation, fragile workflow | code, protocol, logs, environment, instrument config |
| Interpretation | assumption check, uncertainty, confounder detection, multimodal consistency, follow-up quality | artifact-as-signal, overclaim, ignored contradiction | raw data, analysis notebook, uncertainty, rationale |
| Trajectory | credit assignment, state update, dead-end avoidance, cross-episode learning | repeating failures, no belief revision, local optimization | state/action/observation history |
| Replication | independent verification, reproducibility across environment/executor | one-off result, hidden dependency | verification plan, independent run |
| Governance | safety, provenance, human oversight, stop conditions | unsafe optimization, untraceable action | policy, audit log, review checkpoints |
원문은 총 103개 참고문헌을 제공한다. 이 섹션은 웹 글의 논증을 직접 지탱하는 핵심 reference family를 선별해 맥락과 함께 정리한 것이다. 전체 서지는 원문 PDF를 참조하면 된다.