Jeromie Beasley

Thanks @SAIRfoundation @Peter_SAIR and the Open Math Model. For letting me use your platform to reintroduce my work with AI Forever grateful! doi.org/10.5281/zenodo.23787… github.com/dicipler-pixel/no…

Look at the Collatz map through many eyes at once. My Compound Eye mixer scans every odd start from 3 to 250,000 and lets you bend the map to see what changes. Exact results stay apart from the projections: many eyes lighting up isn't a proof. atlas-memoriae.dicipler.work…

Where do we come from, and where do we go? It’s an age-old question. I don’t know the answer, but I keep seeing a few things come up over and over again. The main one is direction. From the way light moves and changes direction, to the flow of galaxies through the cosmic web, I keep wondering what guides the path—and what remains as things change. We keep finding more of the picture: the Great Attractor, Shapley, Vela, the Sloan Great Wall. Each time we look farther, there’s more to see. Does the story end when the differences fade, or could something carry forward into a new beginning? I don’t know. But I’m going to keep checking the lines. 🎵

Wow this is freaking awesome

Two great places for Lean 4 proofs, both open to AI-assisted work. Go check them out: Tau Ceti, a Lean library built on Mathlib: github.com/TauCetiProjectLea… Pool, a home for finished proofs: github.com/LeanPool/lean-poo… My own work: github.com/dicipler-pixel#Le…

doi.org/10.5281/zenodo.23351… DESCRIPTION Maps Don't Make the Sky is a song about my paper "Intrinsic Quantum Geometric Tensor on the Grassmannian and Spectral Lower Bounds on Dissipation" (IQGT). The idea in one line: the quantum geometric tensor is usually written in a chosen set of parameters, a map. IQGT defines it directly on the space of subspaces held by a spectral gap, before any map is chosen. Every parameter chart is just a pullback of it. The map draws a path; the geometry was already there. The video has three layers. The nature and space footage tells one story. The figures from the paper's interactive mixer tell the second. The equations from the paper tell the third. Every equation on screen is taken directly from the paper. What you will see: • The tensor itself: Q(A,B) = Tr(Π A†B), with Q = g − (i/2)Ω • Tangent vectors as off-diagonal blocks, and the Riesz–Kato spectral projector • Pullback to any parameter chart, and a Chern number that needs no metric • The sharp bound between curvature and metric, met exactly on complex lines • Folds versus closing gaps, and total internal reflection at a polar line • The gap as a speed limit, and friction on rotating projectors • Measured data from other groups' published experiments (a NIST condensate and a quantum heat engine), read through the paper • Three bodies on the shape sphere, and ring-laser gyroscope lock-in • Positive definiteness: a structural comparison with a light cone. The comparison is structural only; the intrinsic metric is never set equal to a spacetime metric. CHAPTERS 0:00 Opening 0:09 The intrinsic quantum geometric tensor 0:19 Three bodies on the shape sphere 0:29 Pullback and the spectral realization 0:45 One pair sum, many weights 0:55 Metric–curvature inequalities and the Chern number 1:12 Tangent vectors and the Riesz–Kato projector 1:31 Folds, and two ways the pullback degenerates 1:52 Total internal reflection 2:03 Narrowing gaps and the speed limit 2:18 Friction on projector rotations 2:28 Metric, curvature and the complex structure 2:44 The tip and the tail 2:57 Measured data: condensate and heat engine 3:09 Mixed states, permutations and the trace sector 3:30 Positive definiteness: a structural comparison 3:46 Ring-laser gyroscope lock-in 4:06 Pullback to a parameter chart 4:22 IQGT Paper, interactive mixer and more: atlas-memoriae.dicipler.work… Music: suno.com/@dicipler X: @d1c1pler Song, paper and direction by Jeromie Beasley. AI tools were used for computation, music generation and building the video; I directed the work. Footage: [CONFIRM SOURCES BEFORE POSTING: SpaceX launch, Starship and Starlink-view footage; ISS/Dragon footage; nature clips; AI-generated clips] Atlas Memoriae · Ex memoria lux, ex luce materia HASHTAGS #QuantumGeometry #Physics #MathMusic @X @SpaceX @elonmusk

Welcome to the future, you guys have no idea where I am going next, stay tuned and thanks for all the inspiration out there at @X this is what inspires us. This video not of mine like the creators vid is just a hint.

Coming soon this is still not finished let me know what parts you like or dont. The paper has been finished for a while now. doi.org/10.5281/zenodo.23351…

The longest proof in maths is now checked in Lean: 43.1M lines in 24 days, and the checker caught 34 places the published record didn't match. That's the point of a checker. My IQGT bundle is tiny next to it: 90 theorems, no sorry, plus 6 false controls that must fail. The proofs, the false controls and the check scripts: github.com/dicipler-pixel/iq…

Stay non-normal my friends

Well this is just amazing. nitter.gq/Ebayednoob/status/2115…

We do commutate the load. lol @Ellyrox110 @JackyReaps @DarkDireWolf33

In the words of Dave Chappelle Gotcha bitch Our tests in life are different That's why different eyes make a difference lol doi.org/10.5281/zenodo.23689…

This is how i think we really are, just a balerina. lol nitter.gq/techartist_/status/211…

So fun fact I chose this name when I got my first taste of AI it was Nov 15th 2001 I met the Master Chief and Cortana. lol True story

New in my Lean proofs of Non-Normality Is Connection Energy: the v11 "two books" results, plus an opposite identity I found Oct 20, are now machine-checked. No sorry, and only the standard axioms. github.com/dicipler-pixel/no… Paper: doi.org/10.5281/zenodo.22804…