Open Questions

The questions we are curious about

The speed at which mathematics is being generated and verified is growing at an unprecedented rate. Here are our questions.

How we redefine mathematical product?

Can formalized mathematics be the primary output, with natural language as the interaction layer through which we understand it?

How we store mathematical knowledge?

When mathematics can be stored as formal code, we can extract its structure at a meta level. What do these structures mean, and how do we put them to use?

How we reorganize mathematical work?

How do we bring more technology into the evolution of mathematics, and how do we make mathematics itself an anchor whose development in turn gives rise to more technology?