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.
11 Followers 90 FollowingResearcher in applied cryptography ( mostly interested in zk) at DISCRYPT, interested in Bitcoin and eager to learn almost everything
9K Followers 6K Followingصفحهای برای یادداشتهای «منِ غیررسمی»| یک خبرنگار📝 | یک روابطعمومیچی 💻| یک بیشفعال فضایمجازی📱| و پیک موتوری در وقتهای اضافه 🛵 | و...
13 Followers 104 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
11 Followers 90 FollowingResearcher in applied cryptography ( mostly interested in zk) at DISCRYPT, interested in Bitcoin and eager to learn almost everything
6K Followers 59 FollowingCryptographer (lattices/post-quantum), Professor @UMichCSE, Head of Cryptography @Algorand, PhD @MIT_CSAIL. Previously @gatech_scs. Here I speak for myself.
719 Followers 183 FollowingLecturer (Assistant Professor) in Cryptography at King's College London, interested in post-quantum cryptography and zero-knowledge proofs.
297K Followers 906 FollowingPossibly the most famous Iranian Jew on 𝕏 | Advocate for Iranian Monarchy Restoration and Israel | Anti Woke | #17 most wanted by the regime in Iran.
22K 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 518 FollowingProfessor at @UW's @uwcse. Researcher in cryptography, computer security, and theoretical CS. Verify correct twitter handle on my homepage.
13 Followers 104 FollowingResearcher at University of Michigan, CSE
Sharif University of Tech Graduate
Love Formal Methods, Programming Languages, and Analytic Philosophy :")
777K 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 146 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 379 FollowingViews my own.
Lecturer (~Assistant Professor) @ #USYD.
Cofounded @d23e_AG.
Affiliated with @BerkeleyRDI.
Former student of @HatforceSec.