Alexander Wei

@alexwei_

Reasoning @OpenAI 🍓 @UCBerkeley PhD '23 | @Harvard '20

following
followers

Former OpenAI employee plans to work on robotics after leaving

The former employee said on September 28 that they had left OpenAI two months earlier and wanted to work on problems they expect to matter after artificial general intelligence, specifically robotics.

3 Sources, 34d ago, updated 34d ago

OpenAI Shares Astra Proofs for Ten Math Advances

Internal Astra model produces Lean-certified proofs for ten open problems across math and theoretical computer science.

OpenAI Astra Model Solves Ten Open Problems

204 Sources, 93d ago, first seen 93d ago

Featured in

Former OpenAI employee plans to work on robotics after leaving

OpenAI Shares Astra Proofs for Ten Math Advances

Featured in

Former OpenAI employee plans to work on robotics after leaving

OpenAI Shares Astra Proofs for Ten Math Advances