Modele Claude rozwiązują hipotezę Hadamarda po 20 latach
Sztuczna inteligencja Anthropic prawdopodobnie pomogła rozwiązać trwający od dwóch dekad problem matematyczny dotyczący macierzy Hadamarda rzędu 668.
Trudno w to uwierzyć, ale ten tweet zawiera rozwiązanie kolejnego problemu matematycznego.
Znaki plus oznaczają wartość dodatnią (+1), a znaki minus ujemną (-1). Ta długa konstrukcja stanowi macierz Hadamarda rzędu 668 (na zrzutach ekranu widoczna jest jedynie jej jedna piąta).
Hipoteza Hadamarda została sformułowana w 1893 roku i została udowodniona dla niemal wszystkich wymiarów, z wyjątkiem kilku trudnych przypadków, w tym wymiaru 668. Ten konkretny przypadek pozostawał nierozwiązany przez ostatnie 20 lat.
Jak się okazuje, rozwiązanie zostało odkryte dzięki jednemu z modeli Claude (tweet pochodzi od pracownika firmy Anthropic).
Dlaczego to ważne
AnalizaRozwiązanie hipotezy Hadamarda ma kluczowe znaczenie dla rozwoju matematyki oraz teorii informacji. Sukces ten demonstruje rosnący potencjał sztucznej inteligencji w rozwiązywaniu złożonych problemów naukowych.
Dyskutuj w społeczności
Dziel się swoimi pytaniami i spostrzeżeniami z programistami
Powiązane w ekosystemie
Praktyczne poradniki, kluczowa terminologia i skille agentów
Claude staje się mądrzejszy
Claude staje się mądrzejszy, co wskazuje na możliwe ulepszenia możliwości modelu.
Format Markdown: Kompletny przewodnik po pracy z AI i automatyzacją
Wyczerpujący, praktyczny przewodnik po składni Markdown w kontekście rozwoju AI: CommonMark, hierarchia nagłówków, tabele GFM, escapowanie znaków, prompty systemowe oraz pliki CLAUDE.md.
Andrej Karpathy zbudował HackerTube, serwis podobny do YouTube, w około 2 godziny
Andrej Karpathy wykorzystał Claude do przefiltrowania 43 milionów komentarzy Hacker News i stworzenia HackerTube, serwisu podobnego do YouTube, w około dwie godziny.
Claude + Excel dla logistyka: 10 gotowych scenariuszy audytu taryf, OTD i kosztów
Praktyczny playbook B2B dotyczący integracji Claude z Excelem: gotowe prompty systemowe, formuły oraz algorytmy analizy freight variance, OTD, dostawców i zapasów.