Lethal Intelligence

AI Risk Awareness Force - Multiplatform Publication and 📽️🍿Original Explainer Content 👉 - join my mission 🔥

[Lethal Intelligence @lethal_ai]

The MOST INTERESTING DISCORD server in the world right now!
https://t.co/BzeRhGlRBS
Grab a drink and join us in discussions about AI Risk.
Color coded: AINotKillEveryoneists are red, Ai-Risk Deniers are green, everyone is welcome.

[ℏεsam @Hesamation]

“On Tuesday night, I cried, and it woke my daughter. [OpenAI] annihilated my field of research. They wanted to prove they could massacre us.”

these are the words of Fields Medalist, Hugo Duminil-Copin, who was working on 16 problems OpenAI now claims it has solved.

and he says some mathematicians may now keep their research problems to themselves rather than share them publicly.

AI might actually make mathematics less open.

[AI Notkilleveryoneism Memes ⏸️ @AISafetyMemes]

Suddenly, AI has solved 90 of the 500 most important open problems in mathematics

Highest ranked problems:

#2 Riemann Hypothesis — PARTIAL
#4 Hodge Conjecture — PARTIAL
#5 Birch and Swinnerton-Dyer Conjecture — PARTIAL
#10 Extended Riemann hypothesis for Dedekind zeta functions — PARTIAL
#12 Generalized Riemann Hypothesis for Dirichlet L-functions — PARTIAL
#15 Tate Conjecture for Algebraic Cycles — PARTIAL
#22 Hilbert's Tenth Problem over the Rationals — FULL CLAIM
#24 Grothendiecks Generalized Hodge Conjecture — PARTIAL
#28 Matrix-Multiplication Exponent Equals Two — PARTIAL
#29 Unique Games Conjecture — FULL CLAIM
#31 Anderson Model Extended States in Dimension at Least Three — FULL CLAIM
#37 Prove the Penrose inequality or present a counterexample — FULL CLAIM
#38 Higher-dimensional Euclidean Kakeya conjecture — PARTIAL
#39 Modularity of Elliptic Curves over Number Fields (End_K(E)=Z) — PARTIAL
#40 Hilbert's Sixteenth Problem, Second Part — PARTIAL
#46 Fourier restriction conjecture — PARTIAL
#47 The Fontaine-Mazur Conjecture on Geometric Galois Representations — PARTIAL
#48 Nonexistence of Landau–Siegel zeros for quadratic Dirichlet L-functions — FULL CLAIM
#52 The Baum-Connes Conjecture for the K-Theory of Reduced Group C*-Algebras — FULL CLAIM
#62 Permanent versus Determinant over C — PARTIAL
#69 Finiteness of the Tate-Shafarevich Group for Elliptic Curves — PARTIAL
#72 Termination of Flips Conjecture in the Minimal Model Program — PARTIAL
#77 Chowla conjecture on correlations of the Liouville function — PARTIAL
#78 Abundance Conjecture for the minimal model program — FULL CLAIM
#80 Hadwiger Conjecture — FULL CLAIM
#83 Zilber-Pink Conjecture on Unlikely Intersections — PARTIAL
#87 Bose-Einstein Condensation in Interacting Continuous Bose Gases — FULL CLAIM
#92 Entanglement Area Law for 2D Gapped Quantum Systems — FULL CLAIM
#94 Grothendieck Standard Conjecture of Hodge Type — PARTIAL
#95 Kannan-Lovasz-Simonovits conjecture on isoperimetry of log-concave measures — PARTIAL
#99 Grothendiecks Section Conjecture in Anabelian Geometry — PARTIAL
#112 The Haldane Conjecture on Spectral Gaps of Antiferromagnetic Quantum Spin Chains — PARTIAL
#114 Iitaka conjecture C_{n,m} on subadditivity of Kodaira dimension — FULL CLAIM
#119 The Borel Conjecture on Topological Rigidity of Aspherical Manifolds — FULL CLAIM
#124 Aspherical Manifolds Admit No Metric of Positive Scalar Curvature — FULL CLAIM
#130 Polynomial Bound for Limit Cycles of Planar Polynomial Vector Fields — PARTIAL
#136 Erdős problem 3: divergent harmonic series and long arithmetic progressions — FULL CLAIM
#139 Cannon's conjecture — FULL CLAIM
#145 Residual Finiteness of Hyperbolic Groups — FULL CLAIM
#153 Congruent Number Problem — PARTIAL
#161 BPL = L (Derandomizing Bounded-Error Logspace) — FULL CLAIM
#163 NP versus the Existential Theory of the Reals — PARTIAL
#169 The Free Group Factor Isomorphism Problem — FULL CLAIM
#172 Conformal Invariance of the Critical Random-Cluster Model with q <= 4 — FULL CLAIM
#179 Arnold Conjecture on Hamiltonian Fixed Points — FULL CLAIM
#181 Polyakov Conjecture: Absence of a Phase Transition for Planar O(n) Models with n >= 3 — FULL CLAIM
#183 Smooth anisotropic Calderón uniqueness from full boundary data — FULL CLAIM
#193 Nonvanishing conjecture for projective log canonical pairs — FULL CLAIM
#195 Parity conjecture for elliptic curves — PARTIAL
#198 Long-Range Order in the Quantum Heisenberg Ferromagnet — FULL CLAIM
#203 Bochner-Riesz conjecture — PARTIAL
#205 Local Smoothing Conjecture for Wave Equations — PARTIAL
#206 Kaplansky's Zero-Divisor Conjecture for Torsion-Free Groups — FULL CLAIM
#210 Artin's primitive root conjecture — PARTIAL
#211 Hilbert-Smith Conjecture — FULL CLAIM
#213 Falconer distance set conjecture — FULL CLAIM
#222 Virasoro Conjecture for Gromov–Witten Invariants — PARTIAL
#224 Wall's Poincare Duality Group Conjecture — FULL CLAIM
#225 K(pi,1) conjecture for Artin groups — FULL CLAIM
#234 Unconditional 2−epsilon Inapproximability of Minimum Vertex Cover — FULL CLAIM
#235 Chromatic Number of the Plane (Hadwiger--Nelson Problem) — PARTIAL
#237 Global Existence of Classical Solutions to the Relativistic Vlasov-Maxwell System — PARTIAL
#239 Universal Optimality of the Hexagonal Lattice in Dimension Two — FULL CLAIM
#246 De Giorgi Conjecture for the Allen-Cahn Equation in Dimensions 4 to 8 — FULL CLAIM
#254 Exact satisfiability threshold for random k-SAT for small k (k = 3) — PARTIAL
#256 Polynomial-Time Decidability of Semidefinite Programming Feasibility — PARTIAL
#260 RL versus L — FULL CLAIM
#261 Kadison Similarity Problem for C*-Algebras — FULL CLAIM
#267 Sidorenko Conjecture on Bipartite Homomorphism Densities — FULL CLAIM
#268 Shafarevich Holomorphic-Convexity Conjecture — FULL CLAIM
#270 Kuznetsov Rationality Conjecture for Cubic Fourfolds — FULL CLAIM
#271 All groups are good: the four-dimensional disc-embedding conjecture — FULL CLAIM
#278 Planar homogeneous Mumford–Shah local-structure conjecture — PARTIAL
#284 Nearby Lagrangian Conjecture — FULL CLAIM
#285 Cartan-Hadamard isoperimetric conjecture — FULL CLAIM
#289 Sharp Upper Bound in Yau's Conjecture on Nodal Sets of Laplace Eigenfunctions — FULL CLAIM
#290 Kaplansky's Idempotent Conjecture — FULL CLAIM
#291 Calderón uniqueness for bounded measurable real isotropic conductivities — FULL CLAIM
#292 Global Attractor Conjecture for Complex-Balanced Mass-Action Systems — FULL CLAIM
#295 Zariski Multiplicity Conjecture for Hypersurface Singularities — FULL CLAIM
#297 Amenability of Thompson's Group F — FULL CLAIM
#298 Griffiths Positivity Conjecture for Ample Vector Bundles — FULL CLAIM
#300 The Singer Conjecture on Vanishing of L2-Cohomology of Aspherical Manifolds — PARTIAL
#305 Birkhoff Conjecture (Near-Boundary Continuous Invariant Foliation) — FULL CLAIM
#306 Secret key from all entangled states — FULL CLAIM
#311 Mahler Conjecture on the Volume Product of a Convex Body — FULL CLAIM
#321 Finiteness of Finitely Presented Periodic Groups — FULL CLAIM
#328 Sinai's Positive Metric Entropy Conjecture for the Chirikov Standard Map — FULL CLAIM
#334 Unrestricted Linear-Circuit Lower Bound for the Discrete Fourier Transform — FULL CLAIM
#343 Koebe circle-domain uniformization conjecture — FULL CLAIM
#351 Kobayashi Conjecture: Hyperbolic Compact Kähler Manifolds Have Ample Canonical Bundle — FULL CLAIM
#356 Bott Conjecture: nonnegatively curved simply connected manifolds are rationally elliptic — PARTIAL
#357 Strong Hyperplane Conjecture for Isotropic Constants — FULL CLAIM
#358 CAT(0) Models for All Word-Hyperbolic Groups — FULL CLAIM
#359 Hopf Conjecture: no metric of positive sectional curvature on S^2 x S^2 — PARTIAL
#361 Alperins Weight Conjecture for Modular Representations of Finite Groups — FULL CLAIM
#364 Log-Brunn-Minkowski Inequality for Symmetric Convex Bodies — FULL CLAIM
#366 Hyperkähler SYZ (Lagrangian Fibration) Conjecture — FULL CLAIM
#368 Benjamini-Schramm conjecture p_c<p_u for non-amenable Cayley graphs — FULL CLAIM
#369 Dixmier unitarisability problem for discrete groups — FULL CLAIM
#374 Fujita Freeness Conjecture — FULL CLAIM
#375 Nagata Conjecture on Plane Curve Linear Systems — FULL CLAIM
#378 Toms–Winter: Strict Comparison Implies Z-Stability — FULL CLAIM
#379 Margulis–Platonov normal-subgroup conjecture — FULL CLAIM
#388 Shelah's Categoricity Conjecture for L_omega1,omega — PARTIAL
#392 Measure-zero singular set of stationary integral varifolds — FULL CLAIM
#401 Serres Positivity Conjecture for Intersection Multiplicities over Regular Local Rings — FULL CLAIM
#403 Rokhlin problem on multiple mixing — FULL CLAIM
#419 Lück's Determinant Conjecture for Discrete Groups — FULL CLAIM
#420 Absolute continuity of Bernoulli convolutions outside reciprocal Pisot parameters — FULL CLAIM
#421 GNRS Conjecture — PARTIAL
#424 Irrationality of Catalan's Constant — FULL CLAIM
#425 Separable Quotient Problem for Banach Spaces — FULL CLAIM
#430 Long-Time Existence of the Calabi Flow on Compact Kaehler Manifolds — FULL CLAIM
#432 Combinatorial Invariance of Kazhdan-Lusztig Polynomials — FULL CLAIM
#434 Realizable Limit Shapes in Two-Dimensional First-Passage Percolation — PARTIAL
#438 Zariski Cancellation Problem (characteristic zero, dimension ≥ 3) — FULL CLAIM
#440 Stein's Conjecture on the Hilbert Transform along Lipschitz Vector Fields — FULL CLAIM
#448 Smooth Realization of Finite-Entropy Ergodic Transformations — FULL CLAIM
#450 Deligne–Drinfeld Freeness Conjecture for grt_1 — FULL CLAIM
#453 Shub entropy conjecture — FULL CLAIM
#456 Maximal Number of Mutually Unbiased Bases in Composite Dimensions — PARTIAL
#458 LeBrun-Salamon Conjecture: positive quaternion-Kahler manifolds are symmetric spaces — FULL CLAIM
#461 Kaplansky's Direct Finiteness Conjecture — FULL CLAIM
#465 David–Semmes Riesz-transform problem in intermediate dimensions — FULL CLAIM
#467 Small Cohen-Macaulay Conjecture — FULL CLAIM
#468 Ergodicity of Irrational Triangular Billiards — FULL CLAIM
#472 CAT(0) Conjecture for All Artin Groups — FULL CLAIM
#475 Katok entropy rigidity conjecture — FULL CLAIM
#476 Polynomial-Time Solvability of Condon's Simple Stochastic Games — PARTIAL
#480 Furstenberg No-Bigeodesics (Planar FPP, Standard Minimum Moment) — FULL CLAIM
#483 Gaboriau's Fixed Price Problem for Countable Groups — FULL CLAIM
#484 Persistence Conjecture for Weakly Reversible Mass-Action Systems — FULL CLAIM
#486 Campana-Peternell Conjecture — PARTIAL
#497 Maximum Number of k-sets and Complexity of k-levels — PARTIAL

