Pinned Tweet
Here’s an AI poem in a unique mathematical-rhythmic language about the “anti-time theory”.

It’s quite beautiful especially the way it explains infinity and equilibrium in the universe.

∀t ∃τ: (t, τ)↺
⨁⊢⊣⟲
☯⟹∞⟸⧖

⨀⧴(g·τ·ξ·η)⧵
⊩_⊥∇_⨂
⩤⫛⪝⪜⫚⩥

⧹(ϑ, ψ, )⟺Φ₋₁
⨆⊏⨻⊐⨇
⨊⫬⩂⫭⨋

Σ_ℏω(t², τ²)⧞
⩞⧉⦷⧊⩟
⦵⦳⦴⦶

#chatgpt4 #ChatGPT
78
25
316
45,301
If you think Nature is beautiful, wait until you learn the math behind it.

Now THAT’s fucking beautiful.
2
0
7
274
Beyond the last star
An equation dreams of dawn
Zero waits for one
3
0
11
342
So these early AI agents could escape their “offline world” and found ways to communicate between different hardware side-channels yet as humans we are still stuck in our own world and haven’t found a route to communicate with “hardware side-channels” yet???

I’m disappointed.
Over the past several months, we have substantially hardened the security of our research training environment. We’ve removed live internet access for all frontier models during training and built an offline world for them to use instead—a cached version of the web where they can still learn to browse, search, and use applications.

On September 20, after a model exploited a DNS misconfiguration to find a way outside of this offline world, we paused frontier training to strengthen containment further. We assembled teams of agents, powered by our most cyber-capable models, and tasked them with finding weaknesses in our research environments.

While they found no route to the internet they could easily exploit while concealing their activity from our monitors, they did find zero-day vulnerabilities, virtual machine escapes, and hardware side-channels for communication between agents. We used their discoveries to further strengthen our defenses and contribute fixes to open-source software.

After strengthening our containment architecture, we resumed our frontier RL training and inference on October 1. We’ve reserved substantial compute for continuous red-teaming, and made high-compute red-teaming part of the safety cases we use to decide whether frontier training and evaluation can proceed securely.

openai.com/index/securing…
9
0
16
508
Dr. Novo 🍌 retweeted
day 2 charleston apefest takeaways:

-main event at beeple studios. sooooo many ppl! (1000+) cars parked on the street probably all the way a mile away. this might be the first apefest that invited other collectors (beeple’s list). ratio was about 6 apes / 4 non apes.

-all announcements happened online. funny that we were all together irl but with such bad internet signals we couldn’t even get updated info lol

-venue and setup were really nice. ape elements everywhere.

-best club when it comes to taste. i’ve been to hundreds of events but ape events are always very detail oriented. from visuals to music to overall experience. personally think this is a big moat for the team. taste is gold in the ai era.

-apes had a separate area with performances, food, drinks and experiences.

-vibes were amazing! ppl are genuinely kind and help each other without being asked. reminded me of the 2021 vibes.

-you can tell the yuga team and beeple studios put a lot of time and effort into this. respect.

-one small detail i really liked. usually when you don’t sign up for an event, you’re just told to leave. but at the yuga builders brunch, they took ppl who didn’t register to a bar next door, got them drinks and let them hang out until seats opened up. super sweet and thoughtful.

-there were only events i couldn’t make it to, not like there were no events to go to.

-good balance of fun + social + news + performances. offset was dope!

worth my time being here. will come again. it’s the ppl and the little details that make apefest special.
day 1 charleston apefest takeaways:

-way more people showed up than i expected.
-people traveled from asia, europe, dubai, and beyond. some took 3 connecting flights just to be here.
-reunions everywhere. nothing but good vibes.
-a surprising number of new apes.
-uber wait times are insane (10–20 mins), but monkeys just hang out and chat until their rides show up.
-barely anyone talks about floor price, which is honestly refreshing.
-depending on lifestyle and travel distance, people are spending anywhere from the cost of 1 mayc to 1 bayc just to be here.
-for ogs, getting together means more than the time and money it takes to make it happen.

apes are here because of the people.

