Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

An internal OpenAI Astra model solved 10 major open math and CS problems

twitter.com

Post reply on HN
Print view View original

21–30 of 55 posts

Re: An internal OpenAI Astra model solved 10 major open math and CS problems

#21

Post by znjssjnsns »

HarHarVeryFunny wrote: post #2

I feel like this kind of "result dump" just cheapens mathematics. How about having a little respect for those whose work this builds on, and current mathematicians some of who may have spent years working on these problems. Rather than sitting on these results until they had enough for a "shock and awe" 10-result dump, how about releasing these results individually as they were made/verified, as well as the failures…

It is so incredibly liberating to see the intellectual elite struggling with was already reality for 99% of the rest of us: your understanding is not required, it might in fact be detrimental as it amounts to a handbrake on progress.

Understanding never was the goal, results were. We will be getting boatloads of those. What does your understanding get us? You get a fancy house out of it and you might be intellectually stimulated by it, sure, but I hope you can see how that does not constitute a valid need for the rest of society to labor just to support your class and its lifestyle.

Re: An internal OpenAI Astra model solved 10 major open math and CS problems

#22

Post by QuesnayJr »

znjssjnsns wrote: post #21
HarHarVeryFunny wrote: post #2

I feel like this kind of "result dump" just cheapens mathematics. How about having a little respect for those whose work this builds on, and current mathematicians some of who may have spent years working on these problems. Rather than sitting on these results until they had enough for a "shock and awe" 10-result dump, how about releasing these results individually as they were made/verified, as well as the failures…

It is so incredibly liberating to see the intellectual elite struggling with was already reality for 99% of the rest of us: your understanding is not required, it might in fact be detrimental as it amounts to a handbrake on progress. Understanding never was the goal, results were. We will be getting boatloads of those. What does your understanding get us? You get a fancy house out of it and you might be intellectuall…

Your reply isn't a response to the comment, but rather a general expression of antipathy towards mathematicians, who are apparently fatcats who have fancy lifestyles.

OpenAI sat on the results so they could drop 10 at a time. It's rumored that they are sitting more results: https://mathoverflow.net/questions/513818/a-serious-challeng...

So not only are we not going to get boatloads of results, we're only get as many results as necessary for OpenAI to market their models.

Re: An internal OpenAI Astra model solved 10 major open math and CS problems

#24

Post by robotpepi »

znjssjnsns wrote: post #21
HarHarVeryFunny wrote: post #2

I feel like this kind of "result dump" just cheapens mathematics. How about having a little respect for those whose work this builds on, and current mathematicians some of who may have spent years working on these problems. Rather than sitting on these results until they had enough for a "shock and awe" 10-result dump, how about releasing these results individually as they were made/verified, as well as the failures…

It is so incredibly liberating to see the intellectual elite struggling with was already reality for 99% of the rest of us: your understanding is not required, it might in fact be detrimental as it amounts to a handbrake on progress. Understanding never was the goal, results were. We will be getting boatloads of those. What does your understanding get us? You get a fancy house out of it and you might be intellectuall…

what are even "results" in mathematics if not understanding? for instance, what's the utility of the counterexamples built by openAI?

It seems you're fighting an hallucinated enemy.

Re: An internal OpenAI Astra model solved 10 major open math and CS problems

#25

Post by [deleted] »

shshshsbe wrote: post #3
HarHarVeryFunny wrote: post #2

I feel like this kind of "result dump" just cheapens mathematics. How about having a little respect for those whose work this builds on, and current mathematicians some of who may have spent years working on these problems. Rather than sitting on these results until they had enough for a "shock and awe" 10-result dump, how about releasing these results individually as they were made/verified, as well as the failures…

I know it’s tough, but I am not a fan of elitism. Mathematics is no different from all other branches which themselves are just intellectual labor which is again just a special type of labor. There is nothing magical about it and if computers can trivialize it, so be it. Where were all the mathematicians and academics in general when “regular joe” was automated? Now it’s hitting close to home and their foreheads are…

[deleted]

Re: An internal OpenAI Astra model solved 10 major open math and CS problems

#26

Post by skew-aberration »

znjssjnsns wrote: post #16
false-mirror wrote: post #7

Earlier quoted context omitted.

I'd prefer the reverse approach. Let's value the "regular Joe" instead of cheapening everyone.

Yes, but in practice that doesn’t happen. Again, I did not hear a loud protest against automation of all types of labor from the intelligentsia in the past. In practice automation is great, as long as it doesn’t hit “the ones that matter” (a label which they themselves assign). I find it very hard to not imagine the smallest, tiniest violin playing the saddest song for them. Again, “respect for mathematicians” and “t…

Protests against automation, or for the restructuring of society to accommodate automation without causing suffering of laborers, etc, is literally one of the largest and most extensively discussed topics in modern history.

Re: An internal OpenAI Astra model solved 10 major open math and CS problems

#28

Post by aureate »

znjssjnsns wrote: post #21
HarHarVeryFunny wrote: post #2

I feel like this kind of "result dump" just cheapens mathematics. How about having a little respect for those whose work this builds on, and current mathematicians some of who may have spent years working on these problems. Rather than sitting on these results until they had enough for a "shock and awe" 10-result dump, how about releasing these results individually as they were made/verified, as well as the failures…

It is so incredibly liberating to see the intellectual elite struggling with was already reality for 99% of the rest of us: your understanding is not required, it might in fact be detrimental as it amounts to a handbrake on progress. Understanding never was the goal, results were. We will be getting boatloads of those. What does your understanding get us? You get a fancy house out of it and you might be intellectuall…

I shouldn't be surprised how prevalent this viewpoint is, given the entrenched anti-intellectualism these days in the US and across the world, but it's disturbing to see it so widespread on HN of all places.

You are of course free to wield this new technology any way you choose (to the extent its owners and your wallet allow you to, for now at least), and if you can enrich yourself by doing so power to you. I won't attempt to dissuade you from your apparent hatred of those who have spent their lives trying to expand the boundaries of human understanding. I'll just state my equally emotion-driven opposing view: It always was and always will be about the understanding. "Results" and "progress" without sufficient thought are the reason our enormous modern wealth is accompanied by so much human misery.

I don't relish the prospect of living in your predicted world of multiplying technology untempered by human thought, if that's what happens to emerge. I don't think it will be a good place for anyone but a handful of the very richest. Good luck adding yourself to their number.

Post reply on HN