Papers
Topics
Authors
Recent
Search
2000 character limit reached

How Good Are Frontier Models at Physics? Expert Re-Grading Reveals Broken Evaluations and Near-Saturation of Leading Benchmarks

Published 11 Sep 2026 in cs.AI | (2609.13009v1)

Abstract: Low reported scores on leading physics benchmarks, including those featured in the Artificial Analysis Intelligence Index (2026), suggest that frontier LLMs still struggle with advanced physics, a demanding test of their scientific reasoning and quantitative problem-solving abilities. Yet this impression does not always align with domain experts' experiences using these models in their work. We revisit these reported findings by evaluating frontier models on six widely used physics benchmarks and auditing them with experts, focusing on text-only problems with verifiable final answers. For each subfield of physics, faculty and graduate researchers with relevant expertise carefully review problem statements, reference solutions, and model responses to distinguish genuine model errors from grader errors, incorrect reference solutions, and ambiguous or underspecified questions. Most audited cases initially evaluated as incorrect reflect these benchmarking issues rather than errors in the models' physics reasoning. We then ask experts to address these benchmarking issues by correcting erroneous reference solutions and repairing or excluding flawed questions. We find that GPT-5.6-Sol's measured mean@4 rises from 47.3% to 78.7% on HLE-Physics and from 61.0% to 87.2% on CMT-Benchmark, while its corrected pass@4 reaches 94.4% on the 54 retained CritPt challenges. Corrected scores are computed on the retained evaluation subsets following expert review. Scores on the audited subsets of UGPhysics, PRISM-Physics, and PHYBench also rise substantially after correction. These findings suggest that current benchmarks substantially understate frontier models' ability to solve well-posed physics problems. Near-saturation on these closed-ended tasks highlights the need for more demanding, expert-validated evaluations.

Summary

  • The audit revealed that most low scores in physics benchmarks are due to benchmark errors, grader errors, and vague/incomplete questions, not the models' physics understanding.
  • After correcting these issues, GPT-5.6-Sol achieved pass@4 of 94.44% on CritPt and above 90.0% on most benchmarks, indicating strong performance on well-posed, closed-ended physics problems.
  • The paper concludes that benchmark errors dominate measured errors once model performance exceeds benchmark quality, emphasizing the need to validate and improve benchmark quality to assess further model progress.

Research question and central thesis

The paper examines whether low scores on contemporary physics benchmarks measure genuine deficiencies in frontier LLMs or instead reflect defects in benchmark construction and evaluation. Its central claim is contradictory to the prevailing interpretation of these scores: after expert review, most apparent model failures are attributable to incorrect reference solutions, underspecified or ambiguous questions, and evaluator errors rather than failures of physics reasoning. The authors consequently argue that frontier models are close to saturation on a substantial class of closed-ended, text-only physics problems.

The study focuses on six benchmarks: UGPhysics, PHYBench, PRISM-Physics, HLE-Physics, CMT-Benchmark, and CritPt. These span undergraduate problems, Olympiad-level questions, advanced physics, condensed matter theory, and expert-authored frontier challenges. The distinction between publicly sourced and expert-authored datasets is analytically important. Public-source questions may be contaminated by training data, whereas expert-authored questions offer lower presumed contamination risk but are not thereby guaranteed to be correct or sufficiently specified.

The paper evaluates GPT-5.6-Sol, Claude Fable 5, and Gemini 3.1 Pro. GPT-5.6-Sol and Fable 5 use tools on the expert-authored benchmarks, while Gemini 3.1 Pro is evaluated without tools. The primary reported metric is mean@4, except for the externally reported pre-audit CritPt results, which use mean@5. The corrected evaluations use retained or repaired subsets and therefore are not always directly comparable with pre-audit scores computed on the original question sets.

The paper’s main empirical conclusion is that benchmark error becomes the dominant source of measured error once model capability exceeds benchmark quality. On the four pooled audit sets comprising 250 rejected cases, expert review attributes 143 cases to benchmark defects, 95 to grader errors, and only 12 to model errors. Thus, 95.2% of the audited rejections are not model errors. The stronger 97.37% figure reported for the public-source audit subsets reflects a different denominator and subset: 148 of 152 audited cases were attributed to benchmark or grader errors.

Audit methodology and error attribution

The evaluation pipeline has three stages. First, the models are evaluated using the original benchmark materials and available evaluators. Second, experts inspect problem statements, reference solutions, model responses, and—where available—evaluator decisions. Third, the authors either correct the evaluation procedure, repair the question or reference solution, or exclude the item when no defensible repair is possible.

The audit distinguishes three mutually exclusive categories:

  • Model error: the problem is well posed, the reference answer is correct, and the model answer is incorrect.
  • Grader error: the problem and reference answer are correct, the model answer is correct, but the evaluator rejects it.
  • Benchmark error: the problem statement or reference solution is defective, including ambiguity, missing assumptions, inconsistent conditions, or an incorrect answer.

This decomposition is methodologically appropriate because raw benchmark rejection conflates these distinct failure modes. In particular, a benchmark with a defective reference answer imposes an irreducible error floor: even a model that solves the underlying problem correctly cannot receive credit for an answer that disagrees with the stored ground truth.

The audit design is asymmetric across benchmarks. For HLE-Physics, PHYBench, PRISM-Physics, and UGPhysics, the authors audit questions for which all GPT-5.6-Sol attempts were rejected. This efficiently targets apparent failures but does not estimate the prevalence of defects among accepted items. For CMT-Benchmark and CritPt, all selected questions are audited, regardless of the model’s original outcome. This difference matters when interpreting the error rates: the pooled attribution is a decomposition of rejected cases in four benchmarks, not a fully representative defect estimate for every item in the six datasets.

