AI odkrył ukryte związki w historycznych wzorach liczby π
Zespół badaczy z Technionu wykorzystał sztuczną inteligencję oraz konserwatywne pole macierzowe (CMF) do analizy 385 unikalnych wzorów na liczbę π. Okazało się, że 43% z nich pochodzi z jednego podstawowego wzoru, 51% tworzy szersze klastery, a 6% pozostaje niepołączonych. To łączy równania od Archimedesa po współczesne generacje.
Metoda wykrywa równoważność wzorów poprzez równoległe trasy w sieci CMF, gdzie końcowy punkt określa wartość niezależnie od przebiegu.
Kontekst historyczny wzorów π
Archimedes w III wieku p.n.e. zastosował metodę wielokątów wpisanych i opisanych (96-kąty), ograniczając π zakresem 3,140845… – 3,142857…. To przybliżenie dominowało przez 1600 lat.
W XIV wieku Madhava z Sangamagramy wprowadził nieskończony szereg, choć z powolną zbieżnością. Euler w XVIII wieku poprawił szybkość zbieżności. Ramanujan na początku XX wieku opracował bardzo efektywne wzory, które są aktualne do dziś.
Tysiące wzorów zgromadzono w ciągu 2000 lat, plus nieskończone generacje algorytmów. Dotychczas brakowało ich połączeń.
Metodologia badań
Badacze zebrali zestaw danych z 455 050 preprintów arXiv w ciągu 6 tygodni. GPT-4o i specjalistyczne algorytmy wyodrębnili 385 unikalnych wzorów π (10% od "Maszyny Ramanujana" z 2019 roku).
Wzory sprowadzono do postaci szeregów nieskończonych. CMF (stworzony przez grupę w 2023 roku) przedstawił je jako trasy w siatce grawitacyjnej:
- Konserwatywność: różnica energii (lub wartości) zależy tylko od punktów końcowych.
- Równoważność: równoległe trasy = przekształcenie jednego wzoru w drugi.
Algorytmy umieściły wzory w CMF, wykryły klastry i formalnie udowodniły przynależność.
Kluczowe etapy przetwarzania danych:
- Parsowanie arXiv (skrypt Tomaera Raz).
- Wyodrębnianie i usuwanie duplikatów równań (GPT-4o + algorytmy).
- Spójność w postaci szeregów.
- Wbudowanie do CMF i klasteryzacja.
- Dowód równoważności.
Konserwatywne pole macierzowe (CMF)
CMF to uniwersalne narzędzie do hierarchii stałych. Zastosowanie do π wykazało podstawowy wzór jako "przodka wspólnego".
Przykład analogii: pole grawitacyjne na siatce. Trasy od A do B dają tę samą pracę niezależnie od trajektorii.
Potencjał: dowody niewymierności, hipoteza Riemanna. Wszystkie wygenerowane z CMF równania zbiegają się do π.
Otwarte pytania:
- Czy rozszerzone CMF obejmie 100% wzorów?
- Czy wszystkie równania CMF dają π?
Oceny ekspertów
David Bailey (Lawrence Berkeley): porównał to do automatycznej budowy tablicy okresowej z rozproszonych elementów.
George Andrews (Penn State): "Poważna matematyka z perspektywą odkryć".
Co jest ważne
- 43% wzorów π to bezpośrednie pochodne jednego podstawowego w CMF.
- Metoda łączy Archimedesa, Eulera, Ramanujana.
- CMF można stosować do innych stałych i hipotez.
- Zestaw danych: 385 wzorów z 455k preprintów arXiv.
- Perspektywa: pełna kategoryzacja i nowe dowody.
— Editorial Team
Brak komentarzy.