> The fact that any answers are made public at all is useful to us all. That’s free knowledge.
When mathematicians discover new results, they automatically become experts during the process, and then go around giving talks to explain their results, methods, and intuitions to other mathematicians. After years or sometimes decades of refinement and a healthy dose of serendipity, some of the mental frameworks percolate to other fields.
No one from OpenAI is willing to give a talk on any of their 300+ results because their machines have decoupled formal proofs from actual knowledge.
When mathematicians discover new results, they automatically become experts during the process, and then go around giving talks to explain their results, methods, and intuitions to other mathematicians. After years or sometimes decades of refinement and a healthy dose of serendipity, some of the mental frameworks percolate to other fields.
No one from OpenAI is willing to give a talk on any of their 300+ results because their machines have decoupled formal proofs from actual knowledge.