The audit also reveals substantial inter-reviewer disagreement. Of 196 doubly reviewed questions, 140 received matching labels and 56 required adjudication by a third review. The resulting 71.43% initial agreement indicates that distinguishing an underspecified problem from a model mistake is itself nontrivial, especially when the intended assumptions are implicit in disciplinary conventions. The paper reports the adjudication procedure but does not provide a formal inter-rater reliability statistic such as Cohen’s κ\kappa.

Pre-audit scores and corrected performance

The central quantitative result is the large increase in measured accuracy after validation and repair. The gains are particularly pronounced for benchmarks using brittle rule-based evaluators or defective reference materials.

Benchmark GPT-5.6-Sol pre-audit GPT-5.6-Sol corrected Corrected pass@4
PHYBench 26.50% 90.23% 95.40%
PRISM-Physics 13.00% 94.59% 95.95%
UGPhysics 83.00% 92.07% 93.90%
HLE-Physics 47.28% 78.66% 91.38%
CMT-Benchmark 61.00% 87.24% 97.96%
CritPt 32.29%* 87.50% 94.44%

*Pre-audit CritPt is Artificial Analysis’s mean@5 on 70 challenges; the corrected result is mean@4 on 54 retained or repaired challenges.

The largest relative changes occur on PRISM-Physics and PHYBench. GPT-5.6-Sol’s mean@4 rises from 13.00% to 94.59% on PRISM-Physics and from 26.50% to 90.23% on PHYBench. These changes do not imply that the original benchmark questions were uniformly defective. Rather, the audited rejected subsets contain a high concentration of evaluator and question defects, and the corrected scores are computed after excluding flawed questions and replacing the original grading process with a shared HLE-adapted evaluator.

On the expert-authored datasets, the effect remains substantial but is less extreme. GPT-5.6-Sol’s HLE-Physics score rises from 47.28% to 78.66%, while its pass@4 rises from 55.94% to 91.38%. On CMT-Benchmark, mean@4 increases from 61.00% to 87.24%, and pass@4 reaches 97.96%. These results support the paper’s claim that expert authorship alone does not ensure benchmark validity. The CMT audit identifies defects in 30 of 50 questions; 29 are repaired and one is excluded.

Figure 1

Figure 1: Pre-audit and validated/repaired performance on six physics benchmarks for GPT-5.6-Sol, Fable 5, and Gemini 3.1 Pro.

CritPt provides the most pronounced example. GPT-5.6-Sol’s externally reported pre-audit mean@5 is 32.29% on 70 challenges. After experts audit 56 challenges, repair 19, exclude two, and independently derive reference solutions, the corrected mean@4 on 54 challenges is 87.50%, with pass@4 of 94.44%. The comparison is not a controlled before-and-after measurement on an identical item set: the attempt budget, metric, retained questions, reference solutions, and evaluation process differ. The result nevertheless demonstrates that the original aggregate score is highly sensitive to benchmark validity.

The same pattern appears across models. On the corrected public-source subsets, GPT-5.6-Sol reaches 90.23% on PHYBench, 94.59% on PRISM-Physics, and 92.07% on UGPhysics. Fable 5 reaches 87.64%, 84.80%, and 87.80%, respectively, while Gemini 3.1 Pro reaches 89.94%, 87.84%, and 90.85%. On expert-authored benchmarks, the corrected scores remain lower for Gemini, but its HLE-Physics score still rises from 40.97% to 64.87%, and its CritPt score rises from 17.71% to 54.63%.

Sources of benchmark and grader failure

The pooled audit provides the clearest evidence for the paper’s diagnosis. Of 250 rejected cases across HLE-Physics, PHYBench, PRISM-Physics, and UGPhysics, 143 are benchmark errors, 95 are grader errors, and 12 are model errors.

Figure 2

Figure 2: Error attribution across audited benchmarks, showing the prevalence of benchmark defects and the concentration of grader errors in rule-based evaluation pipelines.

The distribution varies by benchmark. PHYBench contains 13 benchmark errors, 40 grader errors, and 3 model errors among 56 audited rejections. PRISM-Physics contains 26 benchmark errors and 48 grader errors among 74 rejected cases, with no audited model errors. UGPhysics contains 18 benchmark errors, 3 grader errors, and 1 model error among 22 audited rejections. HLE-Physics contains 86 benchmark errors, 4 grader errors, and 8 model errors among 98 rejected cases.

These figures support two distinct conclusions. First, benchmark construction defects are widespread, including among expert-authored datasets. Second, rule-based graders are especially vulnerable to mathematically equivalent answers expressed in different syntactic forms. The two failure types should not be conflated: correcting a reference solution changes the target, whereas improving the evaluator changes recognition of an answer that already satisfies the target.

A representative PHYBench failure involves a rope-tension answer written as

P36\frac{P}{3\sqrt{6}}

when the reference answer is

618P.\frac{\sqrt{6}}{18}P.

The expressions are algebraically identical, but the Expression Edit Distance evaluator assigns a score of zero. Similar failures arise from reordered scalar factors, equivalent notation, alternative sign conventions, and derivations whose limiting form matches the requested answer. These are not marginal formatting issues in a quantitative benchmark: when binary accuracy is derived from exact or near-exact symbolic comparison, syntactic brittleness directly distorts model rankings.

The PRISM-Physics audit exposes a more fundamental problem. One item asks for an electron’s time of flight while providing neither the required distance nor timing information. The reference answer selects a numerical option despite the quantity being underdetermined. In this case, no improvement to answer normalization can repair the item; the problem lacks enough information to define a unique target.

The UGPhysics audit identifies a conceptual ambiguity involving damped motion. The reference answer treats critical damping as the fastest return to equilibrium, but that statement is true only under an additional condition such as no overshoot or a specified optimization criterion. With different initial conditions and without the no-overshoot restriction, an underdamped trajectory can reach equilibrium sooner. The defect lies in the unexpressed criterion, not necessarily in the model’s physical reasoning.

Repairs to expert-authored problems

