Post

is it possible to convince AI boosters that mathematics and science don't exist as human pursuits with the primary goals of producing papers and proofs, or are they just Gone

i think most of them are Gone. the real freaks who are still in it for love of the research game, well, i don't think you had to convince them in the first place

perversely the people designing the LLMs are the only ones in the field i would trust even partially with engaging with science properly

1 repost7 likes

oh, for sure. i imagine the internal arguments about releasing those proofs was "Vigorous" and "Heated" and other corporatespeak euphemisms