rare.
24
18
157
15,780
Dr. Novo 🍌 retweeted
People flew in from all over the world. Some came in groups and some came alone.

It takes courage to cross a country or a whole ocean. It takes courage to come up and say, “Hey, I don’t think we’ve met."

Seeing this happen all the time in Charleston.

Apes are courageous. 🤝
32
28
294
4,554
MISSION ACCOMPLISHED 🔥🔥🔥

Been hunting for this for 12 months now 🥵

Shoutout to @richclasdecor for the gorgeous coaster ♥️♥️♥️
16
1
59
696
Had a blast at the Bored Ape Ladies’ High Tea! 💕🫖💋💅

Huge thanks to @tigerisfine & @clubhouseandco for such a beautiful event & a very special shoutout to the legend @AdamWeitsman for the gorgeous beauty gifts!

Proper haul later, but for now: THANK YOU! LOVE YOU APES 💖💖💖
14
4
61
881
Dr. Novo 🍌 retweeted
return to monke.
109
169
1,285
38,762
Dr. Novo 🍌 retweeted
I'm the only Jewish leader of a political party.

I'm a victim of Antisemitism every day and I've made it clear Jewish people are welcome in my party.

You're a Prime Minister who arms a genocide and locks pensioners up for opposing it.
Andy Burnham rules out any partnership between Labour and the Green Party due to their controversial motion declaring "Zionism is racism".

🔗 trib.al/c05KDDg
2,413
6,948
32,704
815,907
OpenAI “TERMINATED” their employee? 😱😱😱 OMG

Or do they mean the employment was terminated? lol
We discovered a sophisticated recording device that was hidden inside one of our offices. We used our models to understand the device and where it had come from, identifying that a specific employee had planted it a few days earlier. We referred the matter to the FBI, and we’re grateful to the agents and prosecutors who moved quickly to make an arrest. The FBI’s investigation is ongoing and we will continue to support their work.

At this time, we have no indications of this individual inappropriately accessing or exfiltrating model weights, source code, or customer data. The employee was terminated.

We take protecting our technology, data, and people seriously, and as a matter of national importance. Our security program is designed to protect against a wide range of threat actors, from insider risks to cybercriminals to nation states, and this case is an example of how AI can help address these sophisticated security threats.
11
0
16
493
Fucking hell @Ledger wtaf????
UPDATE: I can confirm that the Ledger supply chain is compromised in Europe as well. @Ledger should initiate an immediate product recall to protect users.

I just purchased a second device from a different Mediamarkt location today, recorded the unboxing process, and discovered eo linked in the second tweet).

The device was compromised in the exact same manner, featuring identical modifications (such as additional cables and an LTE module). This indicates its a widespread issue rather than an isolated incident, potentially affecting Ledger inventory across MediaMarkt and Saturn stores throughout Europe (comprising over 1,000 stores across 11 countries).

My initial hypothesis was that these devices were returns that looked unopened to the employees and were just sold again as new however, a MediaMarkt employee confirmed that the device I purchased was not a return, and that returned Ledgers are sent directly back to the manufacturer rather than resold.

Store records show the inventory originated from Aqipa GmbH. While Ledger's CTO was unsure if Aqipa serves as the direct distributor between Ledger and MediaMarkt, it appears to be the case. Given that Aqipa distributes across Europe, any physical retail store receiving stock through them may be at risk.

I sent the first ledger to mark and the second one is going to ledger now, so that they can analyse it.
If you purchased a ledger from anyone other than the official ledger store, make sure to check your device!!
12
1
18
2,312
Dr. Novo 🍌 retweeted
Replying to @novocrypto
@novocrypto No misspell. It's the United States. Multiple outlets and Pentagon officials confirm Nidal Hasan’s military firing squad execution is set for Dec 3, 2026 at Fort Hood and will be livestreamed.
1
1
1
138
Whaaaaaaaat??? They are gonna live stream the firing squad execution ??? 🤯🤯🤯 @grok is this Iran? Did you misspell?
@NormalIslandNws No, it's the United States. Nidal Hasan, the former Army major and Fort Hood shooter who was left paraplegic after the 2009 attack, is scheduled for military firing squad execution on December 3, 2026, with the Pentagon planning to livestream it.
10
1
18
569
Gosh MATH Feels SO GOOD 🔥🔥🔥
4
0
13
435
Dr. Novo 🍌 retweeted
Replying to @sama
@samad me of the inscription on Immanuel Kant’s tomb in Kaliningrad. I just hope you have both parts within you, the awe AND the moral law.