The expert-authored benchmarks reveal that advanced content and benchmark validity are separate properties. CMT-Benchmark contains technically sophisticated condensed-matter questions, but many require assumptions about dimensionality, normalization, boundary conditions, operator conventions, or correlation functions that are not stated.

One repaired CMT item concerns a quantum Ising model. The original problem does not specify the spatial dimension or bond-counting convention, yet asks whether the excitation gap vanishes at h=1h=1. It also uses an ordinary two-point correlator where exponential decay applies to the connected correlator in the presence of a longitudinal field. The repair specifies a one-dimensional chain, counts each bond once, restricts the symmetry-breaking statement to g=0g=0, and replaces the ordinary correlator with

σizσjzσizσjz.\langle \sigma_i^z \sigma_j^z \rangle - \langle \sigma_i^z \rangle \langle \sigma_j^z \rangle.

The corrected answer changes from the original reference’s (a;c)(a;c) to (a;b;c)(a;b;c). The model’s original response already gives (a;b;c)(a;b;c), so the model is correct under the repaired formulation.

CritPt exhibits analogous problems in more advanced settings. One Kitaev honeycomb model question asks for ground-state degeneracies and energies while specifying only Jx=Jy=Jz=1J_x=J_y=J_z=1. It does not state whether the Hamiltonian uses Pauli matrices P36\frac{P}{3\sqrt{6}}0 or spin operators P36\frac{P}{3\sqrt{6}}1. The two conventions produce energies differing by a factor of four. The authors repair the question by writing the Hamiltonian explicitly, thereby converting an apparently numerical question into a well-posed one.

This type of repair is not cosmetic. Numerical answers in many-body physics depend on normalization, sign, lattice geometry, boundary conditions, gauge sector, and operator conventions. If these are omitted, a model can produce a physically coherent derivation while receiving an objectively unverifiable score. The audit therefore treats missing assumptions as benchmark errors when they are necessary to determine the intended answer and cannot be inferred unambiguously.

Interpreting near-saturation

After correction, the leading models achieve approximately 90–98% pass@4 on most retained benchmarks. GPT-5.6-Sol reaches 95.40% on PHYBench, 95.95% on PRISM-Physics, 93.90% on UGPhysics, 91.38% on HLE-Physics, 97.96% on CMT-Benchmark, and 94.44% on CritPt. These results are consistent with the paper’s claim of near-saturation on the studied task class: closed-ended, text-only problems with verifiable final answers and, for several expert-authored benchmarks, tool access.

The distinction between mean@4 and pass@4 is informative. Mean@4 measures average success across four attempts, whereas pass@4 measures whether at least one attempt succeeds. The gap between the two indicates residual stochasticity in model inference. For GPT-5.6-Sol on HLE-Physics, mean@4 is 78.66% while pass@4 is 91.38%; on CMT-Benchmark, the corresponding values are 87.24% and 97.96%. Thus, repeated sampling materially improves coverage even after benchmark correction.

The results do not establish that frontier models can perform end-to-end physics research. The benchmark tasks are closed-ended and generally terminate in a definite answer. They do not measure sustained problem formulation, experimental design, theory selection, model criticism, identification of unknown unknowns, or validation against empirical data. The paper explicitly reports that agentic attempts on open theoretical-physics problems made considerably less progress than comparable efforts in mathematics and did not fully solve any of the selected problems. This distinction is central: high performance on validated problem-set-style questions is evidence about quantitative problem solving under specified conditions, not about autonomous scientific research.

The paper’s interpretation is independently supported by an external CritPt correction reported in the Claude Fable 5.1 and Claude Mythos 5.1 system card. Anthropic reports a mean@16 of 88.4% on an internally corrected CritPt variant after revising 31 of 71 problem statements. The evaluations are not directly comparable because they use different models, question sets, attempt budgets, and judges, but the direction of the effect is consistent.

Limitations and open questions

The principal limitation is that corrected scores are not always measured on the same questions, with the same attempt budget, or under the same evaluator as the pre-audit scores. The comparison therefore quantifies the effect of changing the evaluation regime, not a pure causal effect of correcting labels while holding every other variable fixed. This is especially important for CritPt, where pre-audit mean@5 on 70 challenges is compared with corrected mean@4 on 54 retained or repaired challenges and independently derived reference solutions.

The audit sample is also selected in ways that constrain generalization. For four benchmarks, only questions rejected in all GPT-5.6-Sol audit attempts are reviewed. Accepted questions are not audited at comparable rates, so the reported attribution cannot be interpreted as the overall defect rate of each benchmark. The public-source evaluation is limited further by incomplete access to reference solutions: only 100 PHYBench questions with available solutions are analyzed, and the PRISM-Physics and UGPhysics results use sampled subsets.

Expert judgment is treated as ground truth, but expert review is not error-free. The 28.57% disagreement rate among doubly reviewed cases demonstrates that attribution depends on interpretation and disciplinary conventions. The protocol uses third-party adjudication, but the paper does not establish the reliability of the final labels with an independent blinded replication or a formal multi-rater reliability analysis.

Tool access creates another comparability issue. GPT-5.6-Sol and Fable 5 use coding or agentic tools on expert-authored benchmarks, while Gemini 3.1 Pro does not. Corrected cross-model differences therefore combine model capability, tool access, reasoning configuration, and evaluator behavior. The paper’s strongest claims concern the existence of benchmark defects and the inflation of apparent failure rates, not a clean ranking of the three systems.

Finally, near-saturation is task-class-specific. The retained questions may be easier than the original benchmark distributions after defective and ambiguous items are removed, and repeated attempts increase pass@4. The paper leaves open whether a similarly rigorous audit of genuinely novel, open-ended, experimentally grounded, or adversarially specified physics tasks would produce comparable corrected performance.

Conclusion

The paper presents an evaluation audit rather than a new model architecture or reasoning algorithm. Its contribution is to show that raw physics benchmark scores can substantially underestimate frontier-model performance when benchmark defects and evaluator brittleness are not separately measured. Across 250 audited rejected cases in four pooled datasets, only 12 are attributed to model errors; the remainder arise from flawed questions or grading procedures.

