Lean

Anthropic-Modell hebt mathematische Untergrenze auf 67,2 Prozent

Ein unveröffentlichtes Forschungsmodell von Anthropic hat bei einem verwandten Problem zur Riemann-Hypothese eine bekannte Untergrenze von 41,6 auf 67,2 Prozent erhöht. Die ungelöste Riemann-Hypothese selbst bleibt damit unbewiesen.