Log inSign up
user avatar

Henry Yuen

@henryquantum
Associate Professor of Computer Science at Columbia University. Quantum information, computation, and cryptography.
New York, NY
henryyuen.net
Joined June 2009
670
Following
5,914
Followers
RepliesMedia
  • user avatar
    Henry Yuen
    @henryquantum
    Aug 3
    From a friend at @OpenAI and more importantly someone who I was in the trenches with working on quantum parallel repetition with ten years ago.
    user avatar
    Mo Bavarian
    @mobav0
    Aug 3
    This is a surreal moment. Few people could have predicted that the AI will advance to solving math problems at the highest level only a few years after GPT-2/3. The models then couldn't reliably solve grade school math problems. They barely were good enough to draft emails. They
  • user avatar
    Henry Yuen
    @henryquantum
    Aug 1
    Some initial thoughts, and a complicated mix of feelings. 1. Wow. I mean, Erdos problems are cool (I genuinely mean that), I didn't know about the Jacobian conjecture before it got disproved. But this newest batch from OpenAI hits home in a way the previous announcements did
  • user avatar
    Henry Yuen
    @henryquantum
    Aug 1
    This is reminding me of my weekly farmshare delivery. Most weeks we get the Erdos problems (the usual kale and turnips). But this week's box has got some pretty zesty stuff, like a simple example of a non-sofic group and - my personal favorite - an exponential-decay quantum
    user avatar
    Lijie Chen
    @wjmzbmr1
    Aug 1
    10 proofs from our next major model Astra on long-standing open problems in mathematics and theoretical computer science (also including new circuit lower bounds for computing the permanent!) GPT-5.6 has already enabled so much exciting work in math and science. Can’t wait to
  • user avatar
    Henry Yuen
    @henryquantum
    Jul 24
    I’m being facetious, but only partially so. A part of me does hope this could refocus more of our energy on understanding than producing.