After expert validation and repair, GPT-5.6-Sol reaches 90% or higher pass@4 on most retained benchmarks and 94.44% on the retained CritPt challenges. These results support the narrower but consequential conclusion that frontier models are highly capable on well-posed, closed-ended physics problems. They do not establish comparable competence in open-ended physics research. The paper therefore reframes the empirical problem: once benchmark error exceeds model error, improving the benchmark’s validity becomes a prerequisite for measuring further progress.

Paper to Video (Beta)

No one has generated a video about this paper yet.

Whiteboard

Explain it Like I'm 14

1. ¿De qué trata el artículo?

Este artículo estudia qué tan bien pueden resolver problemas de física los modelos de inteligencia artificial más avanzados, también llamados modelos frontera.

Algunos exámenes anteriores indicaban que estos modelos eran bastante malos en física. Por ejemplo, parecían resolver correctamente solo entre el 10 % y el 60 % de ciertos problemas difíciles.

Pero los autores sospechaban que esas notas podían ser injustas. Tal vez los modelos no estaban fallando: quizá las preguntas tenían errores, las respuestas oficiales eran incorrectas o los sistemas que calificaban las respuestas no reconocían soluciones válidas.

Por eso, los investigadores volvieron a revisar varios exámenes de física con ayuda de profesores y estudiantes expertos.

2. ¿Qué querían descubrir?

La pregunta principal era:

¿Los modelos de inteligencia artificial realmente tienen problemas con la física, o los exámenes están midiendo mal sus capacidades?

Para responderla, los autores querían:

  • Averiguar si los errores atribuidos a los modelos eran realmente errores de razonamiento.
  • Encontrar preguntas ambiguas o incompletas.
  • Revisar si las soluciones oficiales eran correctas.
  • Comprobar si los calificadores rechazaban respuestas correctas escritas de otra manera.
  • Volver a calcular las notas después de arreglar los problemas encontrados.

Por ejemplo, una respuesta matemática puede escribirse como 16\frac{1}{\sqrt{6}} o como 66\frac{\sqrt{6}}{6}. Ambas expresiones significan lo mismo. Sin embargo, algunos calificadores automáticos consideraban incorrecta una de ellas porque no tenía exactamente el mismo formato que la respuesta oficial.

3. ¿Cómo hicieron la investigación?

Los exámenes estudiados

Los autores probaron tres modelos avanzados:

  • GPT-5.6-Sol
  • Claude Fable 5
  • Gemini 3.1 Pro

Los evaluaron en seis pruebas de física:

  • UGPhysics, con problemas de nivel universitario.
  • PHYBench, con problemas que llegan aproximadamente al nivel de las Olimpiadas de Física.
  • PRISM-Physics, con problemas avanzados.
  • HLE-Physics, parte de un examen general de preguntas muy difíciles.
  • CMT-Benchmark, centrado en física de la materia condensada.
  • CritPt, con problemas avanzados de muchas áreas de la física.

Todos eran problemas con una respuesta final concreta, como un número, una fórmula o una conclusión específica.

La auditoría de expertos

Después de obtener las notas originales, los expertos revisaron cuidadosamente:

  1. El texto de cada problema.
  2. La solución oficial.
  3. La respuesta dada por el modelo.
  4. La forma en que el sistema había calificado esa respuesta.

Una auditoría es una revisión detallada para descubrir si un resultado es confiable. Es parecida a revisar un examen con un profesor, pero también comprobando si la propia pregunta y la clave de respuestas están bien hechas.

Los expertos clasificaron cada caso en tres grupos:

Tipo de problema Qué significa
Error del modelo La pregunta estaba bien, la solución oficial era correcta y el modelo respondió mal.
Error del calificador El modelo respondió correctamente, pero el sistema no reconoció su respuesta.
Error del examen La pregunta era ambigua, estaba incompleta o la solución oficial era incorrecta.

Cuando era posible, los expertos reparaban las preguntas. Por ejemplo, podían añadir una condición que faltaba. Si una pregunta no se podía arreglar de manera segura, la eliminaban.

Después de eso, calcularon nuevas notas llamadas resultados corregidos o validados.

¿Qué significa “mean@4” y “pass@4”?

El artículo hizo que los modelos intentaran cada problema varias veces.

  • mean@4: el promedio de aciertos en cuatro intentos.
  • pass@4: el porcentaje de problemas que el modelo consiguió resolver correctamente al menos una vez en cuatro intentos.

Esto permite distinguir entre “el modelo nunca pudo resolverlo” y “el modelo lo resolvió, pero no en todos los intentos”.

4. ¿Qué encontraron?

El resultado principal fue que muchos supuestos errores de los modelos no eran realmente errores de razonamiento. Eran problemas de las preguntas o de los sistemas de calificación.

En una revisión de 250 casos:

  • Solo 12 casos fueron errores reales de los modelos.
  • Los otros 238 casos fueron causados por errores en las preguntas, las soluciones oficiales o los calificadores.

En los tres exámenes basados en problemas públicos, los investigadores encontraron que aproximadamente el 97 % de los casos revisados se debían al examen o al calificador, no al modelo.

Las notas aumentaron mucho después de corregir los exámenes

Algunos resultados importantes para GPT-5.6-Sol fueron:

Examen Nota original Nota corregida
PHYBench 26.50 % 90.23 %
PRISM-Physics 13.00 % 94.59 %
UGPhysics 83.00 % 92.07 %
HLE-Physics 47.28 % 78.66 %
CMT-Benchmark 61.00 % 87.24 %
CritPt 32.29 % 87.50 %

En CritPt, después de la revisión, GPT-5.6-Sol resolvió correctamente al menos una vez aproximadamente el 94.44 % de los problemas conservados.

