proomt

Search

Search posts, papers, and topics

All posts

Hacker News front pageAli Ansari, Haoran Sun, Andy Zeyi Liu, Mark Jabbour, Yongshan Ding, Steven Girvin, Yu He, Sohrab Ismail-Beigi, Aleksander Kubica, Owen D. Miller, Corey O'Hern, Vidvuds Ozolins, David Poland, A. Douglas Stone, Frank C. van den Bosch, Logan Wright, Navid Akbari, Santanu Antu, Kangle Cai, Andrew Calabrese-Day, Mateo Cárdenes Wuttig, Meng Cheng, Barry T. Chiang, Ali Ghorashi, Shouzhen Gu, Haoyang Huang, Zhibo Kang, Lukas Kienesberger, Hantian Liu, Charles Lomba, Zhongling Lu, Wenchao Ma, Rohin E. McIntosh, Evan McKinney, Ivan Rojkov, Xulei Sun, Yarone Meir Tokayer, Naveen Balaji Umasankar, Mira Varma, Leda Wang, Qimin Wang, Tyler Wang, Haoyu Wei, Jinming Yang, Jinchen Zhao, Sherlock Tingrui Zhao, Qinyuan Zheng, Jay S. Zou, Lucas Baker, Arman Cohan, John Sous2 min readpaperadvanced

How good are frontier models at physics?

Summary

The authors audit six popular physics benchmarks by having domain experts re‑grade model outputs, fixing reference answers and removing ambiguous items. After correction, GPT‑5.6‑Sol’s mean@4 jumps from ~47 % to ~79 % on HLE‑Physics and from ~61 % to ~87 % on CMT‑Benchmark, with a corrected pass@4 of 94 % on 54 vetted CritPt challenges. The work shows current benchmarks severely under‑report LLM…

  • Many “incorrect” model answers were actually due to flawed benchmark design—wrong reference solutions, ambiguous questions, or grading errors.
  • Expert re‑grading can raise reported scores dramatically (e.g., GPT‑5.6‑Sol mean@4 from 47.3 % → 78.7 % on HLE‑Physics).
  • Closed‑ended physics tasks are nearing saturation for frontier models, indicating the need for more challenging, well‑curated evaluation sets.

If benchmark scores are biased low, research and product decisions based on them (e.g., model selection, claims of progress) may be misguided. Reliable, expert‑validated evaluations are essential for measuring true scientific reasoning in LLMs and for guiding future model development.

6/10

Related reading

  1. Why I'm still bearish on LLMs after Navier-Stokes

    The author argues that despite headline successes (e.g., Navier‑Stokes proof, security exploits), current frontier LLMs still require heavy human oversight and rigorous specifications that are costly to produce. Reward‑hacking, narrow generalization, and the need for domain‑expert spec writing limit autonomous deployment to only a few niche domains (high‑failure‑cost work, tightly defined tasks,…

    Hacker News front pagedank.systems5 minHN487644lobste.rs49
  2. Feyospace-v1: How the Cyber Mercury Seven Trained Frontier Cyber Models

    Feyospace‑v1 presents a data‑centric training pipeline for cyber‑security agents, combining five systems (Choulea, SkyReal, Hongzwang, PSBreakup, Kreator) to generate and verify 164 k long‑context trajectories across diverse exploit environments. The resulting checkpoints improve baseline performance by ~24% on CyberGym and achieve a 63% verified success rate, ranking top among similarly‑sized op…

    Hugging Face Daily Papersarxiv.org1 minpaper
  3. Lies, Damn Lies and Benchmarks

    Codename One engineers dissect why benchmark numbers can be misleading, then share concrete work on GC tuning, proper weak/soft references, and a new probing sequence for their open‑addressed HashMap that cuts miss‑probe counts from >16 k to ~1.5 per lookup.

    CodeName Onecodenameone.com20 min
  4. Five models pass the easy code reviews. Then the diffs get hard.

    A hands‑on benchmark of five LLM code‑review models (Claude Opus 5, GPT 5‑6 Sol, Grok 4.6, Kimi 3, GLM 5.3, Qwen 3.8 Max, DeepSeek v4 Pro) shows that all models ace tiny 15‑line diffs but diverge sharply on 100‑300‑line, cross‑file changes. The author built a deterministic harness (single HTTP call, fixed system prompt, JSON output) and measured detection rate, false‑positives, latency, token usa…

    Bjørn Johansenbjornjohansen.com16 min
  5. GPT-6 Astra Is the First Model OpenAI Classifies as Critical for Cybersecurity

    OpenAI labeled GPT‑6 Astra as “Critical” for cybersecurity under its Preparedness Framework – the first model to meet that bar. In controlled tests the model autonomously discovered zero‑day bugs in a browser and an OS kernel, building working exploit chains in 29 h (browser) and 12 h (kernel). A benchmark of post‑cutoff vulnerabilities confirmed its ability to find unknown flaws. OpenAI reports…

    InfoQinfoq.com3 min