Stevenas Strogatzas WIRED pasakojo apie dirbtinio intelekto proveržių poveikį matematikai
WIRED rugsėjo 12 dieną paskelbė straipsnį apie matematiką Steveną Strogatzą, kuris kalbėjo apie naujausių dirbtinio intelekto proveržių poveikį jo darbui.
Strogatzas yra knygos bendraautoris apie tai, kaip matematika juda už žmogaus supratimo ribų. Pokalbyje su WIRED jis aptarė didelį, jo paties darbą sukrėtusį dirbtinio intelekto pažangos poveikį.
Tą pačią dieną Anthropic pranešė, kad Claude, formalizuodamas jau egzistuojantį įrodymą, susijusį su Fermat didžiąja teorema, įrodė 29 500 nedidelių teoremų.