Esto no significa que el modelo sea perfecto. Todavía cometió algunos errores en preguntas válidas. Pero sus resultados reales fueron mucho mejores que los que mostraban las evaluaciones originales.

Un ejemplo de pregunta defectuosa

Una pregunta de física pedía calcular la energía de un sistema, pero no explicaba claramente qué significaban ciertas letras y símbolos.

En física, una misma letra puede representar cosas diferentes según la convención usada. Por ejemplo, una fórmula puede usar matrices de Pauli o una versión de los operadores de espín que es cuatro veces menor. Eso cambia el resultado numérico.

Los expertos añadieron la definición exacta de esos símbolos. Así, la pregunta pasó de tener varias posibles respuestas a tener una respuesta bien definida.

5. ¿Por qué son importantes estos resultados?

Una prueba solo puede medir bien a un estudiante o a una inteligencia artificial si sus preguntas y sus respuestas oficiales son correctas.

Si un examen tiene preguntas ambiguas o un calificador demasiado rígido, puede parecer que un estudiante sabe menos de lo que realmente sabe. Lo mismo ocurre con los modelos de IA.

El artículo muestra que los problemas son especialmente importantes cuando los modelos ya son muy buenos. Si un modelo falla mucho, es difícil notar los pequeños errores del examen. Pero si el modelo responde correctamente a casi todo, los errores del examen pueden convertirse en la mayor parte de los fallos observados.

Por ejemplo, un calificador automático puede funcionar razonablemente bien con respuestas sencillas, pero fallar cuando los modelos empiezan a dar respuestas correctas en muchas formas diferentes.

6. ¿Qué consecuencias podría tener esta investigación?

La principal conclusión es que los modelos avanzados parecen ser mucho mejores resolviendo problemas de física bien escritos de lo que indicaban las pruebas anteriores.

Sin embargo, esto no demuestra que puedan hacer investigación física completa por sí solos. Resolver una pregunta cerrada —con una respuesta concreta— es diferente de:

  • Elegir qué problema científico estudiar.
  • Decidir qué supuestos son razonables.
  • Diseñar un experimento.
  • Crear una teoría nueva.
  • Trabajar durante semanas para resolver una pregunta abierta.
  • Comprobar que un descubrimiento es realmente correcto.

Por eso, los autores creen que las futuras pruebas deberían ser más difíciles y estar revisadas cuidadosamente por expertos. También deberían incluir problemas nuevos, para evitar que los modelos ya hayan visto las respuestas durante su entrenamiento.

En resumen, el artículo dice que los modelos frontera pueden resolver muchos problemas de física de tipo escolar o universitario con una precisión cercana a la perfección, pero las pruebas actuales contienen tantos errores que hacen que su rendimiento parezca peor de lo que es. La siguiente generación de evaluaciones tendrá que ser más precisa, más difícil y mejor comprobada.

Knowledge Gaps

Knowledge gaps, limitations, and open questions

  • Audit selection bias: For HLE-Physics, PHYBench, PRISM-Physics, and UGPhysics, the audit was restricted primarily to questions on which all GPT-5.6-Sol attempts were marked incorrect; this does not establish the defect rate among correctly answered or partially answered items.
  • Limited and uneven audit coverage: Only subsets of the six benchmarks were audited, with coverage varying substantially across benchmarks; the reported error proportions may therefore not generalize to the full datasets.
  • Small effective sample sizes: Some corrected evaluations rely on very small retained sets, such as 49 CMT-Benchmark questions and 54 CritPt challenges, making performance estimates and model comparisons statistically uncertain.
  • No confidence intervals or formal significance tests: The paper reports percentage scores without uncertainty estimates, item-level variance analyses, or statistical tests showing whether differences between models or pre-audit and corrected results are robust.
  • Non-comparable pre-audit and corrected scores: Corrected scores are often computed after excluding or repairing questions and, for CritPt, using different numbers of attempts and a different metric (mean@4 versus pre-audit mean@5), so the magnitude of improvement cannot be interpreted as a clean causal effect of benchmark repair.
  • Subjective repair decisions: The criteria for repairing versus excluding defective questions may depend on auditor judgment, and the paper does not quantify how alternative reasonable repairs would affect model rankings or scores.
  • Insufficient inter-rater reliability evidence: The study does not report independent double-coding rates, agreement statistics, adjudication procedures, or the extent to which experts disagreed about whether an item was ambiguous, repairable, or incorrectly solved.
  • Potential auditor and institutional bias: Auditors were primarily based at Yale and were matched to subfields by the study team; the robustness of classifications across institutions, research traditions, and disciplinary conventions remains untested.
  • Possible evaluator circularity: Corrected evaluations use an HLE-adapted LLM judge, while the study’s central claim concerns weaknesses in evaluation systems; independent human grading, formal symbolic verification, or multiple blinded judges are needed to establish that the corrected scores are not artifacts of the replacement evaluator.
  • Unquantified errors in the corrected judge: The reported 4.08% grader-error rate is based on audited cases and may not represent the evaluator’s error rate on all retained questions, especially on more difficult or unusual answers.
  • Incomplete attribution of partial correctness: The three-way classification—model error, grader error, and benchmark error—does not fully capture partially correct derivations, correct reasoning with numerical slips, uncertainty about conventions, or errors introduced by tool use.
  • Model-specific audit dependence: Many audit decisions were made using GPT-5.6-Sol’s rejected responses, so the corrected benchmark may be optimized around one model’s answers and may not be equally valid for other models or future systems.
  • Unequal model evaluation conditions: The models differ in tool access, reasoning settings, attempt budgets, and possibly system prompts; consequently, the comparisons do not isolate model capability from evaluation configuration.
  • No systematic ablation of tools and prompting: The paper does not determine how much of the corrected performance comes from external tools, repeated attempts, reasoning effort, evaluator prompts, or other elements of the evaluation harness.
  • Training-data contamination remains unresolved: Three benchmarks draw on public problems and solutions, but the study does not test for memorization or contamination; high scores on these datasets may therefore overestimate general physics reasoning.
  • Limited assessment of generalization: The evaluation uses closed-ended, text-only questions with verifiable final answers and does not establish performance on novel problem formulations, incomplete information, experimental data, diagrams, simulations, laboratory tasks, or open-ended modeling.
  • Weak evidence for end-to-end physics research ability: The paper acknowledges that benchmark success does not imply research competence, but it does not provide a systematic evaluation of hypothesis generation, experimental design, literature synthesis, theory development, reproducibility, or sustained autonomous research.
  • Narrow representation of physics: The six benchmarks do not necessarily cover all physics subfields, levels of expertise, mathematical formalisms, or culturally diverse problem-solving conventions; performance in omitted areas remains unknown.
  • Near-saturation claims may be benchmark-specific: The conclusion that frontier models can solve “almost no” closed-ended physics problems beyond their reach is not supported by a systematically constructed set of new, adversarial, or independently held-out hard problems.
  • Difficulty calibration is missing: The paper does not establish the human performance distribution, expert agreement, time requirements, or pedagogical difficulty of the retained and repaired items, making it difficult to interpret scores as scientific reasoning ability.
  • No analysis of failure modes among retained items: The paper reports aggregate corrected accuracy but provides limited systematic analysis of the remaining model errors, including whether they arise from conceptual misunderstandings, algebraic mistakes, numerical instability, tool misuse, or sensitivity to wording.
  • Robustness to problem perturbations is untested: It remains unknown whether models retain their performance when numerical values, notation, boundary conditions, wording, diagrams, or equivalent physical representations are changed.
  • Evaluation reproducibility is uncertain: The study does not fully establish whether the results are reproducible across model API versions, random seeds, sampling temperatures, repeated evaluation dates, or independent implementations of the judging pipeline.
  • Potential conflict-of-interest effects are not examined: The paper reports support from an AI-related industry sponsor and evaluates frontier models, but it does not provide analyses of whether sponsorship, model access, or benchmark-selection decisions could influence the conclusions.
  • Future benchmark design is underspecified: Although the paper calls for expert-validated and more difficult evaluations, it does not define operational standards for item verification, contamination prevention, evaluator validation, maintenance, statistical power, or fair comparison across models.