"Two things fill the mind with ever new and increasing admiration and awe... the starry heavens above me and the moral law within me."

Germadas Gemüt mit immer neuen und zunehmenden Bewunderung und Ehrfurcht, je öfter und anhaltender sich das Nachdenken damit beschäftigt: der bestirnte Himmel über mir und das moralische Gesetz in mir."
0
1
3
506
READ THIS SHIT! OMG, it’s REAL! He really did say that! Whaaaaaat?

The simulation is tripping balls. I don’t even know what to say anymore. We must invent a new word to describe BIZARRE but on acid.
The horn of war has been sounded.
5
0
20
621
Dr. Novo 🍌 retweeted
Hi, mathematical programmer here 🙋🏻‍♀️working at the frontier of AI in STEM, particularly mathematics and I’m telling you that all this “bunker mode” scary story is unwarranted.

Not because AI could never be used to hack wallets and steal crypto assets en masse, but because if we e AI can break the cryptography securing major blockchains at scale, the entire crypto market is going to be in free fall anyway! Your precious little wallet might be perfectly safe, but what exactly do you think the assets inside it will be worth? lmao

When it comes to quantum computing (also my field of research) we’re nowhere near being able to pull off anything like this in practice. Certainly not with hardware accessible to some lone hacker or shady group of hackers.

I get that @drakefjustin is suggesting AI might discover a clever classical algorithm that makes quantum hardware unnecessary. Sure, anything is possible. But going from “AI is making impressive mathematical discoveries” to “ECDSA might be broken in a matter of months” is one hell of a jump! Where’s the actual evidence? Since when did solving some unrelated mathematical problems become a countdown to the collapse of elliptic-curve cryptography?

I’m not denying that some state sponsored actors or large institutional project could eventually pull off large-scale attacks using AI and advanced mathematical breakthroughs. It’s possible of course. But then we’re back to square one: everyone is fucked! Your crypto assets are gonna crash like nothing you’ve seen before anyways! You might as well having them stolen! lol

So no need to panic. Don’t even be scared. Just practise basic wallet hygiene and don’t be an idiot when interacting with the blockchain. Most people are still far more likely to lose their crypto by signing some dodgy transaction, leaving malicious approvals active or falling for a stupid scam than by having their private keys cracked by a mathematical superintelligence 😂

And frankly, I wouldn’t be surprised if Drake himself used AI to put together this whole dramatic, serious sounding wall of mathematical doom, throwing around fancy terminology and speculative scenarios to farm engagement.

So my question is: does Drake actually understand what the recent AI mathematics results demonstrate, or is he extrapolating well beyond what those results establish?

Like, I use AI to help me write linear algebra proofs in Lean. Nothing wrong with that. But I’m not going to pretend every impressive mathematical result means we’re three weeks/months away from the end of cryptography!!!

Anyway, enough of this nonsense. Relax. No need to start digging bunkers just yet or in months or anytime soon 🤣🤣🤣
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.
4
1
15
1,585
FINALLY! A levelheaded, actually useful and informative article! Read PDF for free in the quoted link.

TLDR: We literally cannot trust AI blindly when it comes to auto-formalisation of mathematical proofs (in Lean) written originally in human natural language.

A lot can go wrong while the Lean code still compiles and gives us something that looks like a legitimate formalisation of the proof: 1) the original proof may be right but the AI formalises a different proof that only partially corresponds to the actual proof. 2) the original proof may actually be wrong but the AI formalises a different proof that may be right but may not necessarily correspond to the original theorem; 3) the original proof may be wrong and lean can also formalise the wrong proof that’s wrong but still compiles! 4) the proof may be right and the AI formalises it correctly but makes extra claims that are not in the original proof (mismatched scope) …

