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.
Learn about KZH-fold: a new accumulation/folding scheme!
2000x reduction in communication and 50x faster decider time compared
to Nova for 2000 Poseidon hashes, at a cost of 3x the prover time.
Hossein Hafezi presented this standout collab from the Ethereum Foundation & NYU!…
Accumulation/Folding schemes are all the hype. However, all current schemes have proofs that are linear in the circuit size (think megabytes). That might be ok if you are locally proving (IVC) but doesn't scale for distributed proving (PCD). Cue KZH-fold: eprint.iacr.org/2025/144
I sent a Happy New Year message to an old high school friend, and learnt he'd been in an accident months ago and has no feeling from the chest down. I truly hope he recovers and gets back on his feet. It was a reminder of how blessed we are with health, often not realizing it.
9K Followers 6K Followingصفحهای برای یادداشتهای «منِ غیررسمی»| یک خبرنگار📝 | یک روابطعمومیچی 💻| یک بیشفعال فضایمجازی📱| و پیک موتوری در وقتهای اضافه 🛵 | و...
12 Followers 101 FollowingResearcher at University of Michigan, CSE
Sharif University of Tech Graduate
Love Formal Methods, Programming Languages, and Analytic Philosophy :")
42K Followers 3K FollowingCTO @midnightfdn.
Current focus: ZK (lattice,folding,Starstream), onchain games and chain abstraction. drep1kyppjlhz4lawh4g0ewx2d8a5l20t4yclfnppnuvdkmt7vccg836
720 Followers 184 FollowingLecturer (Assistant Professor) in Cryptography at King's College London, interested in post-quantum cryptography and zero-knowledge proofs.
288K Followers 942 FollowingPossibly the most famous Iranian Jew on 𝕏 | Advocate for Iranian Monarchy Restoration and Israel | Anti Woke | #17 most wanted by the regime in Iran.
21K Followers 2K FollowingFKA. O(1) Labs
Catalyzing a new generation of zk applications. Incubators of @minaprotocol. Creators of #o1js (#SnarkyJS). 🔗 https://t.co/0vmBXJVIHx
2K Followers 519 FollowingProfessor at @UW's @uwcse. Researcher in cryptography, computer security, and theoretical CS. Verify correct twitter handle on my homepage.
12 Followers 101 FollowingResearcher at University of Michigan, CSE
Sharif University of Tech Graduate
Love Formal Methods, Programming Languages, and Analytic Philosophy :")
775K Followers 4 FollowingA platform for illuminating academic papers. We annotate and share a paper every week. Save, annotate and share papers with anyone: https://t.co/0o2Pls3jmo
37K Followers 141 FollowingHead of Research @a16z. Prof @Columbia. Theoretical computer scientist. Educator. Wrote Algorithms Illuminated, 20 Lectures on Algorithmic Game Theory, etc.
42K Followers 3K FollowingCTO @midnightfdn.
Current focus: ZK (lattice,folding,Starstream), onchain games and chain abstraction. drep1kyppjlhz4lawh4g0ewx2d8a5l20t4yclfnppnuvdkmt7vccg836
6K Followers 73 FollowingCryptographer, MPC researcher, Head of Cryptography at Coinbase, Professor of Computer Science at Bar-Ilan University (on leave). Proud Jew and Zionist.
4K Followers 1K FollowingPassionate about crypto, distributed systems, cryptocurrencies, and making data, computation & communication private.
Tweets will be technical & my own opinion
1K Followers 377 FollowingViews are my own. Lecturer (~Assistant Professor) @ The University of Sydney. Cofounded D23E. Affiliated with UC Berkeley RDI.
626 Followers 2K Following@BellLabs & @CosicBe; PhD in CS; Opinions are my own and 100% biased! https://t.co/T1TI54QySz; Distributed systems & applied cryptography; ZKP + MPC + FHE
No recent Favorites. New Favorites will appear here.