Viking from Jomsborg. The DAO investor. Applied math. Geometric quantization. Building reasoning layer.
jomsborg.eth
- Tweets 29,105
- Following 7,132
- Followers 1,362
- Likes 61,895
Pinned Tweet
I think there is another layer emerging:
Invariant Engineering
Graphs describe the topology of an AI workflow: states, transitions, dpnd.
But correctness doesn't come from the graph itself. It comes from the properties that must hold regardless of which path execution takes.
2
2
7
1,340
Jacek (Jomsborg.eth) retweeted
There are many suggestions to model nuclei as knots of quark strings as topological vortices e.g. nature.com/articles/s41567-0…
Their simulations getting good agreements: zenodo.org/records/22942341
2
2
19
725
Jacek (Jomsborg.eth) retweeted
Vitalik: Ethereum is Becoming More Than a Blockchain
Speaking at the 2026 Shanghai Blockchain International Week, Ethereum co-founder Vitalik Buterin shared a broader vision for where Ethereum is heading.
His main point: Ethereum is evolving from a blockchain that executes everything into a global system focused on computation, privacy and verification.
Here are the key ideas:
1/ ZK is becoming the foundation → Instead of every node doing the same computation, users or other systems can do the work and generate a proof. Ethereum only needs to verify that proof.
2/ Privacy becomes programmable → Vitalik said blockchain is moving beyond simply answering “Who can send what?” The next question is “Who can see what?” This means applications could control which information is visible without exposing everything publicly.
3/ Scaling through proofs → Complex computations can be split, processed in parallel and compressed into proofs before being verified on Ethereum. This could allow much more computation without putting all of it directly on-chain.
4/ Ethereum becomes a full pipeline → Vitalik described a future involving user devices, private transaction pools, multiple participants, block construction, L2s and finally Ethereum for verification. Ethereum does not need to perform every step itself.
5/ AI changes development → AI can help developers write, test and formally verify increasingly complex cryptographic systems. Vitalik believes this can make advanced Ethereum infrastructure both faster to build and more secure.
6/ Quantum resistance matters → Ethereum is also moving toward quantum-safe cryptography, with STARK-based systems playing an important role in the longer-term roadmap.
Ethereum's future may not simply be about making the L1 faster.
It is about building a trust layer where computation can happen anywhere, privacy can be programmed, and complex results can be mathematically proven and verified on-chain.
74
200
1,005
52,894
Jacek (Jomsborg.eth) retweeted
Why do I feel on track to my $5K EoY zcash:native prediction?
More and more whales asking me: Why price surge?
Me: No fucking clue.
What's your explanation?
Not investment advice, DYOR.
Putting money where Mouth:
I predicted that ZEC > $1200 by Sept. 25.
Result: I was right 😎
Now, time for EoY prediction: ZEC > $5000.
Let's see if I'm right again.
(I'm not in it for the 27X reward, I just like being right)
Not investment advice, DYOR.
48
31
282
30,225
Jacek (Jomsborg.eth) retweeted
WOW!! Zeta(5) is irrational! Here's a Lean formalization: github.com/mo271/zeta5 Amazing what we'll learn (with AI help)
21
89
492
70,421
In mean time
I just hit a major breakthrough in my research.
While analyzing OpenAI’s Navier–Stokes proof, I found evidence that part of its repeated mathematical machinery may not belong to the underlying problem at all. It may be a consequence of the representation used to solve it.
This post explains what I found and the new method that came out of it: Structural Path Compression.
[Paper in the first reply]
Imagine you're lost in a crazy-hard maze. You finally find the exit, but then you realize something wild-the map you used to navigate actually created some of the twists and turns. That's the possibility I found hiding inside part of OpenAI's Navier-Stokes proof.
OpenAI says roughly 10,000 concurrent AI agents helped produce the result, but here's the thing: some of the repeated work in Section 9 appears to come from how the proof represents and organizes the problem, rather than from new mathematical structure being added each time. Think of it like trying to do calculus with Roman numerals-every step is valid, but it's a nightmare. Switch to decimals and suddenly it's easier.
The breakthrough came when someone stopped looking at the proof as a timeline (step 1, step 2, etc.) and asked what actually depends on what at the same level of math. The answer was surprising: most of the repetition wasn't part of the math itself, but how it was represented.
The core idea is called Structural Path Compression (SPC). It's like pressing an elevator button instead of proving you can climb each stair individually. Once certain conditions are met, you can skip straight to your desired accuracy without all the middle steps.
This isn't just about one math problem-it's about how we frame problems in general. The same information can be a puzzle or a breeze depending on how you look at it.
Sometimes, what looks like a "mathematical problem" is really just bad framing.
Change that, and some problems vanish while the truth remains.
29
Another challenge
Opus 5.5 - moim zdaniem najlepsza realizacja zadania jaką widziałem do tej pory. Perfekcyjne.
Total cost: $19.86
Total duration (API): 52m 6s
Total duration (wall): 4h 21m 14s (zostawiłem na 3h bezczynnego czekania - byłem w mieście)
Total code changes: 2004 lines added, 0 lines removed
Usage by model:
- claude-haiku-4-5: 899 input, 13 output, 0 cache read, 0 cache write ($0.0010)
- claude-opus-5-5: 324 input, 296.8k output, 35.7m cache read, 846.6k cache write ($19.86)
Prompt cache (main): 114 requests · 98% of input tokens from cache · 1 miss (last 3h 33m 19s ago — likely cause: prompt unchanged — likely server-side, 387.4k tokens re-cached) · cold — idle 3h 16m 9s, next turn re-caches ~487.3k tokens
1
1
2
378
Wth
All of China's PQC algorithms have been broken in one day.
Community note
NGCC first-round PQC candidates (84 public-key submissions) were announced Sept 20; reports detail mostly implementation bugs in reference code for some, not all candidates or any finalized algorithms.
niccs.org.cn/niccs/Notice/p…
ngcc.dev/reports/index.…
github.com/ngcc-dev/ngcc-…
1
1
81
Reasoning Machine treats reasoning as a control loop: observe state, restrict actions with hard invariants, let System 1 choose the next step, invoke System 2 only when needed, verify the result, update state, repeat.
Made with AI
1
33
Who was first to disagree with T Tao?
Terence Tao: "we have to slow down AI. the pace is insane, and there's no reason to be this fast"
I disagree. We have countless problems that need solving: energy crisis, disease, world hunger. To say there are no reasons to do so ignores the current state of the world.
And that's so regrettable. Currently, the only topics discussed are the potential negative consequences of acceleration, the possible problems. But hardly any of the advantages, the approaching golden age of science that can offer us so much more.
22
Jacek (Jomsborg.eth) retweeted
А Meeting of Giants: A Rare Shot from the Voyager Archives 🛰
In this historic image, the moons Europa and Io are captured against the backdrop of Jupiter’s Great Red Spot. The scale is impressive: the giant storm—which has been raging on the gas giant for centuries—could easily swallow the entire Earth, while the passing moons vividly illustrate the colossal size of the Solar System's largest planet.
13
138
708
34,663
Jacek (Jomsborg.eth) retweeted
636606729769440499166579950236036751749912014371509557713570027508971809534551913252252094954941974952859310861988904737359709200557919
is a factor of RSA-896
saweis.net/posts/rsa-896.htm…
225
991
9,510
3,904,346
Its why I prefer Peter Scholze calm
Mathematician Terence Tao:
"we have to slow down AI. the pace is insane, and there's no reason to be this fast — no reason at all"
It's amazing how willing we are to change everything without any idea what happens afterward
These are extremely nonlinear dynamics
61
I was passing the boarder a few times. Math language is very Rich.
After 25 years of being told that theoretical physics isn’t mathematics because we prioritize understanding over proofs, I find the math-AI debate rather heartwarming. Suddenly, many mathematicians are explaining that mathematics is about understanding, not just proofs. Welcome!
91
Its quantum phenomenon since Dirsc
NEW 🚨: Scientists now believe the brain might process information using tiny quantum vibrations instead of relying only on electrical signals, potentially making thinking much faster.
ALT NEW 🚨: Scientists now believe the brain might process information using tiny quantum vibrations instead of relying only on electrical signals, potentially making thinking much faster.
ALT NEW 🚨: Scientists now believe the brain might process information using tiny quantum vibrations instead of relying only on electrical signals, potentially making thinking much faster.
26
Holy
THE FLY BRAIN ESCAPED THE COMPUTER. I PUT IT INSIDE A PHYSICAL ROBOT.
Scientists released a reconstructed map containing 166,700 neurons from a fruit fly.
I connected it to a Strandbeest.
The panel in the top-right shows the simulated brain running. Its neural activity is translated into motor commands that move the mechanical legs below.
The catch: this is a computational model built from biological wiring. I engineered the interface connecting its outputs to the robot.
First, the fly brain entered DOOM.
Then it played Chrome Dino.
Now it has a physical body.
166,700 neurons.
25 million connections.
One nervous system walking through the real world.
42
Jacek (Jomsborg.eth) retweeted
GPT-6 Astra built a fruit fly that reads protein structures.
The model is lightweight, just 166K parameters. It reads neural activity and folds real protein structures, tested here against an actual antibody, PDB 1IGT.
At 166K parameters it's a fraction of the size of AlphaFold. Worth seeing how close it actually gets.
Protein folding isn't an easy task, and the fly is already doing surprisingly well at it.
Andrew Aiginin
10
43
362
47,351
R.I.P. Frank Bennett Reisman, trader, father
One of the saddest 9/11 stories I've read about.
A man on the West Side of the North Tower tried to climb down the side of the building using a technique known as a ''chimney climb.''
He managed to scale down 9 floors over the course of 30-40 minutes. He went down from the 94th floor to the 85th floor but was knocked off when the South Tower collapsed.
Indomitable human spirit. I wish we knew his name.
95