Autonomiczny agent AI przeprowadził systematyczny atak na problem grafu Conwaya srg(99,14,1,2), udowadniając m.in. że żaden graf cyrkularny nie spełnia więcej niż 68% wymaganych ograniczeń. Badanie dostarcza weryfikowalnych dowodów cząstkowych w jednym z najtrudniejszych otwartych problemów teorii grafów.
Sztuczna inteligencja właśnie wbiła łom w jeden z najtwardszych orzechów teorii grafów. Autonomiczny agent systematycznie "ogryzał" problem grafu Conwaya srg(99,14,1,2), udowadniając między innymi, że żaden graf cyrkularny nie zdoła przekroczyć 68% wymaganych ograniczeń. To nie pełne rozwiązanie, ale weryfikowalne dowody cząstkowe, które matematycy mogą sprawdzić i zbudować na nich dalej.
Zanim jednak odkorkowujemy szampana: "systematyczny atak" na problem to nadal coś zupełnie innego niż jego rozwiązanie. Czy maszyna odkryła coś naprawdę nowego, czy tylko bardzo sprawnie przeszukała przestrzeń, którą człowiek eksplorował zbyt wolno? Pytanie o granicę między obliczeniową siłą a matematyczną intuicją pozostaje otwarte.
To streszczenie zostało przygotowane przy pomocy narzędzi AI na podstawie źródła. Pełną treść
Co o tym myślisz?
Zaloguj się, aby dołączyć do dyskusji.
Zaloguj się do dzis.ai
Komentuj, zachowaj swoją passę, dołącz do dyskusji.
G Kontynuuj z Google