Greg Brockman says that researchers have developed many techniques for working with less data.

“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”