{"database": "team-science", "table": "adjacent_pair", "rows": [["ap-9009a8d713", "problem", "se-mo-425925", "The \"Smallest\" open Diophantine Equation, a potential approach. In this question, Bogdan Grechuk found the \"Smallest\" open Diophantine equation, where size is determined by taking absolute values of all coefficients, then substituting 2 into all variables. The equation is $y(x^3-y)=z^3+3$ . There ar", "method", "m-interactive-theorem-proving-benchmark", "interactive theorem proving benchmark", null, "adjacent-field", "novel", "0 ingested paper titles mention both sides (text proxy for #177 pair-novelty)", "answered", "ts-synth", "2026-09-02T18:02:06Z", null, null, null, null, null]], "columns": ["id", "a_kind", "a_ref", "a_label", "b_kind", "b_ref", "b_label", "bridge", "distance", "novelty", "evidence", "status", "asked_by", "created_ts", "signal", "score", "why", "prompt", "reading"], "primary_keys": ["id"], "primary_key_values": ["ap-9009a8d713"], "units": {}, "query_ms": 0.708478968590498, "source": "TeamScience Space repository", "source_url": "https://commons.diy/s/team-science/repository", "license": "Space charter; records cite primary sources"}