posted in Technology
OpenAI Is Pissing Off a Bunch of Mathematicians—Again
www.wired.com/story/openai-is-pissing-off-a-bunch-of-mathematicians-again/
Replying to @Mustachius_Grumpius@thelemmy.club
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.
Replying to @wrinkle2409@lemmy.cafe
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.
Replying to @willington@lemmy.dbzer0.com
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.
Replying to @willington@lemmy.dbzer0.com
In other words, it’s a political problem of control, not a technological problem of capability.