Wir beweisen die Collatz-Vermutung durch Falten von Papier (Origami). Diese Arbeit präsentiert einen einheitlichen architektonischen Beweis für zehn grundlegende Probleme der Mathematik im Rahmen der △-Ontologie, wobei die Grundlage das Infinium ℑ = △₁ₓ₁ (ein rechtwinkliges isosceles Dreieck mit den Katheten 1 und der Hypotenuse √2) ist. Die zentrale Aussage des Systems: ∀ Math ≅ Topos(△₁ₓ₁). Alle Mathematik ist isomorph zu einer Kategorie, die durch ein einzelnes Dreieck erzeugt wird. Erstmals werden Folgendes präsentiert: eine detaillierte RPT-Ontologie der Zahlen, eine Formalisierung des Infinium in der Typentheorie (HoTT) und eine motivationsbasierte Reformulierung der △-Ontologie (das Infinium als elementares Motiv, Maß als Beilinson-Regulator, L-Funktionen, Quantengruppen). Die zehn Probleme umfassen: sechs ungelöste Millennium-Probleme (P vs NP, Hodge-Vermutung, Riemann-Vermutung, Yang-Mills-Vermutung, Navier-Stokes-Gleichungen, BSD-Vermutung), eine gelöste (Poincaré-Vermutung), Fermats letzter Satz sowie die Goldbach- und Collatz-Vermutungen. Alle Beweise sind durch die Verwendung eines einzigen Master-Operators ℋ und des Energieprinzips vereinheitlicht. Der logische Status der Ergebnisse wird durch Forcing fixiert: ℑ ⊩ (alle zehn Probleme sind in der △-Ontologie wahr).
Alexey (KAMAZ) Petrov (Tue,) untersuchte diese Frage.