dbt00
Joined 10 years ago
Joined 10 years ago
> 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.