Marco Cerezo
mvscerezo.bsky.social
Staff Scientist at Los Alamos National Laboratory. Researcher on Quantum Computing and Quantum Machine Learning. Master of dungeons.
👤 Joined on 19 November 2024
768
Followers
588
Following
105
Total Posts
📜 Kullanıcı Geçmişi
- 19 Kas 2024, 23:25
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@mvscerezo.bsky.social
🚫 Blokladığı Kullanıcılar
❤️ Beğendiği Gönderiler
I'm wondering - did you try getting this proved with an adversarial feedback loop (separate prover and adversarial reviewer agents)? In my experience this typically catches many edge cases
Show Post
ok, that's certainly interesting. I haven't yet witnessed it make a mistake and I've been checking everything line by line
Show PostDo you mean ChatGPT 6 Pro Astra?
Show PostJoint work "Flood of multipartite Rains entanglement" w/ Hailey Murray et al. (incl. @mvscerezo.bsky.social) now available: arxiv.org/abs/2608.11406 We define several multipartite entanglement measures, including the Rains, monsoon, hurricane, & squall entanglement. Paper dedicated to Eric Rains!
Show Post
To be fair, I only use AI to write scripts to plot and analyse data, having already written a super shitty code and fed it to the machine, and I still review afterwards and do sanity checks. It's also very useful to dig up proofs from papers and make a skeleton for something, but still not trustable
Show Post