Tehnologija
AI rešava Fermatovu teoremu uz najduži matematički dokaz
AI sistem Claude kompanije Anthropic uspeo je da u potpunosti proveri Fermatovu poslednju teoremu, stvarajući najduži matematički dokaz ikada, koji se sastoji od 13 miliona linija. Ovaj dokaz je završen za 11 dana, dok je ljudski tim na sličnom projektu na Imperial College-u u Londonu još uvek daleko od završetka. Matematičar Kevin Buzzard potvrdio je da je Claudeov dokaz validan koristeći osnovna pravila logike.
Zašto je bitno
Ovaj napredak u korišćenju AI za rešavanje složenih matematičkih problema može značajno unaprediti način na koji se matematički dokazi proveravaju i formalizuju.
AImatematikaFermatova teoremadokazClaude
Izvor: Decrypt ·
sažetak je generisan veštačkom inteligencijom na osnovu javno dostupnog
teksta; merodavan je original.