31–40 of 119 posts
Earlier quoted context omitted.
This is a self funded weekend project for me. It's not associated with any employer (:
> dedicated 60-vCPU server How many of these are you paying for out of pocket??
Have people tried these on Millenium problems.. letting it run all night? You never know.
Earlier quoted context omitted.
What is their pay going to be justified by once computers start conjecturing and proving theorems on their own?
Mathematicians will be the ones who can tell us if the computer theorems are decent or not. Otherwise they’ll be the ones like Erdős who pose the questions in the first place. Either way it will always be humans who decide what matters. AI is speaking our languages, not the other way around. We’re in charge. It’s impossible for us not to be, unless we can train an AI from dolphin data or other natural phenomenon. The…
AI companies are accruing power by virtue of its knowledge and ability to do work. If endowed with agency, which seems likely at this rate, it is the AI itself that will be powerful. And we'll be in charge because AI is trained on human language? I can't fathom the logic behind this.
I didn't know people could just have GPT running on their own hardware. How does one...do that? Do you have a special relationship with OpenAI and they lock down your servers or something?
Earlier quoted context omitted.
The job of a mathematician is to study mathematics, not to create proofs. An automatic proof solver doesn't make mathematicians obsolete any more than the excel sheet made accountants obsolete.
Conjectures and proofs are the fruit of the understanding. Nobody gets paid to think without producing anything.
GPT-5.6 is a closed source model and this seems to be a personal project and not something done by OpenAI.
Isn't this sucking the fun out of math? It's not like we're going to get any tangible benefit out of them, so why not let mathematicians keep their jobs?
I'm not sure how to interpret this part: "each running its own GPT-5.6 instance". GPT-5.6 is a closed source model and this seems to be a personal project and not something done by OpenAI.