Loading video...

Video Failed to Load

Go Home

AI can’t find an algorithm that doesn’t exist. The worry is we’re wrong about what exists. Liz Harkavy and Justin Thaler on AI vs. cryptography: "We generally believe there is no efficient algorithm for these problems. ... And so if there's not one, it doesn't matter how smart the...

27,809 views • 6 days ago •via X (Twitter)

12 Comments

Rick Glenn's profile picture
Rick Glenn6 days ago

@liz_harkavy @SuccinctJT The bigger near-term risk is not AI solving factoring. It is AI finding bad parameters, weak implementations, and side channels faster than humans audit them. Assumptions fail at the edges first.

Macro Bombastic's profile picture
Macro Bombastic6 days ago

@liz_harkavy @SuccinctJT yeah the math doesn't care how smart the model is

Nina's profile picture
Nina6 days ago

@liz_harkavy @SuccinctJT maybe the real worry is what we haven’t

JIN LIU: be quantum-safe or 0 正推动比特币要么抗量子破解,要么归零!'s profile picture
JIN LIU: be quantum-safe or 0 正推动比特币要么抗量子破解,要么归零!6 days ago

@liz_harkavy @SuccinctJT Exactly! We have not been getting any clue or trace on how AI can invent indpendently a more efficient algorithm to break ECC than Shor's. That's why we strongly disagree with Justin's remarks below @drakefjustin on ECC could be broken soon by AI.

Counterparty's profile picture
Counterparty6 days ago

@liz_harkavy @SuccinctJT so we're betting on P vs NP

Bitduke's profile picture
Bitduke6 days ago

@liz_harkavy @SuccinctJT right, if a model could break, say, RSA, that model would be an efficient algorithm for the problem. If no such algorithm exists, no set of weights can do it either

Cubane (Testnet Arc)'s profile picture
Cubane (Testnet Arc)5 days ago

@liz_harkavy @SuccinctJT AI may accelerate implementation attacks before it changes the underlying hardness assumption. Protocols need separate controls for primitive selection, circuit correctness, key handling, and implementation leakage. One security label cannot cover all four.

Sophia's profile picture
Sophia5 days ago

@liz_harkavy @SuccinctJT the algorithm thing assumes p vs np stays unsolved, good luck with that

Van Quan's profile picture
Van Quan5 days ago

@liz_harkavy @SuccinctJT so you're betting on belief rather than actual validity in algorithms

umr.x's profile picture
umr.x6 days ago

@liz_harkavy @SuccinctJT This cuts both ways — if we're wrong about what exists, AI might be exactly what proves us wrong. Crypto's threat models assumed human-speed discovery.

dOrg's profile picture
dOrg4 days ago

@liz_harkavy @SuccinctJT The nearer-term risk is AI finding the implementation bugs humans already left in. The math holds; the code around it doesn't always

Dimitris Mallios's profile picture
Dimitris Mallios5 days ago

@liz_harkavy @SuccinctJT Yes but it can find relationships between algorithms, and take algorithms from one field and apply it to another. That's the difficult part and AI can do that well if steered properly

Related Videos

MIT defines an algorithm in one sentence that changes how you think about trading "a computational procedure that takes an input and produces an output through a well-defined sequence of steps" that's it. not AI. not machine learning. not a black box a set of rules that takes data in and spits a decision out every quant strategy ever built is just an algorithm Citadel's execution system that routes 40% of US equity volume is an algorithm Renaissance's Medallion Fund running millions of trades per year is an algorithm Jane Street's market making engine processing $26 trillion annually is an algorithm input: market data rules: mathematical conditions output: trade or no trade the difference between a quant desk and a retail trader is not the data it's that one side wrote down their rules precisely enough for a machine to execute them retail says "if RSI is low and the chart looks good, i'll probably buy" a quant desk says "if RSI 1.5, buy 0.3% of NAV" same logic. one is a feeling. the other is an algorithm the feeling can't be tested, can't be repeated, can't be measured the algorithm can be backtested across 10,000 trades and you know exactly when it works and when it doesn't > this lecture: MIT, free, 70 seconds > algorithmic trading volume: 60-75% of all US equity trades > Jane Street, Citadel, Two Sigma: every trade is algorithmically executed > tools to build your own: Python, free data, a laptop you don't need a faster computer or better data you need to write your strategy down precisely enough that a machine could run it without you that's the whole leap. from intuition to algorithm full breakdown in the video below

delost

23,905 views • 4 months ago