{"schema":"postcutoff/person@1","as_of":"2026-11-09T21:13:00+01:00","url":"https://postcutoff.com/person/dmitry-panchenko/","md":"https://postcutoff.com/person/dmitry-panchenko/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":"dmitry-panchenko","name":"Dmitry Panchenko","aliases":["Panchenko"],"kind":"researcher","role":"Professor of mathematics, University of Toronto","orgs":["University of Toronto"],"role_as_of":"2026-10-31","role_source":"https://arxiv.org/abs/2610.39545","importance":3,"why":"Spin-glass probabilist; posted a proof of the Mézard–Parisi formula that he says was found by ChatGPT Astra (arXiv 2610.39545, Oct 2026).","accounts":{"x":"","x_other":[],"website":"","wikipedia":"","scholar":"","github":"","youtube":"","bluesky":"","substack":""},"roles":[],"bio":"","verified":"2026-10-31","same_as":[],"counts":{"entries":3,"posts":0,"videos":0},"entries":[{"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-30-mezard-parisi-formula-panchenko-proof-found-by-chatgpt-astra","url":"https://postcutoff.com/e/2026-10-30-mezard-parisi-formula-panchenko-proof-found-by-chatgpt-astra/","date":"2026-10-30","date_precision":"day","short_title":"Mézard–Parisi formula: Panchenko's proof 'found by ChatGPT Astra'","deck":null,"takeaway":"Dmitry Panchenko (Toronto), a leading probabilist of spin glasses, posted a proof of the Mézard–Parisi formula on 29–30 Oct 2026. The formula gives the free energy of random K-SAT and diluted p-spin models with even p. Franz and Leone had proved the upper bound; Panchenko's paper claims the matching lower bound. His AI statement says: 'The proof in this paper was found by ChatGPT Astra.' A companion note was 'written by ChatGPT Astra'. He adds that OpenAI released another proof a few days later, which 'appears to follow a different approach'. OpenAI's version is family 221 of its maths repository. Both are unrefereed.","category":"science","category_label":"Science & math","importance":4,"confidence":"high","status":{"key":"pending","labels":["Event confirmed","Awaiting review"]},"sources":4,"official":4,"filed":"2026-10-31","updated":"2026-10-31","orgs":["OpenAI","University of Toronto"]},{"id":"2026-10-30-hopfield-model-thermodynamic-limit-barra-durante-claude-chatgpt","url":"https://postcutoff.com/e/2026-10-30-hopfield-model-thermodynamic-limit-barra-durante-claude-chatgpt/","date":"2026-10-30","date_precision":"day","short_title":"Hopfield model thermodynamic limit, AI-generated proofs","deck":null,"takeaway":"It follows Panchenko's Mézard–Parisi proof found by ChatGPT Astra in the same week, another rigorous statistical-mechanics result whose authors attribute the derivation to models.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":1,"official":1,"filed":"2026-11-02","updated":"2026-11-02","orgs":["Anthropic","OpenAI"]}],"posts":[],"videos":[]}