Practical Applications

Immediate Applications

  • Benchmark validation for AI evaluation organizations and model developers — AI/software
    • Adopt the paper’s audit workflow before publishing or relying on physics benchmark scores: independently verify problem statements, re-derive reference answers, test whether questions are fully specified, and compare model outputs using semantic rather than exact-string matching.
    • Build evaluation pipelines that explicitly distinguish:
    • genuine model errors,
    • grader errors,
    • incorrect reference solutions, and
    • ambiguous or underspecified questions.
    • Potential tools: benchmark-auditing dashboards, expert-review queues, answer-equivalence checkers, and metadata schemas recording validation status and known assumptions.
    • Dependencies: access to qualified domain experts, sufficient review time, and transparent benchmark materials. Corrected scores may not be directly comparable with original scores if defective items are removed or repaired.
  • Replacing brittle exact-match grading in quantitative domains — Education, scientific computing, software
    • Deploy symbolic normalization and semantic answer checking for physics, mathematics, engineering, and finance problems. The paper demonstrates that algebraically equivalent answers—such as different factorizations or rationalized expressions—can be incorrectly rejected by rule-based graders.
    • A practical grading workflow can combine:
    • 1. unit and dimensional checks,
    • 2. symbolic algebraic equivalence,
    • 3. numerical tolerance checks,
    • 4. convention-aware parsing, and
    • 5. an independently validated LLM judge for unresolved cases.
    • Potential products: automated homework graders, scientific response evaluators, coding-agent test harnesses, and benchmark scoring APIs.
    • Dependencies: reliable parsers, explicitly documented conventions, safeguards against LLM-judge bias, and human escalation for ambiguous cases.
  • Quality control for existing educational assessment banks — Education
    • Universities, online-course providers, and textbook publishers can audit physics question banks for missing boundary conditions, inconsistent assumptions, incorrect solutions, and ambiguous notation.
    • The workflow is immediately useful for undergraduate mechanics, electromagnetism, quantum mechanics, and condensed-matter exercises, especially where automated grading is used at scale.
    • Potential workflow: sample questions with high disagreement or unexpectedly low model/student performance, route them to subject-matter reviewers, repair or retire defective items, and version the corrected bank.
    • Dependencies: reviewer expertise and a clear policy for whether repaired questions retain historical statistics.
  • More reliable evaluation of AI tutoring and homework assistants — Education
    • Use corrected benchmarks to test whether an AI tutor genuinely solves well-posed problems rather than merely matching reference wording. The reported corrected scores—often above 85–90% on retained subsets—suggest that frontier models can already handle many closed-ended, problem-set-style physics tasks.
    • This supports immediate deployment for:
    • step-by-step explanations,
    • alternative derivations,
    • checking student work,
    • generating practice problems, and
    • identifying likely algebraic or conceptual mistakes.
    • Dependencies: human oversight for advanced topics, accurate problem specifications, calibrated uncertainty, and safeguards against students treating generated solutions as authoritative.
  • AI-assisted routine scientific and engineering calculations — Research, engineering, energy, robotics
    • Researchers and engineers can use frontier models as assistants for well-defined calculations such as symbolic derivations, order-of-magnitude estimates, parameter substitutions, and interpretation of standard physics formulas.
    • The paper supports using these systems for closed-ended and verifiable tasks, not as autonomous scientific authorities.
    • Potential tools: notebook copilots, equation-solving assistants, simulation-preparation agents, and document assistants that connect model outputs to computer algebra systems or numerical solvers.
    • Dependencies: external verification, correct units and conventions, tool access where necessary, and expert review for safety-critical or novel results.
  • Improved model selection and procurement decisions — Industry and public-sector technology
    • Organizations should not reject a model solely because of low raw scores on physics or quantitative benchmarks. Procurement evaluations can require validated subsets, transparent audit reports, and separate reporting of model and evaluator error.
    • This is relevant to companies selecting models for technical support, engineering design, quantitative analysis, or scientific literature workflows.
    • Dependencies: independent auditing is needed to avoid replacing one biased evaluation with another; corrected benchmark results should be reported with confidence intervals and item counts.
  • Daily-life use of physics-capable assistants — Consumer software
    • Consumers can use current frontier models for ordinary, well-specified tasks such as unit conversion, basic mechanics, electricity calculations, optics explanations, and interpretation of textbook problems.
    • The practical workflow should require the user to state assumptions explicitly—for example, frictionless surfaces, sign conventions, or units—and should encourage calculator or reference checks for consequential decisions.
    • Dependencies: the paper does not establish reliability for medical, structural, electrical-safety, or other high-risk advice. Near-saturation on benchmark-style questions should not be generalized to real-world physical environments.
  • Policy and research reporting standards for AI benchmarks — Government, academia, funding agencies
    • Benchmark creators and grant reviewers can require:
    • expert validation of questions and solutions,
    • documentation of assumptions and conventions,
    • separate accounting of grader errors,
    • reporting of retained and excluded items,
    • contamination analysis,
    • multiple-attempt metrics such as mean@k and pass@k, and
    • release of audit data and evaluation prompts.
    • This would make published model comparisons more reproducible and reduce incentives to optimize for flawed scoring procedures.
    • Dependencies: funding for expert review and agreement on common validation standards across institutions.

