Peter Chocian

Researcher

Latest on AI4S.fyiTimeline · Sep 22A proof built largely with Codex claims x^3+y^5=z^7 has no nonzero coprime solutions

On the timeline

2026-09-22A proof built largely with Codex claims x^3+y^5=z^7 has no nonzero coprime solutions

Something wrong or missing on this page? Tell me and it will be fixed or removed. Contact →