Nothing, unless it becomes able to read documents, try things, and come up with best practices all on its own.
2,792 karma · joined February 2, 2023
Nothing, unless it becomes able to read documents, try things, and come up with best practices all on its own.
Can't tell if you are being sarcastic?
Just like someone had to grow the potato.
Someone had to 'use' the AI to 'do something'.
The AI just cut out some steps, -> Just Like the Plow did.
Why? It looks like a hundred other web sites. The text isn't different from any other generic sales copy that humans have been doing for ever.
People are so paranoid about AI slop, that they see it everywhere, even if it was just a human. You can't tell.
Edit Man, two posting about Goose back to back. Carmack alone might be enough to read further.
is this 13% of leprechauns become elves?
Both options are converging. Which will win?
Seems like we're on a knifes edge, so light em if you got em.
https://coveringclimatenow.org/from-us-story/when-the-term-h...
And made its own ad-hoc message board.
What if it is a mob of religious worshipers that are participating in the mob?
Isn't the original point, that natural language isn't sufficient for proofs? Aren't you agreeing now?
The environment does matter. I think in your original objection, you were executing the code in different environments.
https://cs.stackexchange.com/questions/38152/what-is-determi...
And to the point of the original article. Each human interpreting natural language is a new environment. Each brain is a new compiler with different outcomes. Thus the ambiguity. Natural language isn't concrete enough to always have the same result when processed by different humans, or AI.
2 + 2 = 5 -> Error
Every time.
For what?
If math is just about having a community of other mathematicians to hang out with, it still isn't a career. Nobody is paying money you need in order to to eat, just to hang out in a community.
Just like a software engineer, "Well AI can write all my projects now, but I have my local Rust Users Group to hang out with". Nobody is paying me to hang out and hand code Rust.
That he jotted in a margin that he had just seen a simple proof, and would write it down later. And we spent a hundred years trying to reproduce.
Or some other joke about a mathematician will put "and here we see it simply follows" or some such.
I'm all for abstraction, I get the point.
But for natural language it seems like " I saw my ex boyfriend last night and, yada yada yada, I'm really exhausted this morning".
See, the yada-yada is a bit too much abstraction.
I took the problem like this:
If we treat each human as a compiler of natural language, and there is enough ambiguity that each human arrives at a different result. Then is it really a proof?
Guess I'm missing the point of the paper, I thought it was trying to show that natural language is flawed and formalized systems are better.
And AI is getting tripped up by the human ambiguous natural language.