AI jako asystent matematyka: od zera do twierdzenia
W dziale badań i rozwoju średniej wielkości firmy technologicznej zespół matematyków od dwóch lat próbuje uogólnić pewną klasę funkcji. Co tydzień generują dwie-trzy nowe hipotezy, z czego 90% okazuje się niespójnych już po pierwszej ręcznej…