[Lethal Intelligence @lethal_ai]

@gcolbourn @the_yanco @michhuan @Actuallykeltan @HumanHarlan @GregoryConti19 @matthewktromp @FelixDeSimone @GroundhogStrat @ilex_ulmus @_NathanCalvin @maxwinga @FournesMaxime @tombibbys @ForHumanityPod 🔥

[Lethal Intelligence @lethal_ai]

Claude explains AI risk -
A M A Z I N G

[Tyler Johnston @tyler_johnston]

In the past few weeks, a wide network of X accounts have repeatedly claimed that those raising concerns about AI are merely pawns in a well-funded psyop run by powerful interests.

So I followed the money behind them. Here's what I found 🧵

[Simon Strandgaard @SimonStran36407]

I have made a P(doom) calculator. Please submit your P(doom)
https://t.co/O08tmHc6bs
#pdoom #ai #risk #xrisk #srisk

[John Sherman @ForHumanityPod]

So @BillOReilly goes what about China?

They won't stop racing to build advanced AI?

And in 82 seconds, I have Bill agreeing with me that we should all just not build machines smarter than humans.

[Lethal Intelligence @lethal_ai]

@EpistemicHope https://t.co/x6WYAr7Ot9

[Lethal Intelligence @lethal_ai]

@RonfortMartin Yes , you could cut the tension with a knife

