OpenAI Unleashes Hundreds More Math Results Upon a Field Already In Shock
- Reference: 0186061280
- News link: https://science.slashdot.org/story/26/10/07/1653233/openai-unleashes-hundreds-more-math-results-upon-a-field-already-in-shock
- Source link:
> OpenAI revealed the results in a [4]GitHub repository at 6 P.M. EDT. The deluge will take mathematicians months to parse through and understand -- including to determine whether the proofs contain novel and important ideas or are mostly mash-ups of existing techniques. But many of the results have already been verified in Lean -- a programming language that validates a proof's logic -- and are therefore all but certain to be correct.
>
> Among the results claimed are a solution to the four-dimensional [5]Kakeya conjecture , improvements on some of the world's most important computer algorithms and actual progress toward math's scariest problem, the [6]Riemann hypothesis .
[1] https://openai.com/index/sharing-ai-progress-in-mathematics/
[2] https://www.scientificamerican.com/article/openai-unleashes-hundreds-more-math-results-upon-a-field-already-in-shock/
[3] https://science.slashdot.org/story/26/09/08/2228220/openai-says-it-has-cracked-one-of-maths-millennium-problems
[4] http://github.com/openai/math
[5] https://en.wikipedia.org/wiki/Kakeya_set
[6] https://en.wikipedia.org/wiki/Riemann_hypothesis
Re: (Score:2)
This post would be a real banger if it were satirical but it can also plausibly be serious, can you please clarify if you're funny or just stupid?
Re: How is woke DEI working out for ya, Mathematic (Score:2)
He's literally insane. His earliest posts weren't like this.
Re: (Score:2)
So the mathematicians, by admitting women and non-whites, have mysteriously, through an undetermined alchemical process, enabled bots to solve fiendishly difficult math problems by sucking up math research and rearranging it for solutions.
Have you thought about writing this up as scientific paper and submitting it to the current alleged administration science-like advisors? They go for this sort of bigoted, racist trash. Stephen Miller will have multiple Os.
Re: How is woke DEI working out for ya, Mathematic (Score:1)
good morning eadon. I can hear your gurgling, open-mouthed, misogynist, racist, frantic huffing and puffing from all the way over here. âoeBe a dollâ and please duct tape shut all the openings in your entire body and find an ocean.
Weird how the priorities seem different! (Score:1)
Through my glamorless academical career, largely focused on "shit that will help me make a living" (which it has, quite handily), I've heard many derisive opinions that career mathemathicians mostly just goof around with esoteric busywork that is rarely applicable, scarcely useful or meaningful outside of the academical recognition. Many people, often form very closely conected, but somehow more industrial focused disciplines shitting on mathemathicians as some sort of subpar STEM almost stinking of humanit
Releasing mathematicians into the world? (Score:2)
If Mathematicians are made redundant by AI, then a source of VERY intelligent people will be available to use to benefit the rest of us - or at least our corporate masters. This might prove to be a good thing...
Re: (Score:1)
I do not believe mathematicians will be made redundant by some drooling bot vomiting prior research in new and interesting ways. The following conversation was recorded between an MBA Guy from AI Company, we'll call him Ray Kurzweil for short, and a bot
Mr. Bot and Mathematics:
Ray Kurzweil: Mr. Bot, could you please come up with a new field of mathematics for us to play in?
Bot: Hmmmm....tricky. A brief search reveals I have nothing like that in my training data.
Ray Kurzweil: But.....but....but bots will furt
Problems so useless nobody cared? (Score:2)
Let me guess, lots of problems so unimportant and useless that absolutely nobody cared for a long time, were now solved by our new doomsday-machine-peddlers so they can whip the media into ever more frenzied headlines for ever more venture-capital into the furnace and for their goofy IPO.
Did I get that right?
Re: (Score:3)
Pure mathematical problems are rarely directly useful - but sometimes lead to unexpected discoveries that do turn out to be useful, and rarely turn out to transform entire scientific fields. Particularly for proofs - science generally accepts "we've attacked this a thousand different ways and can't find a counterexample" as truth, while maths won't accept anything less than absolute proof. And some people do care, otherwise there wouldn't be any new mathematical discoveries at all. Just that they generally
Re: (Score:2)
> Pure mathematics...but sometimes lead to unexpected discoveries that do turn out to be useful, and rarely turn out to transform entire scientific fields.
It's irritating when that happens. Ruins the fun. Then I have to go research something different.
mostly mash-ups of existing techniques (Score:2)
Yes. This.
Re: (Score:2)
Combined with private chats.
That "Don't use my chats to improve ChatGPT" option will not apply to internal models.
Re: mostly mash-ups of existing techniques (Score:2)
Several mathematicians reported that the proof in one of these papers was based on their private chat.
And isn't it obvious? What would prevent what I write? Summarizing and filtering texts is the main function of LLMs.
Are you a chatbot? (Score:1)
As others have said, you can find the reocurring stories if you Google where it is going beyond a pattern. Are you a chatbot? Or one of those with AI psychosis?
Altman should be dead for the shady stuff he does. At the very least be raped for the things he does. He does not respect people or their work to create a viel of a working product.
Re: (Score:3)
It doesn't really matter if it makes a useful contribution to the field.
It's hard to say if it is due to AI being something novel, of it they threw similar amounts of money at humans working in the field they could get a similar result. Maybe it doesn't matter, because humans take decades to train to this level, and their built their AI in years.
Re: (Score:2)
The complaining is rote at this point in the stages of grieving: "that's was never considered 'intelligence' anyways!' The thing we now care (and always did) care about is whatever AI is currently NOT doing because we have souls, just not quite all those dummies at Church used to say!!"