Bitget App
Trade smarter
Kup kryptoRynkiHandelFuturesEarnAICentrumWięcej
Czy AI znowu zrewolucjonizuje matematykę? Terence Tao pilnie zabiera głos: przestańcie tworzyć kult jednostki!

Czy AI znowu zrewolucjonizuje matematykę? Terence Tao pilnie zabiera głos: przestańcie tworzyć kult jednostki!

新智元新智元2026/01/11 09:22
Pokaż oryginał
Przez:新智元

Czy AI znowu zrewolucjonizuje matematykę? Terence Tao pilnie zabiera głos: przestańcie tworzyć kult jednostki! image 0


  Nowiny Nowej Inteligencji  

Redaktor: Nosorożec
【Przegląd Nowej Inteligencji】Kiedy AIsamodzielnie rozwiązuje trudne problemy i staje się legendą, Terence Tao publikuje w nocy post demaskujący: nie wyciągajcie pochopnych wniosków, pojedynczy przypadek nie oznacza, że AI posiada zaawansowane umiejętności matematyczne. Podkreśla, że AI jest bardziej jak narzędzie – świetne w wyszukiwaniu, przeredagowywaniu, formalnej weryfikacji i stosowaniu schematów, ale prawdziwa dusza matematyki wciąż należy do ludzi.

Możliwe, że trafiłeś już na takie sensacyjne nagłówki: „AI całkowicie samodzielnie rozwiązała nierozwiązany od pięćdziesięciu lat problem matematyczny! Matematycy są zbędni!”

Dla tych, którzy pragną być świadkami narodzin AGI, to niewątpliwie kolejny zastrzyk motywacji. A dla matematyków, którzy strzegą godności ludzkiego umysłu, to jakby ostatnia twierdza upadała.

Wraz ze wzrostem wpływu tych artykułów, w końcu ktoś postanowił ostudzić nastroje.

Co ciekawe, tą osobą jest jeden z najbardziej aktywnych promotorów badań matematycznych z AI – Terence Tao.

Tao nie neguje zdolności AI w zakresie badań matematycznych, po prostu chce przywrócić dyskusję do rzeczywistości.

Dziś nad ranem Tao napisał, żezdolności AI do rozwiązywania problemów matematycznych są przesadnie wyolbrzymiane poprzez wyciąganie ich z kontekstu.

Czy AI znowu zrewolucjonizuje matematykę? Terence Tao pilnie zabiera głos: przestańcie tworzyć kult jednostki! image 1

Na stronie GitHub projektu Erdős Problems zamieścił on bardziej systematyczne wyjaśnienia i ostrzeżenia.

Podkreśla, że interpretacje sukcesów AI w rozwiązywaniu problemów Erdősa są często przesadne,szczególnie gdy pojedynczy sukces traktuje się jako dowód na „zaawansowane umiejętności matematyczne AI”.

Co dokładnie Tao wyjaśnia? Do jakiego stopnia AI radzi sobie z problemami Erdősa?


Czy AI znowu zrewolucjonizuje matematykę? Terence Tao pilnie zabiera głos: przestańcie tworzyć kult jednostki! image 2
Nocne obalanie mitów przez Tao

Przede wszystkim, Tao wcale nie neguje postępów AI w matematyce.

Przeciwnie, odrzuca on przede wszystkim uproszczoną narrację:zamianę „AI potrafi wygenerować weryfikowalne wyniki w niektórych problemach” na „AI już umie uprawiać matematykę, innowować i zastępować ludzi”.