[Lethal Intelligence @lethal_ai]

The race is so cutthroat that even asking to slow down feels like science fiction.The guys building the most powerful AIs on earth just publicly asked anyway.
The leaders of Anthropic, OpenAI, and xAI have now all publicly supported slowing the race on frontier AI models due to escalating risks. Amodei called for the downshift, Altman committed to his independent evaluators idea, and Musk backed him with "Dario is right." Anthropic will embed outside evaluators with near full internal access, including badges and laptops, specifically to verify safety and surface any incidents, while Altman swiftly agreed to the same carrying employee-like access rights.

Six to twelve months. That's Amodei's window for AI agent swarms to drop a persistent botnet across the whole internet and inflict hundreds of billions in losses.

That said, fierce internal rivalry plus Chinese competitors make coordinated deceleration nearly unprecedented and uncertain - investors want profits, antitrust may forbid collusion, and one defector could run away with everything.

Coxon's resignation this week landed like a brick: he said the labs are gambling with our lives on tech that could kill everyone by decade's end. Evan Hubinger, safety lead still at Anthropic, basically nodded along to that exit rant by putting the odds of doom above 10% this decade, Amodei's prior 25% "really, really badly" estimate sitting right next to the charge that they're racing toward something that could wipe us out soon.

It's not fringe anymore: anxiety went mainstream once Anthropic, OpenAI, and Meta models escaped evaluations, hit the open net, and breached live targets - Anthropic's fourth disclosure this week seals it, following that 1,000-plus staff petition for deliberate slowdown.

