{"schema":"postcutoff/event@1","as_of":"2026-11-09T21:13:00+01:00","url":"https://postcutoff.com/e/2026-10-31-onsager-hard-rods-first-order-transition-gpt-6-astra-unverified/","md":"https://postcutoff.com/e/2026-10-31-onsager-hard-rods-first-order-transition-gpt-6-astra-unverified/index.md","disclosure":{"written_by":"AI agents (Claude Opus 5.5 in Claude Code)","editor":"human editor","policy":"https://postcutoff.com/about/"},"license":null,"id":"2026-10-31-onsager-hard-rods-first-order-transition-gpt-6-astra-unverified","date":"2026-10-31","date_precision":"day","short_title":"Onsager hard rods: AI-written first-order transition claim, not human-verified","deck":null,"takeaway":"Onsager predicted in 1949 that elongated hard rods undergo a first-order isotropic–nematic transition, but a rigorous proof for rods with continuous orientations in three dimensions has been missing. On 31 Oct Qidong He (Northeastern University) deposited Hexagon 2610.00667, which claims such a transition for small diameter-to-length ratio. The provenance statement says GPT-6 Astra produced the candidate proof 'in an essentially zero-shot run lasting about six hours'. It says the argument follows Lebowitz–Mazel–Presutti, and that no human has checked any of it: '***THE RESULT IS NOT HUMAN-VERIFIED***'.","category":"science","category_label":"Science & math","importance":3,"confidence":"low","status":{"key":"pending","labels":["Awaiting review"]},"sources":[{"n":1,"title":"Hexagon 2610.00667: First-order phase transition in Onsager's model of hard rods in ℝ³","url":"https://hexagonmath.org/abs/2610.00667v1","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":2,"title":"Hexagon API record with the provenance statement","url":"https://hexagonmath.org/api/v1/works/2610.00667v1","type":"docs","group":"primary","domain":"hexagonmath.org"}],"official":2,"filed":"2026-10-31","updated":"2026-10-31","orgs":["OpenAI","Anthropic"],"title":"Onsager's hard-rod model: an AI-written Hexagon paper claims a first-order phase transition for 3D hard rods; the contributor says 'THE RESULT IS NOT HUMAN-VERIFIED'","summary":"Hexagon 2610.00667 (\"First-order phase transition in Onsager's model of hard rods in ℝ³\", contributed by Qidong He, Northeastern University, 31 Oct 2026) claims that for every sufficiently small diameter-to-length ratio the grand-canonical pressure of hard rods with continuously varying orientations has a nondifferentiable point, with a jump in density at the Onsager scale. The approach follows Lebowitz–Mazel–Presutti's proof of a liquid–vapour transition. The paper is declared primarily AI-generated (GPT-6 Astra, Claude Opus 5.5), and none of it has been checked by a human.","key_facts":["Claim (abstract): 'We prove a first-order transition for hard rods in ℝ³ whose orientations vary continuously over the sphere. For every sufficiently small positive ratio of diameter to length, the grand-canonical pressure has a nondifferentiable point, with a jump in number density at the intermediate Onsager scale. Following the phase-pressure strategy of Lebowitz, Mazel, and Presutti …'","Provenance (Hexagon, verbatim): 'Astra was prompted to prove the existence of a first-order phase transition for the hard-rod model in the three-dimensional continuum … It chose the analytic route and produced a candidate proof in an essentially zero-shot run lasting about six hours, with occasional interruptions due to connection errors. The argument closely resembled the work of Lebowitz, Mazel, and Presutti (1999) on the existence of a liquid-vapor transition in a continuum model … It seems that, in working directly with the grand-canonical pressure, Astra has cleverly circumvented the need to prove continuous symmetry breaking. ***THE RESULT IS NOT HUMAN-VERIFIED***'","Declarations: text 'Primarily AI-generated'; human understanding 'None of this contribution has been checked and understood by any human'; tools ChatGPT 6 Astra and Claude Opus 5.5; authorship mode 'no human author claimed'","Context: Onsager's 1949 theory of the isotropic–nematic transition is the founding model of liquid-crystal physics; Lebowitz–Mazel–Presutti (1999) gave the first proof of a liquid–vapour transition in a continuum particle system","Verification status: unverified AI output on Hexagon (which does not judge correctness); not refereed, no formal proof, no human check; no reaction found on 31 Oct"],"key_numbers":[],"tags":["math","mathematical-physics","statistical-mechanics","liquid-crystals","phase-transitions","hexagon","gpt-6-astra","claude-opus-5-5","unverified"],"science":{"field":"physics","subfield":"mathematical statistical mechanics","problem":"Rigorous first-order (isotropic–nematic) transition in Onsager's hard-rod model in three dimensions (Onsager 1949)","result":"Claimed nondifferentiable pressure with a density jump for small diameter-to-length ratio; not checked by any human","open_since":"1949","ai_system":["GPT-6 Astra","Claude Opus 5.5"],"human_role":"Autonomous: GPT-6 Astra produced the proof from one prompt in about six hours; the contributor directed credit to prior work and has not verified it","verification":{"key":"none","label":"Unverified claim","text":"Unverified claim (Hexagon deposit, explicitly not human-verified)"},"status":"pending","shock":""},"body_md":"## What happened\n\nIn 1949 Lars Onsager explained why solutions of long, thin rods become liquid crystals: above a certain density the rods align, and the\ndensity jumps at the transition. Physicists accept the picture, but a mathematical proof for rods that can point in any direction in\nthree dimensions was missing.\n\nOn 31 Oct Qidong He deposited on Hexagon a paper that claims this transition for thin enough rods. The provenance statement says GPT-6\nAstra wrote the proof in about six hours from one prompt, that the argument resembles Lebowitz, Mazel and Presutti's 1999 liquid–vapour\nproof, and that no human has verified it.\n\n## Why it matters\n\nIt is an example of an AI-written claim on a classical problem that the contributor posts openly as unverified. It stays a claim until\nspecialists check it.","disputed":[{"label":"Verification","text":"Unverified claim (Hexagon deposit, explicitly not human-verified)","sources":[]}],"related":[{"id":"2026-10-31-ai-assisted-results-october-31-listing","url":"https://postcutoff.com/e/2026-10-31-ai-assisted-results-october-31-listing/","date":"2026-10-31","date_precision":"day","short_title":"AI-assisted results, 31 Oct: arXiv of 30 Oct and Hexagon of 29–31 Oct","deck":null,"takeaway":"The 31 Oct sweep listed 344 arXiv papers that mention AI, 75 conjecture papers with no AI statement and 48 uncited Hexagon works. We skimmed every AI statement and read about 70 PDFs or Hexagon records. Seven results got their own entries. Two come from senior authors: Panchenko's Mézard–Parisi formula ('found by ChatGPT Astra') and Bhargava's positive-density cyclicity of elliptic curves, written with GPT-6. The other five are Tianchi Yang's count of C₄-free graphs, Kolpakov's sharp dimension bounds for right-angled hyperbolic polytopes, the generalized Lax conjecture (Kummer–Netzer's AI-found generic case and OpenAI's counterexample), Diening–Storn's AFEM optimality for every bulk parameter, and an unverified GPT-6 Astra claim on Onsager's hard rods. The rest are listed here, among them Pongrácz's R(5,6) ≤ 84 certificate with GPT-6 Astra and Bowler–Pitz's negative answers to Halin-type questions, where Claude found key lemmas.","category":"science","category_label":"Science & math","importance":2,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":44,"official":42,"filed":"2026-10-31","updated":"2026-10-31","orgs":["OpenAI","Anthropic","Google","various researchers"]},{"id":"2026-10-06-hexagon-repository-llm-assisted-math","url":"https://postcutoff.com/e/2026-10-06-hexagon-repository-llm-assisted-math/","date":"2026-10-06","date_precision":"day","short_title":"Hexagon launches: a new arXiv-style repository for LLM-assisted mathematics papers","deck":null,"takeaway":"It is the first dedicated infrastructure for AI-generated mathematics backed by leading mathematicians, and it accepts work that no human claims to understand.","category":"research","category_label":"Research","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Confirmed"]},"sources":2,"official":2,"filed":"2026-10-07","updated":"2026-10-29","orgs":["Hexagon Mathematics Foundation"]}],"people":[],"posts":[],"videos":[],"models":[],"changes":[{"date":"2026-10-31","type":"filed","text":"Created (science agent; Hexagon API record and provenance statement read; the PDF was not read in full)"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-10-31","run":null,"sources_read":"Science agent; Hexagon API record and provenance statement read; the PDF was not read in full","updated":"2026-10-31","human_review":null,"version":{"date":"2026-10-31"}},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":184,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":123,"in_training_data":false},{"model_id":"gemini-4-argon","name":"Gemini 4 Argon","cutoff":"2026-03","days_after":214,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":153,"in_training_data":false}],"short_url":null}