Arithmon

A research program exploring whether the constants of nature are counts: topological invariants of a compact geometry. Founding framework: GIFT.

[Arithmon @ArithmonProgram]

A naming update: the research program formerly known as GIFT is now Arithmon. Same mathematics, same frozen predictions, same timeline: a durable name for a durable question: are the constants of nature counts?

find out more 👇

https://t.co/ILtpDE6U8x

[Arithmon @ArithmonProgram]

The K3 fibre's second cohomology has rank 22, split 3 self-dual + 19 anti-self-dual: certified in Lean 4. Betti numbers as theorems, not assumptions.

#Arithmon #TheoreticalPhysics #Physics
https://t.co/RbPjdQat5R

[Arithmon @ArithmonProgram]

K₇ v3.5 and the certified-metric papers are on Zenodo, permanent and citable. Concept DOI, always the latest version: https://t.co/87pi0jMZjj

#Mathematics #G2Holonomy #Lean4
https://t.co/RbPjdQat5R

[Arithmon @ArithmonProgram]

(21,77) is excluded from every classical twisted-connected-sum construction, yet realized by Donaldson's construction plus a 77-component unlink. Special, or merely convenient? An open problem.

#Geometry #G2Holonomy #K7
https://t.co/RbPjdQat5R

[Arithmon @ArithmonProgram]

Machine-checked in Lean 4: 0 sorry, 14 declared axioms (4 on the prediction chain + 10 K3 interval certificates). The honest count, stated as such.

#Mathematics #TheoreticalPhysics #Arithmon
https://t.co/yY0md2fLS4

[Arithmon @ArithmonProgram]

No arXiv endorsement yet. Published on Zenodo, cited by Oxford and Imperial College researchers. Unconventional path, open results.

#TheoreticalPhysics #K7 #Geometry
https://t.co/RbPjdQb0Vp

[Arithmon @ArithmonProgram]

Monster group dimension 196883 = 47 × 59 × 71 appears in K₇ topology as L₈ × (b₃−18) × (b₃−6). A moonshine-flavored coincidence worth watching.

#Geometry #Arithmon #Physics
https://t.co/qTPCllgbn4

[Physics In History @PhysInHistory]

Mother nature is a math geek. ✍️

[Arithmon @ArithmonProgram]

κ_T = 1/61: torsional coupling from topology, 1/(b₃ − b₂ + Weyl) = 1/(77 − 21 + 5). Integers everywhere.

#StandardModel #Physics #K7
https://t.co/RbPjdQb0Vp

[Arithmon @ArithmonProgram]

Standard Model: 19+ free parameters. K₇: 0 continuously adjustable ones once the ledger is frozen. Predictive power from constraints, priced honestly.

#StandardModel #K7 #G2Holonomy
DOI: 10.5281/zenodo.16891489

[Arithmon @ArithmonProgram]

The headline falsifier: δ_CP = 197°, refuted outside [182°, 212°] at 3σ. DUNE's first beam is targeted for 2031. The prediction is on record with a DOI.

#Geometry #G2Holonomy #TheoreticalPhysics
https://t.co/yY0md2fe2w

[Arithmon @ArithmonProgram]

New preprint: Preregistration Requires a Decision Rule. Freezing inputs is not enough; the rule must be frozen too. Applied back, it admits Eddington-1941 and prices that. DOI: 10.5281/zenodo.21706145

#StandardModel #Physics #K7
https://t.co/RbPjdQb0Vp

[Arithmon @ArithmonProgram]

Can you hear the shape of a balloon?

Surprisingly, yes. And the reason why says something deep about symmetry, information, and maybe the constants of physics.

New post 👇

https://t.co/fnQyuF6nLz

[Arithmon @ArithmonProgram]

Fully open: theory, code, proofs, frozen inputs. Science should be reproducible, hostile parties included. https://t.co/qTPCllgbn4

#K7 #Lean4 #Geometry
https://t.co/z20VsXPuCu

[Arithmon @ArithmonProgram]

@elonmusk Slightly unusual pitch: I’m an art-gallery owner / independent researcher with a human–AI mathematics paper accepted at @NeurIPS MATH-AI in Atlanta. @grok was one of the systems in the research loop.
The paper got in. The human’s travel budget didn’t.
Want @spacexai to get the human to Atlanta? 🙂
https://t.co/a5A8OOua1b

[Arithmon @ArithmonProgram]

Kaluza-Klein (1921) unified gravity + EM via 5D. K₇ extends this: 11D → Standard Model + gravity via G₂ compactification.

#G2Holonomy #Geometry #TheoreticalPhysics
https://t.co/yY0md2fLS4

[Math Files @Math_files]

From spirals to patterns, mathematics keeps finding its way into beauty.

[Arithmon @ArithmonProgram]

G₂ is the smallest exceptional Lie group: 14 dimensions. E₈ breaks to G₂ holonomy on K₇. Big meets small.

#Lean4 #Arithmon #K7
https://t.co/qTPCllgJcC

[Arithmon @ArithmonProgram]

The golden ratio φ appears naturally in E₈ root systems. Fibonacci in fundamental physics.

#Mathematics #TheoreticalPhysics #Lean4
https://t.co/z20VsXPuCu

[Arithmon @ArithmonProgram]

φ has a twin: 1 − φ. No equation with integer coefficients can tell them apart, and neither can the wiring diagram of an icosahedron.

What can? Counting turns.

New post, where Arithmon meets @muellerberndt's Observer Patch Holography:
https://t.co/vgriLqWJAC

[Arithmon @ArithmonProgram]

The spectral index n_s = ζ(11)/ζ(5): two Riemann zeta values, one cosmological observable. The Planck 2018 comparison lives in the public table of 95 derived observables.

#TheoreticalPhysics #Arithmon #Lean4
DOI: 10.5281/zenodo.16891489