2,213 karma · joined March 29, 2016
> Some view the future of mathematics as a dystopian arcade of button-pressing, staring at a screen waiting for AI to do the thinking for us, with the main human involvement limited to asking the initial question and offering sporadic words of encouragement. Each new proof is then thrown into a repository, to only ever be read by other AIs, and the human presses the next button.
Is that your view of all AI native mathematicians? It's not mine, but it seems apparent to me that many people think that this is our future, or even should be our future. Same with building software (which is my field, unlike math).
I would find that personally, to use his word, grim.
To be fair, actual self-driving car business units have suffered similar fates. Uber's autonomy team was shut down after they killed Elaine Herzberg, and GM's Cruise was functionally destroyed after they contributed to a major bodily injury crash and tried to cover up their errors.
It's the level 2 consumer car companies that have mostly skated under a liability shield. Tesla FSD has been shit for a long time and paid very little price for it.
Please, write your own prose.
If you train towards the test, you aren't necessarily improving overall fitness, but you are destroying the value of that test over time because you're decreasing its correlation with overall fitness.
They used the phonetic alphabet to categorize a number of different specialties on the BD team, including alpha bravo delta and echo. I never heard the phrase "Delta Force" used in 8 years there 2008-2016.
Tesla bluetooth UI is pretty ass, actually.
The passage of time makes it harder to have a fair trial, as shown by the number of times Elon said I don't know or I don't recall about conversations that would have been recent in 2019 but are now long (or strategically) forgotten.