Upload run.py
Browse files
run.py
CHANGED
|
@@ -26,6 +26,10 @@ from riemann_vmix.problem_solvers.chebyshev_bias import ChebyshevBiasAnalyzer
|
|
| 26 |
from riemann_vmix.problem_solvers.lehmer_phenomena import LehmerPhenomenaAnalyzer
|
| 27 |
from riemann_vmix.problem_solvers.mertens_extremal import MertensExtremalAnalyzer
|
| 28 |
from riemann_vmix.problem_solvers.cross_module_analysis import CrossModuleAnalyzer
|
|
|
|
|
|
|
|
|
|
|
|
|
| 29 |
from riemann_vmix.problem_solvers.new_strategies import (
|
| 30 |
TransformerPrimeGapPredictor,
|
| 31 |
TDAZeroAnalyzer,
|
|
@@ -146,6 +150,41 @@ def main():
|
|
| 146 |
all_results['explicit_formula_minimum_zeros'] = min_zeros_results
|
| 147 |
print(f" Results: {json.dumps(min_zeros_results, indent=2, default=str)[:500]}")
|
| 148 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 149 |
# ─── NEW STRATEGIES ───
|
| 150 |
new_strategy_results = []
|
| 151 |
if cfg['new_strategies']['transformer_prime_gaps']:
|
|
@@ -203,6 +242,10 @@ def main():
|
|
| 203 |
"TDA persistent homology applied to zeta zero spacings.",
|
| 204 |
"Information-theoretic entropy of zero spacings computed at multiple scales.",
|
| 205 |
"Lightweight attention mechanism trained on prime gap sequences.",
|
|
|
|
|
|
|
|
|
|
|
|
|
| 206 |
],
|
| 207 |
}
|
| 208 |
|
|
|
|
| 26 |
from riemann_vmix.problem_solvers.lehmer_phenomena import LehmerPhenomenaAnalyzer
|
| 27 |
from riemann_vmix.problem_solvers.mertens_extremal import MertensExtremalAnalyzer
|
| 28 |
from riemann_vmix.problem_solvers.cross_module_analysis import CrossModuleAnalyzer
|
| 29 |
+
from riemann_vmix.problem_solvers.ramanujan_machine import RamanujanMachineSearcher
|
| 30 |
+
from riemann_vmix.problem_solvers.alphafold_math import AlphaFoldMathEvolver
|
| 31 |
+
from riemann_vmix.problem_solvers.cross_entropy_rh import CrossEntropyRHSampler
|
| 32 |
+
from riemann_vmix.problem_solvers.self_play_conjectures import SelfPlayConjectureEngine
|
| 33 |
from riemann_vmix.problem_solvers.new_strategies import (
|
| 34 |
TransformerPrimeGapPredictor,
|
| 35 |
TDAZeroAnalyzer,
|
|
|
|
| 150 |
all_results['explicit_formula_minimum_zeros'] = min_zeros_results
|
| 151 |
print(f" Results: {json.dumps(min_zeros_results, indent=2, default=str)[:500]}")
|
| 152 |
|
| 153 |
+
# ─── ADVANCED STRATEGIES (Quantum + Game Theory inspired) ───
|
| 154 |
+
print("\n[ADVANCED STRATEGIES] Running quantum-inspired and game-theoretic analyses...")
|
| 155 |
+
|
| 156 |
+
# Ramanujan Machine: continued fraction search with factorial-reduction heuristic
|
| 157 |
+
print("\n[ADVANCED 1] Ramanujan Machine — Continued Fraction Discovery")
|
| 158 |
+
rm = RamanujanMachineSearcher(max_degree=2, max_coeff=5, max_depth=20)
|
| 159 |
+
rm_results = rm.search(n_candidates=2000)
|
| 160 |
+
all_results['ramanujan_machine'] = rm_results
|
| 161 |
+
summaries.append(rm.summary())
|
| 162 |
+
print(rm.summary())
|
| 163 |
+
|
| 164 |
+
# AlphaFold-Math: evolutionary formula discovery for zero spacings
|
| 165 |
+
print("\n[ADVANCED 2] AlphaFold-Math — Evolutionary Formula Discovery")
|
| 166 |
+
afm = AlphaFoldMathEvolver(all_zeros_imag)
|
| 167 |
+
afm_results = afm.evolve(population_size=30, generations=20, sample_size=500)
|
| 168 |
+
all_results['alphafold_math'] = afm_results
|
| 169 |
+
summaries.append(afm.summary())
|
| 170 |
+
print(afm.summary())
|
| 171 |
+
|
| 172 |
+
# Cross-entropy rare event simulation for RH consistency
|
| 173 |
+
print("\n[ADVANCED 3] Cross-Entropy Rare Event Simulation for RH")
|
| 174 |
+
ce = CrossEntropyRHSampler(all_zeros_imag)
|
| 175 |
+
ce_results = ce.run_simulation(n_iterations=10, n_samples=500, window_size=500)
|
| 176 |
+
all_results['cross_entropy_rh'] = ce_results
|
| 177 |
+
summaries.append(ce.summary())
|
| 178 |
+
print(ce.summary())
|
| 179 |
+
|
| 180 |
+
# Self-play conjecture engine
|
| 181 |
+
print("\n[ADVANCED 4] Self-Play Conjecture Generator")
|
| 182 |
+
sp = SelfPlayConjectureEngine(all_zeros_imag)
|
| 183 |
+
sp_results = sp.run_self_play(n_rounds=3)
|
| 184 |
+
all_results['self_play_conjectures'] = sp_results
|
| 185 |
+
summaries.append(sp.summary())
|
| 186 |
+
print(sp.summary())
|
| 187 |
+
|
| 188 |
# ─── NEW STRATEGIES ───
|
| 189 |
new_strategy_results = []
|
| 190 |
if cfg['new_strategies']['transformer_prime_gaps']:
|
|
|
|
| 242 |
"TDA persistent homology applied to zeta zero spacings.",
|
| 243 |
"Information-theoretic entropy of zero spacings computed at multiple scales.",
|
| 244 |
"Lightweight attention mechanism trained on prime gap sequences.",
|
| 245 |
+
"Ramanujan Machine continued fraction search with factorial-reduction heuristic.",
|
| 246 |
+
"AlphaEvolve-style evolutionary formula discovery for zero statistics.",
|
| 247 |
+
"Cross-entropy rare event simulation estimates RH stability probability.",
|
| 248 |
+
"Self-play conjecture engine verifies/falsifies 10 zero hypotheses automatically.",
|
| 249 |
],
|
| 250 |
}
|
| 251 |
|