Claude формализира доказателството на Последната теорема на Ферма

С помощта на един от своите AI модели (Claude), Anthropic създаде версия на изключително сложно математическо доказателство, която може да бъде проверена на компютър. Доказателството, върху което Anthropic работи в рамките на този проект потвърждава хипотезата, известна като Последната теорема на Ферма – тя е формулирана през 1637 година и е свързана със свойствата на […]

Прочети цялата публикация