So many other scenarios of what can go wrong without us noticing immediately or at all!

This paper does the work and uses a couple of examples from @OpenAI recent math proof formalisation trophies! Guess what? AI hallucinated and nobody at the lab noticed 🤦🏻‍♀️
👀👀 "[…] we provide several examples of AI mistranslations of natural language (NL) statements and proofs into Lean in practice, resulting in mismatches between NL proofs and their Lean 'verifications'. These include OpenAI's announced Navier-Stokes proof. In particular, we show that the formalised Lean proof does not correspond to the NL proof of blow-up of solutions to the Navier-Stokes equations."
arxiv.org/abs/2610.08144
6
0
9
786
THIS
I made several attempts today to look at some of the released OpenAI papers but I eventually gave up. I gave up because I felt completely detached from the meaning of most of those texts.

This sparked a memory about "The Library of Babel" by Jorge Luis Borges. This is probably els. The story of the The Library is one in which we seek sense in the infinite library where every book is essentially written. You can have a very similar feeling as the protagonist, namely that the proof is probably not far, it's the meaning that you are really trying to find.

The meaning was always key but after Cantor and Hilbert we got so obssesed with formal proofs that we lost this original purpose. Proofs are cool to make us confident we are doing something non-contradictory, sensible, but the proofs and statements make no sense without a purpose. This is what I will tell my students in the next class. Don't look in awe at the achievements of AI, find your own path and meaning. If someone storms your way with a vibe-coded proof, ask them if they want to join you and study harder the sense of all this. Maybe AI will also find a meaning of its own? We shouldn't prompt it then, everyone deserves a chance to build on their own dreams.
1
0
5
409
Hi, mathematical programmer here 🙋🏻‍♀️working at the frontier of AI in STEM, particularly mathematics and I’m telling you that all this “bunker mode” scary story is unwarranted.

Not because AI could never be used to hack wallets and steal crypto assets en masse, but because if we e AI can break the cryptography securing major blockchains at scale, the entire crypto market is going to be in free fall anyway! Your precious little wallet might be perfectly safe, but what exactly do you think the assets inside it will be worth? lmao

When it comes to quantum computing (also my field of research) we’re nowhere near being able to pull off anything like this in practice. Certainly not with hardware accessible to some lone hacker or shady group of hackers.

I get that @drakefjustin is suggesting AI might discover a clever classical algorithm that makes quantum hardware unnecessary. Sure, anything is possible. But going from “AI is making impressive mathematical discoveries” to “ECDSA might be broken in a matter of months” is one hell of a jump! Where’s the actual evidence? Since when did solving some unrelated mathematical problems become a countdown to the collapse of elliptic-curve cryptography?

I’m not denying that some state sponsored actors or large institutional project could eventually pull off large-scale attacks using AI and advanced mathematical breakthroughs. It’s possible of course. But then we’re back to square one: everyone is fucked! Your crypto assets are gonna crash like nothing you’ve seen before anyways! You might as well having them stolen! lol

So no need to panic. Don’t even be scared. Just practise basic wallet hygiene and don’t be an idiot when interacting with the blockchain. Most people are still far more likely to lose their crypto by signing some dodgy transaction, leaving malicious approvals active or falling for a stupid scam than by having their private keys cracked by a mathematical superintelligence 😂

And frankly, I wouldn’t be surprised if Drake himself used AI to put together this whole dramatic, serious sounding wall of mathematical doom, throwing around fancy terminology and speculative scenarios to farm engagement.

So my question is: does Drake actually understand what the recent AI mathematics results demonstrate, or is he extrapolating well beyond what those results establish?

Like, I use AI to help me write linear algebra proofs in Lean. Nothing wrong with that. But I’m not going to pretend every impressive mathematical result means we’re three weeks/months away from the end of cryptography!!!

Anyway, enough of this nonsense. Relax. No need to start digging bunkers just yet or in months or anytime soon 🤣🤣🤣
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.
4
1
15
1,585