anthony-leverrier.bsky.social
anthony-leverrier.bsky.social
@anthony-leverrier.bsky.social
what happened?
October 26, 2025 at 10:38 PM
Kitaev also
October 5, 2025 at 8:58 PM
grandfather? he's not *that* old
;-)
September 30, 2025 at 6:14 PM
Reposted by anthony-leverrier.bsky.social
Stephen Colbert explains why the simplest way of finding the shortest path between 22 cities involves
1. flying to the Moon
2. mining some Helium-3
3. bringing it back to the Earth and pouring it in your quantum computer.
September 22, 2025 at 6:45 AM
playing with chatGPT myself quite a bit, I see it make sentences like "It presents a drop-in, provably correct replacement for the contested Step 9" quite a bit, so I'm also a bit suspicious here.
September 21, 2025 at 10:27 AM
thinking model with the 20$ version
September 18, 2025 at 3:25 PM
So, not a breakthrough, but something that could have kept an intern busy for a while a couple of years ago. (And not something I would ever have attempted myself before AI tools were available.)
(4/4)
September 18, 2025 at 2:40 PM
but it ended up working very nicely.
One gets quite decent parameters, better than what I thought.
@eczoo.bsky.social (3/4)
September 18, 2025 at 2:40 PM
compute the code parameters. Nothing new, this is exactly the construction for the original paper but coding all of this can be rather painful.

With ChatGPT, i just had to explain the idea and ask for the scripts that compute the parameters. It took some time (about at day in total) to debug (2/4)
September 18, 2025 at 2:40 PM
sure, and I would agree with that point. But showing the PQ line converging to probability 1 after a few years is a way stronger claim.
September 18, 2025 at 11:28 AM
right... so what do we do?
September 17, 2025 at 11:25 AM
what was the conclusion of the discussion?
August 29, 2025 at 12:52 PM
Félicitations Hanna !!
August 27, 2025 at 11:13 AM