aihead.pl

// tag

anthropic

Aktualności AI

Anthropic formalizuje Wielkie Twierdzenie Fermata

Firma Anthropic poinformowała o pierwszym w historii pełnym, zweryfikowanym komputerowo dowodzie, którego przedmiotem jest Wielkie Twierdzenie Fermata. Autonomiczna praca prowadzona głównie przez rodzinę modeli sztucznej inteligencji Claude w systemie dowodzącym Lean zakończyła się sukcesem po…

@ Aneta Legutko