News for hackers. Stuff that matters.
Re:Claim: GPT-5-pro can prove new interesting mathematics by offnominal on Sunday August 24, 2025 @06:15PM (#45008282)
The OpenAI employee posting this is a well known theoretical computer scientist: https://en.wikipedia.org/wiki/S%C3%A9bastien_Bubeck
Re:Claim: GPT-5-pro can prove new interesting mathematics by alkyon on Sunday August 24, 2025 @07:04PM (#45008611)
Yes, he published a paper claiming GPT-4 has "sparks" of AGI. What else is he known for in the field of computer science?

https://arxiv.org/abs/2303.12712

Re:Claim: GPT-5-pro can prove new interesting mathematics by NotOscarWilde on Sunday August 24, 2025 @09:36PM (#45009399)
Hello, TCS assistant professor here: he is legitimately respected among his peers.

Of course, because I am a selfish person, I'd say I appreciate most his work on convex body chasing (see "Competitively chasing convex bodies" on the Wikipedia link), because it follows up on some of my work.

Objectively, you should check his conference submission record, it will be a huge number of A*/A CORE rank conferences, which means the best possible in TCS. Or the prizes section on Wikipedia.

Re:Claim: GPT-5-pro can prove new interesting mathematics by alkyon on Monday August 25, 2025 @02:56PM (#45017563)
I don't deny that his output is highly valued among AI researchers.

Provocative as my question may be, the point I wanted to make is that his most highly cited paper that I already mentioned is suspiciously very in line with the OpenAI narrative. I doubt if any of his GPT research is really independent. With great salary comes great responsibility.

Re:Claim: GPT-5-pro can prove new interesting mathematics by offnominal on Sunday August 24, 2025 @10:36PM (#45009663)
Not sure if you're trying to be provocative, but you could just click his name in the link you provided to find a lengthy list of arXiv preprints: https://arxiv.org/search/cs?searchtype=author&query=Bubeck,+...
Re:Claim: GPT-5-pro can prove new interesting mathematics by nybsjytm on Tuesday August 26, 2025 @11:29AM (#45027934)
Not sure what this has to do with my post.
Re:Claim: GPT-5-pro can prove new interesting mathematics by offnominal on Tuesday August 26, 2025 @12:29PM (#45028819)
> Any mathematicians who have actually called it "new interesting mathematics", or just an OpenAI employee?

He is a mathematician. Unless you wanted to say "any other mathematicians..."