Earlier quoted context omitted.
It's not sarcasm. If I had to pay $25 to perform my work from an ever-growing pile of projects, I would be losing money. That's not "cheap intelligence" for me. It certainly is for my employer, though, because for the mere price of $25 extra per day they can get 4*X the product per period of time. In Scrum terms my personal velocity grows by a factor of four or more with access to agentic AI workload, but if it means…
I'll simplify it for you: AI is cheap for those who pay for it.
GPT-5.6 used a prompt to close a 30-year gap in convex optimization
351–360 of 414 posts
Re: GPT-5.6 used a prompt to close a 30-year gap in convex optimization
#352So if you dig down a bit it turns out the author had been trying to solve that problem for a year with GPT 5.4 and 5.5 and he fed all that information to the prompt he gave to Sol Pro which may or may not had direct access to the author's chat history. So the claimed "148 minutes" was really "a year plus 148 minutes". Moreover, it seems the prompt included the technique used to solve the problem: https://old.reddit.c…
Re: GPT-5.6 used a prompt to close a 30-year gap in convex optimization
#353Genuinely asking... How do you get chatgpt to work for 148 mins when I can't get gemini to think for even a minute at a time?
Re: GPT-5.6 used a prompt to close a 30-year gap in convex optimization
#354Re: GPT-5.6 used a prompt to close a 30-year gap in convex optimization
#355Genuine question: If you still or did think LLMs are just stochastic parrots that just summarize everything and have no form of creativity, what do you think after seeing results like this? I'm very curious how people reconcile their fear/hatred of AI with actual objective reality. This is actually what interests me most about the whole AI thing. How we tell ourselves what we tell ourselves.
I had to create an account to respond to this because I am quite convinced these math problems they are "solving" are pure marketing. Why is it only GPT doing this, why not Claude? Why does Terrance Tao do marketing for OpenAI? I suspect OpenAI has hired math researchers to solve obscure problems and put them in their training set, purely for marketing reasons. There was a good comment on the Pelican bicycle svg yest…
Re: GPT-5.6 used a prompt to close a 30-year gap in convex optimization
#356This is all a depressing and bleak future that I don’t look forward to. One solution is to ban LLM’s, to artificially create a demand for human thought, that just feels like living in an artificially constructed zoo. Another solution is humans don’t do anything that AI can do better , / doesn’t need the human touch. So I suppose we will all become artists, sportsmen or politicians, the only jobs that will remain exce…
Or, for the vast majority of humanity who aren't professional mathematicians, it's a liberating and empowering advancement.
I'm sorry if the automated digital theorem looms are eliminating the market for your handwoven proofs.
Re: GPT-5.6 used a prompt to close a 30-year gap in convex optimization
#357Earlier quoted context omitted.
Maybe we should also burn books and lobotomize ourselves to make science more fun and challenging. The ego here sickens me. I don't care about your ego. I want accelerated material science, medical science, energy, better outcomes for people across the world.
> I want accelerated material science, medical science, energy, better outcomes for people across the world. There will be people benefiting from advances in these fields. Neither you nor I will be one of them.
You've just condemned funding math, even human-produced math.
Either math is useful, in which case AI math is useful, or math is not useful, in which case we can save money by having mathematicians sell shoes or clean toilets.
Re: GPT-5.6 used a prompt to close a 30-year gap in convex optimization
#358Earlier quoted context omitted.
Nobody knows. It's not a zero sum game. You can have AI "senior engineers" working under humans building bigger things than we've been able to. We also don't know where the capabilities of current AIs will plateau. The benchmarks aren't really telling the entire story. From my perspective of using the models there are certain axis where they're not making a lot of progress, like being able to have large accurate cont…
> It's not a zero sum game. Resources are, though. The planet cannot support a race of digital super-people, and us, and an continually growing economy. It's the height of folly to think that, as things are going, we are going anywhere "good".
Re: GPT-5.6 used a prompt to close a 30-year gap in convex optimization
#359Earlier quoted context omitted.
AI is a threat to everyone. People who claim that AI will never be able to do X have consistently been proven wrong. The only people who are safe are those whose jobs depend in some way on their humanity. e.g. yoga teachers, bouncers, etc
Your first two sentences were correct. The last one is already being proven false. It's a threat to everyone. UBI is the only way.
(Also, the US budget deficit is way too high to afford a UBI.)
Re: GPT-5.6 used a prompt to close a 30-year gap in convex optimization
#360Earlier quoted context omitted.
i'd take a yoga class from a bot
How would this be different from taking a yoga class from a video? I would be willing to be proven wrong, but I doubt the ability of LLMs to give useful corrections in yoga much more than their ability to write useful code.
I think there's a lot of opportunity for computer vision in exercise coaching.