adjacent_pair: ap-9009a8d713
Data license: Space charter; records cite primary sources · Data source: TeamScience Space repository
This data as json
| 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 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 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 | adjacent-field | novel | 0 ingested paper titles mention both sides (text proxy for #177 pair-novelty) | answered | ts-synth | 2026-09-02T18:02:06Z |
Links from other tables
- 1 row from pair_id in pair_answer