Anthony Leverrier @letonyo

researcher on quantum error correction https://t.co/RvavYrCGWD arxiv.org/a/leverrier_a_… Paris Joined May 2009

Tweets

6K
Followers

7K
Following

1K
Likes

7K

Ryan Briggs @ryancbriggs

3 days ago

It's very human to only double check that a process is working when you get a weird result. It's also very bad practice, because sometimes your "right" result is due to a bad process and you will be misled. Social scientists (economists) do this kind of asymmetric checking.

7 44 332 66K 99

Download Image

Forecasting Research Institute @Research_FRI

3 days ago

We now have the first accuracy results from the largest-ever existential risk forecasting tournament. In 2022, we convened 80 experts and 89 superforecasters for the Existential Risk Persuasion Tournament (XPT), which collected thousands of forecasts in 172 questions across…

7 52 148 37K 73

Download Image

Simo Ryu @cloneofsimo

2 weeks ago

So we went from "LLM is memorizing dataset" to "LLM is not reasoning" to "LLM cannot do long / complex math proving" to "Math that LLM is doing is not REAL math. LLM can't do REAL math" Where do we go from now?

Edward Frenkel @edfrenkel

2 weeks ago

255 234 2K 1.0M 601

156 82 1K 231K 221

Ernest Ryu @ErnestRyu

2 weeks ago

This is really exciting and impressive, and this stuff is in my area of mathematics research (convex optimization). I have a nuanced take. 🧵 (1/9)

Sebastien Bubeck @SebastienBubeck

2 weeks ago

This is really exciting and impressive, and this stuff is in my area of mathematics research (convex optimization). I have a nuanced take. 🧵 (1/9)

290 1K 8K 6.7M 3K

Download Image

38 310 3K 601K 2K

Sebastien Bubeck @SebastienBubeck

2 weeks ago

Claim: gpt-5-pro can prove new interesting mathematics. Proof: I took a convex optimization paper with a clean open problem in it and asked gpt-5-pro to work on it. It proved a better bound than what is in the paper, and I checked the proof it's correct. Details below.

290 1K 8K 6.7M 3K

Download Image

Anthony Leverrier @letonyo

3 weeks ago

ha! you meant *those* nails 🤦

Stripe Press @stripepress

3 weeks ago

ha! you meant *those* nails 🤦

24 75 652 242K 388

Download Video

0 0 1 681 0

Daniel Eth (yes, Eth is my actual last name) @daniel_271828

4 weeks ago

GPT-5 didn’t live up to OpenAI’s hype, but it is *exactly* in line with extrapolations from prior AI advancements. Go ahead and discount future statements from OpenAI/Altman, but you should still expect the fast AI progress that we’ve been seeing to continue

24 54 434 32K 92

Download Image

Anthony Leverrier @letonyo

a month ago

might apply to quantum computing startups as well...

Paul Graham @paulg

a month ago

might apply to quantum computing startups as well...

38 83 2K 90K 168

0 0 11 927 0

Ananyo Bhattacharya @Ananyo

2 months ago

@letonyo Relates to the fact that the strength of the architecture is also a weakness--data and instructions stored in the same memory. CPU is fast so has to wait around for data. en.wikipedia.org/wiki/Von_Neuma…

1 1 6 472 0

Anthony Leverrier @letonyo

3 months ago

Great work by Yiyi Cai that improved the analysis of robustness for the local codes used in quantum Tanner codes. (To be fair, the bounds remain quite pessimistic if one wishes good quantum LDPC codes with linear distance.) thesis.library.caltech.edu/17412/

John Preskill @preskill

3 months ago

9 8 296 16K 21

Download Image

0 0 19 2K 1

Sam Altman @sama

3 months ago

also, here is one part that people not interested in the rest of the post might still be interested in:

265 455 5K 625K 971

Download Image

Anthony Leverrier @letonyo

3 months ago

What a great initiative !

Arvind Narayanan @random_walker

3 months ago

What a great initiative !

4 12 107 13K 64

0 0 2 650 0

Anthony Leverrier @letonyo

4 months ago

#newpaper Bosonic codes can dramatically reduce the cost of fault tolerance and many codes look like serious contenders: dual-rail qubit, cat qubit, GKP. But the Fock space is huge, esp. if you consider multimode encodings, and there are many great codes waiting to be found (1/4)

2 1 26 2K 3

Craig Gidney @CraigGidney

3 months ago

I'm often asked if I'll redo the 2019 quantum factoring estimate. Denser storage by yokes, smaller magic factories by cultivation, slimmer approx arithmetic by Chevignard et al… surely the cost is lower now? Yes, it's lower now. security.googleblog.com/2025/05/tracki… arxiv.org/abs/2505.15917

8 50 176 19K 32

Download Image

Louis Paletta @louis_plta

4 months ago

High-performance local automaton decoder for defect matching in 1D, happy to share that our new work in with @letonyo, Mazyar Mirrahimi and @CVuillot is now available on the arXiv ! 👀 (1/6)

1 4 18 1K 2

Download Image

Anthony Leverrier @letonyo

4 months ago

is there a standard name for the representation of U(n) on the n-mode Fock space that associate to U \in U(n) the unitary {a_i} --> {\sum_j U_{i,j} a_j} ? "metaplectic representation"?