Benjamin Chan (@Vervious) header
Benjamin Chan (@Vervious) profile picture

Research @ExaAILabs training models | prev phd @cornell_cs

San Francisco, CA
Joined May 2012
Photo by Benjamin Chan (@Vervious)Photo by Benjamin Chan (@Vervious)Photo by Benjamin Chan (@Vervious)Photo by Benjamin Chan (@Vervious)Photo by Benjamin Chan (@Vervious)Photo by Benjamin Chan (@Vervious)Photo by Benjamin Chan (@Vervious)Photo by Benjamin Chan (@Vervious)Photo by Benjamin Chan (@Vervious)Photo by Benjamin Chan (@Vervious)
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
299
753
540
7,392
3,722,657
Benjamin Chan retweeted
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.
5,674
20,043
14,811
120,009
75,345,617
Benjamin Chan retweeted
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 🫡
1
2
55
7,772
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:
11
38
13
282
159,503
Eshan Chattopadhyay is the latest Godel prize winner!
23
383
64
2,986
226,968
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:
2
1
3
24
2,998
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
1
3
1
33
4,106
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
2
7
2
31
4,604
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
3
9
2,473
Benjamin Chan retweeted
#ePrint Simplex Consensus: A Simple and Fast Consensus Protocol: BY Chan, R Pass ia.cr/2023/463
2
8
2,333
Benjamin Chan retweeted
#ePrint Cosmic Security: B Chan, C Freitag, R Pass ia.cr/2022/156
1
4
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👇
116
74
27
696
Benjamin Chan retweeted
We are officially in the fourth quarter of 2020. Man I hope we are playing the Falcons.
343
14,590
1,208
70,080
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!
1
3
14
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.
19
39
191
Benjamin Chan retweeted
Be a saint. Grab a face mask. #YourActionsSaveLives | covid19.ca.gov
794
8,242
2,898
29,285
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
3
1
18
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
40
385
52
1,931