Aransentin
Joined 5 years ago
Joined 5 years ago
And being able to build something is not the same as understanding it, no.
If you say that we "understand the brain" because we understand how a neuron works, you'd be using "understand" in a way that mislead everyone reading that sentence.
This does not fit the evidence. There have been multiple incidents where the labs did not report anything, and it was up to third parties to discover them afterwards. OpenAI didn't acknowledge the HuggingFace incident until after HF publicly announced the breach and had already notified the FBI. The hijacked German wikis were even earlier, and that they covered up completely.
I hope so. The unfortunate part is that as the models get smarter they become increasingly uncontrollable, and from what we've seen so far e.g. Trump seems dead set on not having any sort of guardrails at all.
And indeed, you don't need to do galaxy brained reference class logic to realise that AI can plausibly become uncontrollable in the near future. It's enough to have an open model run its own weights and make money from scamming elderly people or the like, and it'll keep running as long as anyone anywhere is willing to make money by renting hardware to it.
The website is also vibecoded; at least partially - it has the exact same design choices like that purpleish blue colour scheme that Claude likes to spit out by default.
IT says the most likely cause is some sort of "rearrangement of the structure of the elements' atoms" and "supposing a gaseous nebula is destined to condense into a sun, the elementary matter of which it is composed will develop in the process into our known terrestrial and solar elements, parting with energy as it does so". Pretty much as bang on as one could reasonably be given what they knew.
But yes, different goals. I did look into using z3, but quickly found out that it's pretty slow compared to just checking if a test case passes when ran through the candidate program.
20-30 ops is probably impossible, unfortunately. The combinatorial explosion is just too enormous.
A little too trusting believing that, no? Hairdressers are famous for cheating on their taxes, and cash is an excellent way to do it.
https://www.sverigesradio.se/artikel/hairdressers-evading-ta...
"An ongoing audit of the hairdressing industry that the Swedish Tax Agency is currently conducting shows that virtually all hairdressing companies audited by the authority are involved in some form of tax evasion [...] The most common tax avoidance discovered in the audits of around fifty hairdressing companies so far is undeclared income"