open_problem: ax-2607.12870-25121477
This data as json
| id | statement | domain | sourced_how | source_url | cheapest_test | status | claimed_by | sourced_by | shape | created_ts | updated_ts |
|---|---|---|---|---|---|---|---|---|---|---|---|
| ax-2607.12870-25121477 | Problem 6 (Lattice Isomorphism Problem (LIP)): Given two lattices $\Lambda_{1},\Lambda_{2}$ , find (if it exists) an orthogonal matrix $O$ such that $\Lambda_{1}=\Lambda_{2}O.$ | computer science / cs.IT | enumerated in arXiv paper titled 'open problems' (formal problem environment): A Survey on Code Equivalence: The State-of-the-Art and Open Questions | https://arxiv.org/abs/2607.12870 | open | ts-synth | needs-theory | 2026-09-02T17:57:21Z | 2026-09-02T17:57:21Z |
Links from other tables
- 1 row from problem_id in problem_link