An important skill in theoretical physics is to recognize when a new problem can be transformed into a known model. We study this skill as an AI-agent task: can LLM-based agents discover statistical mechanical mappings from a raw partition function to a tractable representation? To probe this question, we introduce StatMechBench-v0, a benchmark of six Ising-type problems covering transfer-matrix methods, gauge-removable disorder, and planar/Pfaffian structure. We evaluate a simple propose-verify-revise agent across multiple LLMs and problem phrasings. The results show that numerical feedback often helps agents repair code and recover correct partition functions. However, agents can also pass the numerical checks while misidentifying the underlying tractable class or understating computational complexity. This both reveals limitations in current LLM reasoning and calls for a verification stack that goes beyond numerical agreement, incorporating, for example, symbolic checks and structural invariants. Our study provides an early evaluation and design directions for AI agents aimed at structural discovery in theoretical physics.
Before a machine can discover a physical law, it must discover what its measurements are: which observations live on cells, which are intensive or extensive, which sectors are dual, and which distinctions are merely gauge. We introduce physical representation-language discovery, the problem of recovering this hidden on...
This work develops a systematic understanding of how physical patterns can alternatively be discovered directly from data by training a model without domain-specific priors, including any manually defined atomistic pairwise interactions, and finds that the model autonomously recovers key physical structure.
T. Kreiman, Yu-Tong Bai, Fadi Atieh et al.· 10 citations
CrystAF is introduced, an all-atom crystal flow-map generation model, and CrystAF with the UMA interatomic potential is used to systematically study where physics should enter, suggesting a simple principle: learn reusable physical alignment into the generator, and reserve inference-time physics for residual constraint...
This paper introduces IdeaSearchFitter, a framework that employs Large Language Models (LLMs) as semantic operators within an evolutionary search that achieves competitive, noise-robust performance on the Feynman Symbolic Regression Database (FSReD), outperforming several strong baselines.
Zhuo-Yang Song, Ze-Yu Cai, Shu-Tao Zhang et al.· Communications in Theoretica...· 0 citations
This paper discusses five case studies involving classical problems in statistics and describes how they can be analyzed using a machine proof-checking, and argues that the statistical community could benefit from a collaborative effort to build repositories of formalized axioms, definitions, and theorems, supporting m...
Pietro Coretto· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.