Na zaktualizowanej stronie „AI contributions to Erdős problems” podkreśla, że patrząc na osiągnięcia AI w problemach Erdősa, nie można skupiać się wyłącznie na liczbie rozwiązanych zadań, lecz należy zwrócić szczególną uwagę na poniższe kwestie:

  • Poziom trudności zadań jest bardzo zróżnicowany, „liczba rozwiązań” nie jest miernikiem:Problemy Erdősa mają bardzo szeroki zakres trudności – od uznanych za bardzo trudne, po liczne zadania „z długiego ogona”, rzadko badane i przez nikogo dokładniej nieprzeglądane. Te ostatnie to często „nisko wiszące owoce”, w których AI może się wykazać. Problem polega na tym, że trudno bez eksperckiej wiedzy ocenić, do której kategorii należy dane zadanie. Porównywanie „kto rozwiązał więcej” nie jest więc porównaniem na tym samym poziomie trudności.

  • Wielu zadań oznaczonych jako „nierozwiązane” nie jest takimi naprawdę:Na stronie brakuje systematycznych przeglądów literatury, więc etykieta „Open” (nierozwiązane) jest często tymczasowa. Gdy AI rozwiązuje zadanie, okazuje się –że ktoś już to zrobił w literaturze(być może inną metodą). To sprawia, że narracja o „pierwszym rozwiązaniu przez AI” łatwo się sypie.

  • Większość sukcesów AI widzimy, a porażki są ukryte:Strona nie rejestruje wszystkich prób AI, szczególnie tych nieudanych.

  • Niektóre zadania mają nieprecyzyjne sformułowania i mogą być „oszukane” przez AI:W rzadkich przypadkach zadania Erdősa mogą być nieścisłe lub błędne – aby zrozumieć pierwotny sens, trzeba polegać na kontekście i doświadczeniu. Ten etap jest subiektywny.

  • Wartość matematyczna to nie tylko odpowiedź, ale „łączenie sieci wiedzy”:Matematyka to nie tylko udowodnienie twierdzenia, ale też inspiracja dla innych dziedzin, powiązania z istniejącą teorią, czy metody do przeniesienia. Człowiek pisząc dowód, naturalnie dodaje takie konteksty: tło, motywację, porównanie z literaturą, granice metody. Jednakdowody prowadzone przez AIczęsto tego nie mają, więc ich wartość użytkowa dla społeczności matematycznej jest niższa.

  • Rozwiązanie rzadkiego zadania nie oznacza publikacji w topowym czasopiśmie:Nie każde rozwiązanie nierozwiązanego problemu nadaje się do publikacji. Zwłaszcza, jeśli zadanie jest niszowe, a metoda to drobna modyfikacja znanych schematów, to trudno oczekiwać publikacji w dobrym czasopiśmie.

  • Formalizacja dowodów AI w Lean zwiększa wiarygodność, ale nie wyklucza oszustw:Na przykład: formalizacja ukradkiem wprowadza dodatkowe aksjomaty, problem sformułowany błędnie, lub wykorzystanie „zakamarków” biblioteki matematycznej/gramatyki. Szczególnie, gdy dowód jest podejrzanie krótki lub wyjątkowo rozwlekły – należy zachować ostrożność.

Mówiąc prościej, Tao uważa, że postępy AI w problemach Erdősa są warte uwagi,ale naprawdę należy patrzeć na poziom trudności zadań, weryfikację literatury, odtworzenie sensu, integrację wiedzy i solidność łańcucha weryfikacyjnego.

To, że AI osiąga wyniki, nie oznacza, że posiada pełne umiejętności matematyczne.

Czy AI znowu zrewolucjonizuje matematykę? Terence Tao pilnie zabiera głos: przestańcie tworzyć kult jednostki! image 3


Czy AI znowu zrewolucjonizuje matematykę? Terence Tao pilnie zabiera głos: przestańcie tworzyć kult jednostki! image 4
AI nie jest matematykiem
lecz ogniwem w łańcuchu narzędzi

A więc co AI faktycznie robi w rzeczywistości?

Na stronie GitHub Tao dzieli wkład AI na kilka kategorii.

AI generuje pełne (lub częściowe) rozwiązania, AI czasem myśli, że problem jest nierozwiązany, a okazuje się, że już był, AI pomaga w przeszukiwaniu literatury, AI formalizuje dowody w Lean, AI pomaga ludziom przepisywać istniejące argumentacje itd.

Na przykład, na stronie wymieniono problem #728 który 6 stycznia 2026 został w pełni rozwiązany przez Aristotle i ChatGPT 5.2 Pro (Lean potwierdził poprawność),problem #729 również został w pełni rozwiązany (Lean potwierdził poprawność) w dniach 8-10 stycznia.

Oznacza to, że w niektórych typach zadań, na pewnym poziomie trudności, AI rzeczywiście potrafi stworzyć „działającą strukturę dowodową”, a nawet wejść w proces formalnej weryfikacji.

Czy AI znowu zrewolucjonizuje matematykę? Terence Tao pilnie zabiera głos: przestańcie tworzyć kult jednostki! image 5

Niektóre problemy zostały całkowicie rozwiązane przez AI, lecz później okazało się, że ktoś już je wcześniej rozwiązał.

Czy AI znowu zrewolucjonizuje matematykę? Terence Tao pilnie zabiera głos: przestańcie tworzyć kult jednostki! image 6

Tao specjalnie wyróżnił kategorię „AI-powered literature review (przegląd literatury napędzany przez AI)”: AI wykorzystywane jest do sprawdzania, czy istnieją już wyniki, oraz czy status Open jest właściwy.

Czy AI znowu zrewolucjonizuje matematykę? Terence Tao pilnie zabiera głos: przestańcie tworzyć kult jednostki! image 7