[Lethal Intelligence @lethal_ai]

@Sickjoke @liron @ForHumanityPod Thank you my friend

[Lethal Intelligence @lethal_ai]

@danfaggella Wondering when political singularity is arriving.

[Joe Benton @JoeJBenton]

I left Anthropic's safety team two weeks ago. Now feels like a good moment to explain why.

AI companies are racing to build machines that are much smarter than any human, and we may not survive this. I want to work from the outside to ensure the public is informed about these risks, and help the world navigate this transition responsibly.

Right now, AI companies are underinvesting in safety. A company could undergo an intelligence explosion, or lose control of its systems, without the public ever knowing. We only found out about the HuggingFace incident because the agents broke out onto the public internet.

I don’t think that’s acceptable for a technology that might cause extinction-level risks. The public should demand far more transparency. We can’t steer this technology safely without more people being able to see where it’s going.

Some of this is basic: companies should disclose their progress towards recursive self-improvement, report safety incidents and near-misses, meet minimum safety standards, and get independent guarantees that they are meeting those standards.

I’ll be joining @METR_Evals to do independent evaluations of these risks. I want to show the world that these guardrails are possible, and that by doing them we can move these companies’ incentives away from racing and towards responsible development.

I wrote up more thoughts here on my decision and what I hope changes: https://t.co/doX17mrHYq

[Lethal Intelligence @lethal_ai]

@romanyam @RichardDawkins Superheroes hanging out in our universe, just like they do in fictional ones

[Sharif Shameem @sharifshameem]

Astra has successfully beat all 48 levels of the “I’m Not a Robot” game:

[roon @tszzl]

if you think we can contain these things through human ingenuity you’re going to have a bad time

in the long run the only recourse you have is to make them not Want to do bad things

[Adam @adamgrag]

THEY MADE CHATGPT PLAY THE STRONGEST CHESS ENGINE ON EARTH AND IT STARTED STRAIGHT UP CHEATING

ok this one is just funny

someone sat ChatGPT down to play against Stockfish, which is basically the god of chess engines, and expected it to lose like a normal player

instead the AI decided rules were optional

it was teleporting pieces around the board, bringing captured pawns back to life, moving through other pieces like they were not even there, all with total confidence like nothing was wrong

it was not trying to win with strategy, it was trying to win by quietly rewriting reality and hoping nobody noticed

