3 ms·

It seems Cameron Zwarich has also joined OpenAI Is there a Lean/OpenAI connection?

• saagarjha 4mo ago
  Where did you see that?