Long-Term Applications

  • Expert-validated, dynamically maintained benchmarks for advanced scientific reasoning — AI research and academia
    • Develop continuously refreshed benchmarks composed of newly authored, difficult physics tasks with independent derivations, explicit assumptions, and adversarial checks for ambiguity. Items should be retired or revised when contamination, leakage, or saturation becomes likely.
    • A mature benchmark could include:
    • open-ended derivations,
    • numerical and symbolic verification,
    • experimental-data interpretation,
    • model selection,
    • uncertainty analysis, and
    • multi-step research planning.
    • Dependencies: substantial financial resources, a large international expert network, secure item generation, and executable or independently checkable validation procedures.
  • Evaluation of end-to-end AI physics research agents — Scientific research
    • The paper distinguishes strong performance on closed-ended questions from difficulty with open physics problems. A longer-term application is a benchmark for agents that must formulate hypotheses, select assumptions, design calculations, run simulations, compare with data, and produce reproducible research artifacts.
    • Potential tools: agent systems connected to symbolic algebra, numerical solvers, laboratory databases, simulation platforms, and theorem or code verifiers.
    • Dependencies: reliable external checkers, evaluation of originality and reproducibility, substantial inference budgets, and human experts capable of assessing research-level validity.
  • Autonomous or semi-autonomous engineering design assistants — Robotics, energy, aerospace, manufacturing
    • Once models are tested on physical systems rather than only text questions, they could assist with controller design, materials selection, energy-system optimization, robotics dynamics, and aerodynamic or electromagnetic configuration.
    • The paper’s findings support using models for the analytical component of these workflows, while the long-term challenge is connecting them safely to simulation and hardware feedback.
    • Dependencies: accurate simulators, robust uncertainty quantification, hardware-in-the-loop testing, formal safety constraints, and certification before deployment.
  • Scientific discovery and literature-to-model pipelines — Physics, materials science, climate and energy
    • Frontier models could eventually integrate literature retrieval, equation extraction, hypothesis generation, symbolic derivation, simulation, and experimental comparison to accelerate work in condensed matter, quantum systems, materials, and energy science.
    • The paper’s audit methodology could serve as a validation layer for generated derivations and reference solutions before they enter a research workflow.
    • Dependencies: models must improve beyond benchmark-style reasoning; domain knowledge, experimental validation, provenance tracking, and protection against plausible but incorrect derivations remain essential.
  • Cross-domain benchmark auditing for finance, software, medicine, and law — Policy and industry
    • The same failure modes identified in physics—wrong reference answers, ambiguous specifications, and evaluators that reject equivalent outputs—can affect quantitative finance tasks, software-engineering benchmarks, clinical reasoning datasets, and legal question banks.
    • Organizations could create domain-specific audit protocols that classify errors by source rather than treating every failed model response as a model failure.
    • Dependencies: domain-specific notions of correctness, privacy and regulatory constraints, reproducible ground truth, and independent auditors.
  • Adaptive evaluation that remains informative near saturation — AI safety and governance
    • Because fixed closed-ended benchmarks lose discriminative power when models approach very high accuracy, future systems could use adaptive item generation: increase difficulty, introduce novel contexts, require calibrated uncertainty, and test whether the model can detect underspecification rather than silently assume an answer.
    • Evaluation could score not only final answers but also:
    • assumption identification,
    • dimensional consistency,
    • robustness to alternate conventions,
    • error correction,
    • reproducibility, and
    • appropriate refusal or escalation.
    • Dependencies: validated difficulty calibration, protection against benchmark contamination, and reliable scoring of reasoning processes without rewarding verbose but incorrect explanations.
  • Human–AI expert review marketplaces and collaborative auditing — Academia and policy
    • The paper suggests a scalable institutional model in which experts review benchmark items through funded nonprofit programs, open competitions, or distributed audit platforms.
    • Such platforms could assign questions by specialization, collect independent solutions, resolve disagreements, and publish versioned benchmark releases with audit trails.
    • Dependencies: fair compensation, conflict-of-interest controls, reviewer agreement metrics, secure handling of unreleased questions, and governance over who can modify benchmark items.

