I just watched Primeagen’s video on this and Tao’s point is that juniors no longer have the path of solving a proof to earn Field’s medals. He also argues that the community part is being hurt by AI discovering proofs because in the past people used to get invite to talk and collaborate. Now all that is being taken away. The community must adapt because Pandora’s box cannot be closed.
Prime also mentioned that software development is different. In Software development, the product is what you’re building towards, so the means to get there can be disrupted without the industry being cannibalized.
In math research, the process is the product. You take away the researching part and not much is left. But my question is, these math proofs OpenAI released, will math shift to actually using the proofs to change the world instead of just finding new ones?
Prime also mentioned that software development is different. In Software development, the product is what you’re building towards, so the means to get there can be disrupted without the industry being cannibalized.
In math research, the process is the product. You take away the researching part and not much is left. But my question is, these math proofs OpenAI released, will math shift to actually using the proofs to change the world instead of just finding new ones?