
Research @ExaAILabs training models | prev phd @cornell_cs
San Francisco, CA
Joined May 2012
- Tweets552
- Following2.1K
- Followers749
- Likes5.5K
Benjamin Chan retweeted
An internal model at OpenAI has produced a claimed refutation of ETH! Russell Impagliazzo, Mohan Paturi, and I have been asked to help organize an open and independent examination of this claim. 1/4
We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.
The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.
The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.
Benjamin Chan retweeted
Replying to @ExaAILabs @sarahdingwang @benchmark @lightspeedvp @ycombinator @ScottWu46 @ibab @talbroda
And lastly, thank you to all Exa users and friends who've been with us these past 5 years.
We will not stop until the world’s information is fully organized for you, and for every intelligence across the world 🫡
Benjamin Chan retweeted
Introducing Exa 2.1
We scaled our pre-training and test-time compute by an order of magnitude, unlocking frontier search API performance for both fast and agentic search.
Deep dive below:
Benjamin Chan retweeted
Decentralized thoughts on 2 round BFT in Simplex style
With @ElodinStorm and Ling Ren
decentralizedthoughts.github…
Benjamin Chan retweeted
Unlike other “off-the-shelf” consensus implementations, consensus::simplex is refreshingly minimal.
It delivers simple agreement over opaque “blobs”. Functions that have historically motivated developers to create forks, like block broadcast, are abstracted as interfaces:
Benjamin Chan retweeted
Today, we are excited to share our biggest release yet: consensus::simplex (our first of many upcoming consensus dialects).
consensus::simplex provides BFT agreement via a new, optimistically responsive construction inspired by Simplex Consensus:
eprint.iacr.org/2023/463
Benjamin Chan retweeted
For the latest Systems Seminar, @Vervious joins us to present Simplex Consensus.
Simplex has one goal: to be the simplest consensus protocol to prove, implement, and learn. Check it out here:
🔗 youtu.be/fQl9cnIjs7E
Benjamin Chan retweeted
Discover new consensus protocols with our faculty Prof. Rafael Pass and PhD student Benjamin Chan @Vervious from Cornell. Don't miss out their latest cutting-edge research in #blockchain #consensus!
We have a new consensus protocol for you, called "Simplex Consensus". It's supposed to be fast and easier to understand than everything else out there. Joint work with Rafael Pass. Check it out at eprint.iacr.org/2023/463! 1/3
Benjamin Chan retweeted
#ePrint Simplex Consensus: A Simple and Fast Consensus Protocol: BY Chan, R Pass ia.cr/2023/463
Benjamin Chan retweeted
#ePrint Cosmic Security: B Chan, C Freitag, R Pass ia.cr/2022/156
Benjamin Chan retweeted
I know this is top secret information that you don’t normally share, but try opening your heart and tell me which coffee shops are perfect for reading and writing papers (around the world). I will bookmark this thread forever.
I’ll start: Here’s an option for when in Tel Aviv👇
Benjamin Chan retweeted
We are officially in the fourth quarter of 2020. Man I hope we are playing the Falcons.
Benjamin Chan retweeted
Exciting updates about Streamlet: I'm giving a talk on Streamlet in Berkeley RiseLab tmw! Also stanford 251 cs251.stanford.edu/ is teaching Streamlet! @benediktbuenz . Also @Vervious is speaking about streamlet in AFT next week!
Benjamin Chan retweeted
📢A preliminary (read: still very rough) draft my new textbook "Foundations of Distributed Consensus and Blockchains" is available at distributedconsensus.net i'm still updating/rewriting the textbook, pls check back for a later ver. feedback/suggestions are greatly appreciated.
Benjamin Chan retweeted
An updated/rewritten version of the streamlet paper is available on eprint! eprint.iacr.org/2020/088.pdf including a crash-fault variant that is a minor tweak of the main protocol. strongly recommended for teaching consensus. Consensus protocols made extremely simple! @Vervious
Benjamin Chan retweeted
Currently, the OPT program enables talented graduate students to work in the US for a period after they graduate. Eliminating this program will cause graduate students, with newly minted PhDs, to be forced to leave the US, hurting US competitiveness.
This Post is from an account that no longer exists. Learn more
Benjamin Chan retweeted
Decentralized Thoughts: A Simple Textbook Blockchain Protocol.
A Guest post on Streamlet by Benjamin Chan and @ElaineRShi !
decentralizedthoughts.github…




