Czy AI znowu zrewolucjonizuje matematykę? Terence Tao pilnie zabiera głos: przestańcie tworzyć kult jednostki! image 8
Człowiek wciąż jest głównym bohaterem

Opieranie się na pojedynczych przypadkach, by stwierdzić, że „AI jest niepokonane w matematyce”, jest oczywiście jednostronne.

Ale z drugiej strony, twierdzenie, że AI nie potrafi robić matematyki, to także pominięcie jej prawdziwej wartości.

Dokładniej rzecz ujmując, AI uczy się wykonywać „fizyczną” i „inżynieryjną” stronę matematyki: stosuje schematy, łata luki, formalizuje, pisze i poprawia teksty, przeszukuje literaturę.

A prawdziwa „dusza” matematyki – stawianie głębokich pytań, tworzenie nowych pojęć, osadzanie wyniku w sieci wiedzy – nadal silnie zależy od ludzi.

I na tym polega główny przekaz nocnego posta Tao.

Być może przyszły matematyk nie będzie już samotnym myślicielem, lecz stanie się dowódcą armii krzemowej inteligencji: na szerokich polach matematyki to człowiek wyznacza kierunek, a AI toruje drogę i buduje mosty.

Nie mitologizuj AI przez wyciąganie rzeczy z kontekstu, ale nie lekceważ tej siły, która przeobraża sposoby odkrywania prawdy.

Materiały źródłowe:

0
0

Zastrzeżenie: Treść tego artykułu odzwierciedla wyłącznie opinię autora i nie reprezentuje platformy w żadnym charakterze. Niniejszy artykuł nie ma służyć jako punkt odniesienia przy podejmowaniu decyzji inwestycyjnych.

PoolX: Stakuj, aby zarabiać
Nawet ponad 10% APR. Zarabiaj więcej, stakując więcej.
Stakuj teraz!

Może Ci się również spodobać

Dyrektor generalny firmy Intel: CPU zaspokaja tylko 50% zapotrzebowania, produkcja 14A ruszy w pierwszym kwartale przyszłego roku, nowa architektura może obniżyć zużycie energii do poziomu 1/15 w porównaniu z GPU

Dyrektor generalny Intel, Chen Lifu, stwierdził, że era inteligentnych agentów AI spowodowała gwałtowny wzrost zapotrzebowania na CPU, a obecnie Intel jest w stanie zaspokoić jedynie około 50% popytu klientów, przez co wielu dyrektorów technologicznych gigantów dzwoniło, aby zarezerwować dostawy. Jeśli chodzi o proces technologiczny, węzeł 18A jest już produkowany masowo, a węzeł 14A ma zostać uruchomiony w pierwszym kwartale przyszłego roku. Poprzez udostępnienie danych fabrycznych, wskaźnik uzysku zwiększa się o około 7% rocznie. Ponadto, Chen rozwija obszar obliczeń neuroinspirowanych, aby stawić czoła wyzwaniom związanym ze zużyciem energii, a także przewiduje, że komputery kwantowe wywrą istotny wpływ na przemysł w ciągu 3 do 5 lat.

华尔街见闻2026/09/16 02:31

Stany Zjednoczone naciskają Japonię na zwiększenie wydatków na obronność, Tokio rozważa cel 3,5% PKB, rynek obligacji i jen jako pierwsze odczuwają presję.

Pod presją ze strony Stanów Zjednoczonych, Japonia rozważa ustanowienie nowego średnioterminowego celu wydatków obronnych, planując zwiększyć wydatki na obronność do 3,5% PKB, tak aby dorównać poziomowi NATO i innym amerykańskim sojusznikom.

智通财经2026/09/16 02:11
Stany Zjednoczone naciskają Japonię na zwiększenie wydatków na obronność, Tokio rozważa cel 3,5% PKB, rynek obligacji i jen jako pierwsze odczuwają presję.

Logika "tanich finansowań" jena ulega zmianie! Kapitał ponownie reorganizuje "Carry Trade". Frank szwajcarski i korona szwedzka rywalizują o miejsce waluty finansującej.

Atrakcyjność finansowania w jenach słabnie, a traderzy stosujący strategie carry trade w ostatnim czasie zaczęli zwracać uwagę na frank i koronę. W związku z gwałtownym wzrostem kursu jena, który przestał być wiarygodną opcją inwestycyjną, waluty takie jak szwedzka korona i szwajcarski frank stają się głównym wyborem dla finansowania carry trade.

智通财经2026/09/16 01:56
Logika "tanich finansowań" jena ulega zmianie! Kapitał ponownie reorganizuje "Carry Trade". Frank szwajcarski i korona szwedzka rywalizują o miejsce waluty finansującej.