You are correct, but application of that knowledge might require understanding of why the proof is correct. Maybe not in all cases. The proof is the start of the process, not the whole thing.
Wait, are you saying Claude isn't conscious on the internet, sir?
Of course democracy is being protected, when it is clear such a party is being actively used and supported by foreign actors which have no right to vote in the affected country. People are being manipulated. The law…
unitedstates.gov*
Without understanding, what are we?
An agent writes 99% of the code. Then I fix some parts, re-arrange things, usually takes a few prompts. Then, there's code review, more changes, etc. But I hardly write code nowadays compared to a few years ago.
You are correct, but application of that knowledge might require understanding of why the proof is correct. Maybe not in all cases. The proof is the start of the process, not the whole thing.
Wait, are you saying Claude isn't conscious on the internet, sir?
Of course democracy is being protected, when it is clear such a party is being actively used and supported by foreign actors which have no right to vote in the affected country. People are being manipulated. The law…
unitedstates.gov*
Without understanding, what are we?
An agent writes 99% of the code. Then I fix some parts, re-arrange things, usually takes a few prompts. Then, there's code review, more changes, etc. But I hardly write code nowadays compared to a few years ago.