Greg Brockman says mathematics and theoretical physics offer abundant data, while biology is data-bottlenecked and its data is difficult to obtain.

“actually accurate or not formalized proof okay yes that is checkable but but natural language proof which is what we're really producing here much much more difficult but the thing that actually i think is the core insight is really about data right it's that you can get lots of data in mathematics you get lots of data in theoretical physics can you get lots of data in biology that's obviously something very data bottlenecked very difficult now fortunately we also have been working lots of techniques to be able to work with less data”