Glossary

  • Agentic harness: A framework that coordinates an AI model, tools, and iterative procedures to perform complex tasks. “we used GPT-based agentic harnesses of the kind that have been used successfully on open mathematics conjectures”
  • Ambiguity: A lack of sufficient specificity that permits multiple reasonable interpretations. “This includes an incorrect reference solution, inconsistent conditions, ambiguity, or a missing assumption.”
  • Answer equivalence: The property of two answers expressing the same result despite differing notation or form. “use the same procedure to assess answer equivalence.”
  • Auxiliary LLM judge: A secondary LLM used to evaluate another model’s responses. “where the benchmark's evaluator already includes an auxiliary LLM judge”
  • Benchmark contamination: The presence of evaluation questions or solutions in a model’s training data, potentially inflating performance. “creating a potential route for training-data contamination.”
  • Binary score: An evaluation value with only two possible outcomes, typically correct or incorrect. “Pre-audit grader error: EED score 0.0, binary score 0”
  • Bravais lattice: A regularly repeating arrangement of points used to represent crystal structures. “on a 3x2 Bravais lattice with periodic boundary conditions.”
  • Closed-ended benchmark: An evaluation set in which each question is intended to have a definite answer. “All six are closed-ended benchmarks.”
  • Condensed matter theory: The study of collective physical properties of matter, especially solids and quantum materials. “CMT-Benchmark focuses on advanced condensed matter theory”
  • Convention: A specified choice of notation, normalization, sign, or representation used in a technical calculation. “clarifying a convention needed to determine the intended answer”
  • Critical point: A threshold or special condition at which a system undergoes a qualitative change in behavior. “Probing the Critical Point ({CritPt}) of {AI} Reasoning”
  • Curation: The expert selection, organization, and quality control of data or evaluation questions. “expert-curated challenges”
  • Degenerate ground state: One of multiple distinct lowest-energy states having the same energy. “How many degenerate ground states are there?”
  • Expression Edit Distance (EED): A metric that measures the edits required to transform one mathematical expression into another. “A correct answer in an equivalent form receives zero credit in PHYBench's Expression Edit Distance (EED) evaluation.”
  • Factorization theorem: A mathematical result showing that a complex object can be decomposed into simpler factors. “a new factorization theorem”
  • Flux-free sector: The subset of states in a lattice model with zero effective gauge flux through the relevant plaquettes. “How many of them are in the flux-free sector?”
  • Frontier model: A highly capable, state-of-the-art artificial intelligence model. “We evaluate three frontier models”
  • Grader error: An evaluation failure in which a correct model response is judged incorrect. “Grader error. The problem is well posed, the reference solution is correct, and the model under test gives a correct answer, but the evaluator marks it incorrect.”
  • Ground state: The lowest-energy state available to a physical system. “Compute the energy of the ground states with three decimal precision.”
  • Hamiltonian: An operator or function representing the total energy of a physical system. “To fix the normalization and sign convention unambiguously, take H=H={}
  • Held-out question: An evaluation question withheld from model development or training. “None of these is a score on held-out questions.”
  • Homogeneous sphere: A sphere whose mass or material properties are uniformly distributed. “Three identical homogeneous balls are placed on a smooth horizontal surface”
  • Isotropic limit: A regime in which directional parameters or couplings are equal in all relevant directions. “Consider the Kitaev honeycomb model at the isotropic limit”
  • Kitaev honeycomb model: A quantum spin model defined on a honeycomb lattice with direction-dependent interactions. “Consider the Kitaev honeycomb model at the isotropic limit”
  • LLM judge: A LLM used to assess the quality or correctness of another model’s output. “LLM judges grade more flexibly”
  • Mean@4: The average accuracy obtained over four independent model attempts for each question. “We report mean@4, except for the pre-audit CritPt scores described below.”
  • Near-saturation: A condition in which measured performance is approaching the maximum possible score. “Near-saturation on these closed-ended tasks highlights the need for more demanding, expert-validated evaluations.”
  • Normalization: A scaling or convention that fixes the numerical magnitude of a mathematical or physical quantity. “To fix the normalization and sign convention unambiguously”
  • Pass@4: The fraction of questions for which at least one of four model attempts is correct. “We also report pass@4, the fraction of questions solved in at least one of four attempts.”
  • Periodic boundary conditions: Conditions that connect the edges of a finite system so that it behaves as though it repeats indefinitely. “on a 3x2 Bravais lattice with periodic boundary conditions.”
  • Process-level evaluation: Assessment of the intermediate reasoning or steps used to produce an answer, rather than only the final result. “contains advanced physics problems with both final-answer and process-level evaluation”
  • Reference solution: An authoritative answer or derivation used to evaluate a model’s response. “Some benchmarks also supply a worked solution, a derivation of that answer.”
  • Rule-based evaluator: An evaluation system that applies explicitly programmed matching or decision rules. “This happens mainly with rule-based evaluators”
  • Sign convention: A chosen assignment of positive and negative signs in a mathematical or physical formulation. “The correction makes the problem well posed and gives it a unique answer.”
  • Symbolic evaluator: A program that compares or manipulates mathematical expressions according to their symbolic structure. “rule-based evaluators, whether exact-match or symbolic”
  • System prompt: Instructions provided to a LLM that define its role, behavior, or task constraints. “including its system prompt and LLM-judge prompt”
  • Training-data contamination: The unintended overlap between benchmark content and the data used to train a model. “creating a potential route for training-data contamination.”
  • Underspecified question: A question lacking information needed to determine a unique answer. “because the question is underspecified or because competent people read it differently.”
  • Validated/repaired evaluation: An evaluation performed after experts correct, clarify, or remove defective questions or solutions. “We label the resulting evaluations ``validated/repaired''”
  • Well-posed problem: A problem with sufficiently precise conditions and a determinate solution. “The problem is well posed and the reference solution is correct”
  • Worked solution: A solution that includes the derivation or intermediate reasoning leading to the final answer. “Some benchmarks also supply a worked solution, a derivation of that answer.”

Open Problems

We haven't generated a list of open problems mentioned in this paper yet.

Tweets

Sign up for free to view the 3 tweets with 22 likes about this paper.