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

11–20 of 55 posts

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

#11

Post by seanmcdirmid »

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…

You can actually do all of that meta analysis if you have the conversation that led to the solution. This is as easy as just having people release logs of their conversations, and then you can load it into another LLM as context to ask a bunch of questions about it.

I hope this will be normal practice eventually. “Show your work” is trivial if you use AI to solve a problem.

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

#12

Post by sajithdilshan »

sunandsurf wrote: post #5

Does anyone else have trouble telling how much of this news (along with the 'AI escaping and hacking' stories) is genuine, vs how much is just AI firms overstating their capabilities due to strong commercial incentives?

I mean once they release the proof you can check the maths yourself and I’m pretty sure it would be peer verified as well.

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

#13

Post by [deleted] »

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…

[deleted]

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

#16

Post by znjssjnsns »

false-mirror wrote: post #7
shshshsbe wrote: post #3

Earlier quoted context omitted.

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…

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 “their work”.. please. Just produce results. That’s all that ever mattered and let’s not change the rules of the game just because they don’t suit you anymore.

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

#17

Post by watwut »

sunandsurf wrote: post #5

Does anyone else have trouble telling how much of this news (along with the 'AI escaping and hacking' stories) is genuine, vs how much is just AI firms overstating their capabilities due to strong commercial incentives?

We hacked a company and blame the tool! Somehow it is not negligence, but cool!

We hacked 3 companies and tripple blame the tool! We are even cooler!

We hacked companies amd therefore other peoples models need to be restricted! See, us accidentally pointing a hacking tool on others proove we are the only ones that can be trusted with the tool!

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

#18

Post by moezd »

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…

That is the point: Make "X can be done by AI" common discourse and watch industries "being disrupted". At least with open weights we'd be able to verify the claims.

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

#20

Post by robotpepi »

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…

that's an incredibly narrow view of what's happening.
Post reply on HN