[Lupus_Management]

Mój test #chatgpt 4o oraz #deepseek DeepThink R1 #ai #matematyka

TLDR: zadanie z geometrii, na oko liceum klasa matematyczna, może ciekawostka na olimpiadę.

Oba modele poradziły sobie znakomicie, oba potrafiły wszystko wytłumaczyć.

REMIS

Na plus dla GPT - mogłem wrzucić obrazek, do DeepThink musiałem opisać zadanie słownie. GPT szybsze.
Na plus dla DeepSeek - podgląd rozumowania na żywo, każdy jeden krok, każde wyliczenie. DeepSeek tańsze.

Zadanie: Oblicz sumę pól zielonych okręgów.

Proste, jeśli znasz:

twierdzenie o krzywiznach Kartezjusza / Soddy'ego lub wynikające z nich okręgi Forda (nie słyszałem, nawet nie wiedziałem, czego nie wiem i czego szukać);
wzór na sumę szeregu (dzeta Riemanna) - nie wiedziałem / nie pamiętałem, ale wiedziałem czego nie wiem i gdzie szukać.

W rozwiązaniu trzeba przyjąć, że prosta to okrąg o nieskończonym promieniu (o krzywiźnie zero) - ciekawy "myk".

W komentarzach wklejam rozwiązania z obu modeli.

Dla mnie to jest WOW. Że jakiś LLM potrafi takie rzeczy.😲

Ktoś testował z całkowaniem? Może nie trzeba już będzie całkować przez szczęście 😉

Proszę o plusa 🙂

[Lupus_Management]

DeepSeek

[Lupus_Management]

ChatGPT 1

[Lupus_Management]

ChatGpt obrazek 2. (punkty się nie zgadzają, bo w dwóch krokach robiłem, żeby krócej tłumaczył)

[PokemonowyRambo]

@Lupus_Management uwielbiam, nie wiem tylko na ile to jest wyuczony sposób, po "przeczytaniu" publikacji przez model, a na ile faktycznie "generowanie" dowodu. Chciałbym, aby kiedyś ai generowało nową fizykę, czy matematykę, tak jak teraz generuje obrazki śmiesznych kotków (chociaż podobno już są jakieś rezultaty np. w algorytmie mnożenia macierzy - ai ustanowiło rekord po zoptymalizowaniu algorytmu dla dużych macierzy).

[Lupus_Management]

@PokemonowyRambo:

Google nie znajduje rozwiązania w internecie, więc na moje oko to jest policzone (wywnioskowane?). W dodatku potrafi policzyć na dwa sposoby i obronić, kiedy się niesłusznie przyczepiłem o błędy - sam źle policzyłem wynik. I jeszcze mi powiedział, gdzie się pomyliłem, że pewnie pominąłem zero w mianowniku i to dlatego (co było prawdą).

[PokemonowyRambo]

@Lupus_Management nie chodzi mi o ten konkretny problem z kołami ułożonymi w ten sposób, ale kiedyś oglądałem na YT wyprowadzenie dla innego układu kół. Podejrzewam, że jest tego trochę w literaturze, może być też używane w innych dowodach.

[Lupus_Management]

@PokemonowyRambo: rozumiem. ale on to potrafi wyprowadzić z Pitagorasa. Mi się nie chciało XD

[ZdeformowanyKreciRyj]

@Lupus_Management: w klasyczną geometrię zawsze miałem w------e więc nie wiem na ile to standardowa sztuczka ale z doświadczenia mogę powiedzieć, że aktualnie przy matematyce wykraczającej poza 1 rok studiów nie warto korzystać z llmów. Może i 50% odpowiedzi będzie dobrych ale za to w pozostałych 50% dostaniesz jakiegoś zagmatwanego blefa, gdzie więcej czasu stracisz na szukanie błędów niż gdybyś sam coś policzył/rozwiązał

[Gbr]

@Lupus_Management Ziomuś, jak będziesz robił częstsze porównania modeli tych dokładnie czy ogólnie, to zakładaj jakiś tag i wołaj! :)

[mk321]

@Lupus_Management

Google nie znajduje rozwiązania w internecie, więc na moje oko to jest policzone (wywnioskowane?).

Skąd wziąłeś to zadanie? Sam wymyśliłeś?

[Lupus_Management]

@mk321: nie, nie wyświetlił gotowego rozwiązania.

Przeczytaj co wrzuciłem. Każdy krok rozwiązania można do upadłego rozbijać na mniejsze i dopytywać o szczegóły.

[mk321]

@Lupus_Management nie mówię, że dał gotowe rozwiązanie, tylko że miał gotowe rozwiązanie.

To że mając rozwiązanie potrafi o nim opowiadać, to jasne.

To że wpadł od zera na rozwiązanie, to co innego. Według mnie miał rozwiązanie, bo wziąłeś jakieś gotowe, książkowe zadanie. Wymyśl coś swojego, to się przekonamy.

[Lupus_Management]

@mk321:

Mylisz się. To nie jest książkowe zadanie i nie miał gotowego rozwiązania.

Gdybyś przeczytał, co wrzuciłem, to byś wiedział. Matematyka nie jest twoją mocną stroną, prawda?

[ZdeformowanyKreciRyj]

nie miał gotowego rozwiązania

@Lupus_Management: w sumie znalazłem w internecie kilka różnych (+/- te które wyżej wrzuciłeś + jakieś bardziej elementarne) dokładnie tego zadania więc duża szansa, że miał. Zadanko jest z jakiegoś amca ale konkretnego numeru nie chce mi się szukać