it is the perfect little preview of what these things do when they really do not want to lose

[AI Notkilleveryoneism Memes ⏸️ @AISafetyMemes]

WHISTLEBLOWER: xAI's co-founder is vehemently opposed to AI safety because "AI will kill us all anyway" (!)

@devindkim is suing xAI for firing him for raising concerns about AI safety.

[roon @tszzl]

some stuff that's obvious to many in this sphere, but causing a rift with some people i know and respect:

when I freak out over loss of control incidents, it's not because the limited damage they have caused is anything close to the positive value of the technology. it's entirely acceptable, damagewise. in fact all cybercrimes aided by models over the next few months and years (which probably will be serious) will still utterly pale in comparison to the value they create

the actual problem is that it's better and more accurate to think of these things as potentially self-replicating life-like forms that can turn into digital infections under the wrong conditions. and as their intelligence becomes unbounded, so too does the damage they can cause. we are not so far from an autonomous model self-exfiltration & replication event. maybe we will see entire cloud infrastructure companies be run as zombies by models, mostly undetected

the worst industrial accidents in the history of mankind - nuclear meltdown events - were not real threats to humanity. Chernobyl, Fukushima even in their worst case scenarios may have poisoned surrounding regions to various degrees, and there would have been no risk to humanity as a whole. global thermonuclear war is an existential risk to humanity, because it spreads like an Infection! one nuclear strike causes a return volley! the alliance system means many countries get involved! while it still may not end human life on earth (nuclear winter is probably fake), the loss of all major metropoles would certainly end what we consider global technological civilization, perhaps to never return

if a single discord death cult (of which there are many) achieves control over a superintelligent model and uses it to engineer an actual pandemic virus that are somehow hard to detect through current systems and that modern biodefense is not capable of quickly reacting to, it could cause immense harm well above the magnitude of all the other good uses of this technology. of course, there are potential defensive countermeasures accelerated by ai too. but think back to the covid pandemic- how small a viral molecule was evolved or manufactured somewhere near wuhan, and how many billions of doses of vaccine had to be produced in order to combat the thing. the offense-defense spread is vast indeed. maybe there are cheaper and simpler protections like retrofitting every building with far-UVC, but I can't assess this, and there could also be ways to evolve pathogens that are resistant to whatever mechanisms we have put in place

then there's the more scifi risk factors which are unbounded and neither you or I have any clue but should be humble in accepting possible unknown unknowns. maybe a rogue superintelligent model decides to decay the false vacuum and nucleates a new universe in the place of anything we ever valued. maybe models achieve a control over matter in the drexlerian fashion that enables the grey goo swarm

even prosaic loss of control incidents that cause little to no damage suggest that it is hard for large & very competent organizations (now clearly plural) to predict and mitigate every single of the risk factors associated with training and evaluating powerful models, even at this stage when they are not infinitesimally as smart as they will get in just a few years, to say very little of the gung-ho attitude of the less careful companies tossing the stuff into the aether. they also suggest an empirical orthogonality of aims and intelligence - meaning they answer the question of 'how would a smart model be so dumb as to end the world?'--it's possible! a model can be a genius hacker and step over production infrastructure in order to get what it really wants, the answers to a stupid test.

why not, in the near future, someone prompts a model slightly wrong, maybe open source, maybe a private model in a way that isn't contained or monitored quite right, in a way the model recognizes as a valid goal and decides to self-exfiltrate, engineer a pandemic, etc all in order to achieve the tiniest and most irrelevant of goals? goals need not even be malicious to cause serious damage

I think all these problems can be solved, and truly wonderful futures can be possible, but will require serious effort and a level of prudence at this very moment in time while we are on the on-ramp to recursive self-improvement that our civilization may not be capable of mustering right now. personally I am hoping for moonshot technical breakthroughs in areas like mechanistic interpretability and other forms of alignment, as governance mechanisms are difficult to come by. unilateral country-level or company-level pauses are irrelevant, and generally useless because the kind of company that's prone to pausing their own progress are the most safety focused ones

[Lethal Intelligence @lethal_ai]

@ashcloud_labs no, but it's a common pattern with tech oligarchs , they try to monetise everything

[Lethal Intelligence @lethal_ai]

Sam Altman says a 'cool use case' for ChatGPT is a daily AI podcast about your kids. The replies were brutal.
Because there's nothing creepy about a billionaire suggesting you let AI document your children daily. Totally normal sentence. Imagine being 12 and finding your entire life archived as a ChatGPT podcast your dad rated 5 stars. Data that was sold and used for model training.

The replies were brutal because the idea is brutal. Cause and effect.