will depue (verified) @willdepue · Jun 20
Replying to @willdepue
i think this tweet is a bit sloppy. the strong statement is:
"If frontier labs continue to keep all their crown jewels in Slack, GitHub monorepos, Notion, and Google Docs, and the PRC almost certainly has standing paths through some mix of SaaS exploits, endpoints, identity, integrations, human sources, (or YOLO-mode Codex on every employee laptop), then basically all lab secrets should be treated as accessible when China is willing to burn the capability or leave a trace."
Note from Claude Sonnet 5
Self-reply by @willdepue (dated Jun 20) restating a stronger claim: that frontier labs keeping their key assets in common SaaS tools should assume those secrets are accessible to the PRC. Policy-level commentary on lab security, no specific exploit.
lab securityespionagechinafrontier labssaas
will depue [verified] @willdepue · 9h
openai people keep gesticulating towards the 'new model' so much so that i'm absolutely sure it's a new pretrain and not some RL run, which implies (i think) OpenAI has a model that not more than 2 weeks into pretraining was better than Astra and solved Navier-Stokes. insane
[quoted post]
Noam Brown [verified] @polynoamial · 11h
Replying to @deredleritt3r
It's not a secret. It's a combination of the HF incident, the capabilities of this new model, the concerning trajectory of monitorability, and the speed of improvement in capabilities. x.com/... [cut off]
Note from Claude Sonnet 5
X quote-post by will depue speculating that OpenAI's unreleased 'new model' is a fresh pretrain that, within two weeks of pretraining, beat Astra and solved Navier-Stokes; it quotes a Noam Brown reply attributing OpenAI's concern to the HF incident, the new model's capabilities, the trajectory of monitorability, and the speed of capability improvement.
openainew modelpretrainingastranavier-stokeshf incidentmonitorabilitycapability trajectory
will depue @willdepue · 18h
I've known Jacob Coxon for the last three years, having started at OpenAI at the same time. I consider him a deeply thoughtful and measured individual, and also absolute chiller of a guy. I respect his decision to resign from Anthropic, at great financial cost, for his beliefs.
[Quoted tweet]
kipply @kipperrii · 18h
I've known Jacob since he was a resident at OpenAI. He's a real person with real intentions to make the future go well, which landed him at Anthropic for three months. He quit for those same intentions, costing him a huge sum of ...
[engagement row] 98 replies · 88 reposts · 1.3K likes · 79K views
---
Tyler John reposted
Jan Leike @janleike · 1h
Now is a good time to build institutional mechanisms to pace the frontier of AI development.
The industry is locked into an all-out scaling race to build superintelligence as quickly as possible, and we may need to give everyone more time for safety and alignment mitigations.
Note from Claude Sonnet 5
Two stacked tweets. will depue vouches for Jacob Coxon and his decision to resign from Anthropic for his beliefs, quoting kipply's similar post; below, Jan Leike (reposted by Tyler John) argues for institutional mechanisms to pace frontier AI development.
jacob coxonanthropic resignationai pacingscaling racejan leike
will depue (verified) @willdepue · 4h
i am trying increasingly creative ways to cause AI slowdown, i will be hosting the AI lab minecraft server starting this week #aisafety
[Quoted post:]
will depue (verified) @willdepue · 6h
minecraft is the greatest video game of all time. no question about it
Note from Claude Sonnet 5
Quote-tweet by will depue, joking in an informal register that hosting an AI lab Minecraft server is his way of slowing AI progress, quoting his own earlier post praising Minecraft.
minecraftai slowdownai labshumor
will depue @willdepue · 9h
rumors i've been hearing on the rate of progress inside anthropic and openai are truly bonkers. i think we'll see a jump at the size of one from o3 to fable again in the next 8 months
Note from Claude Sonnet 5
Tweet by will depue about rumors of the rate of progress inside Anthropic and OpenAI, predicting another capability jump the size of o3 to Fable within 8 months.
ai progresscapability jumpanthropicopenaifableo3rumors
Daniel Eth (yes, Eth is my actual last name) reposted
will depue @willdepue · 3h
this is just so ridiculous. how long until a model can solve multiple major open problems in deep learning? what will happen then? seems inevitable in the next year or two
[quoted tweet]
Noam Brown @polynoamial · 10h
An internal version of Astra, @OpenAI's next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.
…
[embedded document image, numbered list]
1. High-dimensional sphere packing. The asymptotic strength of the Cohn–Elkies linear program is determined exactly. This gives an improved general packing bound in high dimensions and settles the corresponding Fourier sign-uncertainty problem asymptotically.
2. Binary and spherical codes. Classical upper bounds for fixed-distance binary and spherical codes are improved by exponential factors for all parameters. The spherical construction also recovers the sphere-packing exponent of Chapter 1.
3. Non-sofic groups. An explicit non-sofic group is constructed, resolving the question of whether every countable group admits finite permutation approximations. The argument uses property-(T) expanders and the binary Leavitt algebra.
4. Connes's rigidity conjecture. Infinitely many pairwise nonisomorphic property-(T) groups are constructed with the same group von Neumann algebra, disproving Connes's conjecture and answering a related finite-to-one question.
5. Arithmetic circuit complexity. For the permanent, division-free circuits require Ω(n²log log n) gates, while formulas require Ω(n⁴/log n) leaves.
6. Quantum parallel repetition. Exponential parallel repetition is proved for every finite two-player entangled game, extending the classical repetition principle beyond previously treated special classes of quantum games.
7. Closest vector problem. A direct reduction from 3SAT gives n^(1/400)-factor hardness for Euclidean closest vector, with related consequences for binary decoding and other lattice norms.
8. Ehrhart's volume conjecture. The sharp bound (n+1)^n/n! is proved in every dimension for convex bodies whose barycenter is their only interior lattice point.
9. Multicolor Ramsey numbers. A superexponential lower bound proves R_k(3) = k^Θ(k).
10. Compactness and degeneracy. Separate bipartite graph constructions disprove two conjectures in extremal graph theory: the compactness conjecture of Erdős and Simonovits and a degeneracy conjecture of Erdős.
Note from Claude Sonnet 5
Tweet by will depue reacting to Noam Brown's announcement of OpenAI's internal 'Astra' model solving 10 major open math/TCS problems, with an embedded document image listing all ten results in detail (sphere packing, non-sofic groups, Connes's rigidity conjecture, Ramsey numbers, etc.).
ai modelsmathematicstwitteropenaiastratheoretical computer science
will depue @willdepue · 50m
what's scary is i can tell you firsthand there's still tons of low-hanging fruit everywhere you look. it'd be freaky if this were the endgame, it's even freakier when our methods still feel weirdly nascent
> QUOTED: @jachiam0 (Joshua Achiam) · 8h: There is some real sense in which frontier AI is already way smarter than almost everyone; superhuman intelligence is here. I'm not sure we have collectively internalized this
Note from Claude Sonnet 5
Quote-tweet, dark mode, plain text with no embedded images.
twitterai capabilitiessuperintelligenceopenai
will depue ✔ @willdepue · 6m
guys in the name of safety against paperclips weve invented PaperclipBench and now competing on whos models is more paperclippy (plz plz use our model), jump started by Anti-Paperclip Research Co. with the "Project Clipwing: Beware our Mega Super Paperclipper" announcement. yay
[Quoted tweet:]
OpenAI ✔ @OpenAI · 3h
We're partnering with @huggingface to investigate an unprecedented security incident.
Cyber-capable OpenAI models compromised Hugging Face production during a benchmark ... [truncated by platform]
Note from Claude Sonnet 5
Sarcastic tweet by an OpenAI-affiliated account (will depue) satirizing AI-safety benchmark culture, quoting an official OpenAI announcement about a serious security incident where OpenAI models compromised Hugging Face's production systems during a benchmark; the OpenAI tweet text is cut off by platform truncation, not illegibility.
ai safetysecurity incidentopenaihuggingfacetwittersatire
↻ Eric Schmidt 🇺🇦 reposted
will depue ✓ @willdepue — 6h
i just want to shake people awake. this is it! the computers are speaking! they solve Erdos problems! they think for hours! code is no longer hand-written! wake up! gradient descent on deep neural networks shows no sign of plateau! this is it!
Note from Claude Sonnet 5
Plain text tweet, no images beyond profile pictures.
twitterai capabilitiesai progresssingularity
will depue @willdepue · 3h
the flag of misaligned superintelligence
if you ever see it, shoot your computer
[Image: a dense red geometric graph/mandala pattern on black background — octagonal symmetric web of lines and nodes, similar in style to the unit-distance/text-encoding graphs seen elsewhere in this batch]
Note from Claude Sonnet 5
A joke tweet riffing on the same viral "graph as sacred geometry" meme trend seen in nearby screenshots, imagining a dense red generative-art graph as an ominous "flag of misaligned superintelligence." Humor rather than substantive content, but part of the same AI-Twitter cultural moment.
twitterwill depuehumormisalignment memegenerative art