Same could be said about any of the many mass extinction events in earth history. Not that I’m in favor of setting the planet on fire, but if you zoom out far enough it’s clear earth would bounce back from even a nuclear war coupled with climate change and microplastics.
Fair enough maybe I should’ve gone with the word authoritarian as opposed to fascist. I’m certainly not a fan of how the USSR was run either. But to be honest it seems like China might at least be a competent authoritarian system from what I can tell. Which if you’re going to have an authoritarian government, competence is pretty damn important.
I think a web model might show up at some point but it certainly seems like an uphill battle. Project Cybersyn in chile is pretty inspirational to me. Unfortunately the Allende government was sabotaged by the CIA - a common story for any attempt made at actually implementing a more web-like social / economic model as opposed to the pyramid structure we have in the west.
It seems to me like a graph theory problem more than anything else. For whatever reason large human groups haven’t figured out how to build a distributed governance / resource structure that prevents insanely out of whack power dynamics that generally lead to a lot of death and destruction for everyone involved.
Fascism pattern-matches an authoritarian relationship between child and parent onto the organizational structure of government organizations.
Insubordination exists on a spectrum - I’m not saying you shouldn’t do what you’re told by your boss in all circumstances, but in an organization of adults, hierarchy is only loosely correlated with “knowing the right thing to do”.
And employee at the environmental protection agency deciding to study microplastics against his “orders” is following the spirit of the larger organization.
Bottoms-up decision making is not inherently problematic. And the only reason you see it as problematic is because you project too much authority onto “authority figures” aka you are viewing your boss as a parent when they’re really closer to coworker assuming your competent enough.
What I’m trying to say is that the whole top-down authority structure we see as normal is actually more abnormal than you think. And organizations would work better if they functioned more as webs, with loose higher level structures to ensure compliance with organizational goals.
Well the key thing here is I’m not saying the LLM has no idea what it’s doing. But LLMs are prone to hallucinations which can really impact a string of interdependent logic like a proof. So I’m assuming it would respond with something that’s not complete nonsense to this proof most of the time. Where I’m skeptical is if this was a true one shot, or if they had to iterate and try multiple different prompts, or even the same prompt over and over again to reach a working solution.
So I’m just asking if the proof checking software is capable of evaluating this proof. Because if it is, that makes the brute force approach a lot more feasible as you reduce human review overhead significantly.
If it is, that would imply you could run the prompt through the LLM as many times as you want until you “strike gold” so to speak.
Is there anyone more knowledgeable than me about proof checking software who could tell me how off the mark I am here?
Assuming you have decent proof checking software, is it possible that this solution was achieved by throwing GPT at the problem a couple hundred thousand times until it passed the proof checker?
If they want to build a game they can do that lmao.
Even with LLMs it’s not like I just give it a prompt and it makes me a game… have you ever built an app with an LLM before? The last one took me a MONTH working 9-5 5 days a week. It’s not like the LLM just goes off and does stuff. It updates the code, I load up the app, tell it to do something different or feed it the error message, rinse and repeat.
I’m not even hyping up AI I’m literally saying I’ve never touched game dev so I can’t code a game myself but I can direct an LLM to build an app so I’m ASSUMING I could use it to build a game.
A pattern I’ve found useful in other settings is starting with code for an existing “game” that sort of resembles what you want to make and then modifying components until you have a whole new game but it shares similar infrastructure to the original. So you benefit from the existing system and avoid a lot of problems.