“There’s a perception of mobster behavior” from leading AI companies, one mathematician tells WIRED as OpenAI prepares to release more than 100 new solutions to unsolved problems.
There’s a paywall. All that I can say is that some models are capable of proving theorems via theorem provers like Lean4, which validates proofs without requiring human feedback. The issue is real and it is a bit of an existential problems to how mathematics will evolve.
I’d say that even with the field potentially getting completely automated in the future, I would still find joy in doing it as much as someone would enjoy playing chess even though a machine can do it much better.
The problem is, the billionaires are very much in favor of machines competing vs the humans for employment.
It’s one of those situations where even if you don’t care about competition with the machines, the system you depend on cares about it. It’s like if you don’t care about politics but politics cares about you.
Yeah, we definitely need a proper restructuring of economic incentives. Rewarding this competition towards existential crises isn’t doing much good to humanity. I think people are in a desperate need for treating philosophical problems seriously.
There’s a paywall. All that I can say is that some models are capable of proving theorems via theorem provers like Lean4, which validates proofs without requiring human feedback. The issue is real and it is a bit of an existential problems to how mathematics will evolve.
I’d say that even with the field potentially getting completely automated in the future, I would still find joy in doing it as much as someone would enjoy playing chess even though a machine can do it much better.
We don’t have to compete with the machines.
The problem is, the billionaires are very much in favor of machines competing vs the humans for employment.
It’s one of those situations where even if you don’t care about competition with the machines, the system you depend on cares about it. It’s like if you don’t care about politics but politics cares about you.
In other words, it’s a political problem of control, not a technological problem of capability.
Yeah, we definitely need a proper restructuring of economic incentives. Rewarding this competition towards existential crises isn’t doing much good to humanity. I think people are in a desperate need for treating philosophical problems seriously.