Polski matematyk z AI rozwiązał 9 legendarnych problemów matematycznych Erdősa

Naukowcy z Google DeepMind opublikowali wyniki projektu AlphaProof Nexus systemu agentów AI, które generują formalne dowody matematyczne w języku Lean i automatycznie je weryfikują.

[Damntrain]

znowu facet? dlaczego kobiety nie są dopuszczane do odkryć w nauce w 2026? gdzie jest równouprawnienie?

[CyberSzczepan]

@Damntrain: to wina: (wpisz cokolwiek i tak to puszczą w TV)

[AlKaczone]

@Damntrain: no przecież masz Kornelie Wieczorek ( ͡° ͜ʖ ͡°)

[mp0011]

Polski matematyk rozwiązał...

Klikam. Zespół 20 osób z jednym Polakiem i to nie gdzieś na czołowym miejscu autorów...

[kocha_to_poczeka]

Mówią, że we wszystkim jest matematyka,
ciekawe czy jest wzór, który odpowie nam kto zabił JFK

[Miszczu_wszystkiego]

@kocha_to_poczeka:
żydzi

[PlanetHell]

@kocha_to_poczeka: M=O*S^2+AD

[armin-van-kutonger]

Kilka dni po tym jak OpenAi opublikowało rozwiązanie problemu Erdősa o odległościach jednostkowych(dałem w powiązane). Firmy AI mierzą sobie siusiaczki rozwiązywaniem problemów matematycznych. Ciekawe.

[werfogd]

@armin-van-kutonger:
Lepsze mierzenie siusiaków matematyką, niż kto opublikuje więcej śmietnikowego "kątętó" na tiktoku.

[IksdeHeheh]

@werfogd: i kolejnych benchmarków które i tak są o kant d--y rozbić.

[Manah]

To tylko nowa odsłona tak zwanego benchmarkmaxxingu.

[osetnik]

@Manah: w sensie?

[Kismeth]

AI rozwiąże każdy realny problem matematyczny, bo matematyka jest spójna i model matematyczny jest w stanie to ogarnąć

[Tokko]

nie ma czegoś takiego o czym piszesz xD

@Kismeth: Oczywiscie ze jest np. CH w ZFC

Są nierozwiązane, a nie nierozwiązywalne - to dwie różne

[sachcio]

@Kismeth: obejrzyj sobie to: https://www.youtube.com/watch?v=HeQX2HjkcNo ja w sumie az tak sie na matmie nie znam, ale ufam w innych madrzejszych ;)

[osetnik]

Polski matematyk

George Tsoukalas, Anton Kovsharov, Sergey Shirobokov czy Anja Surina, to ten "polski matematyk"? A może Moritz Firsching, Gergely Bérczi lub Swarat Chaudhuri?

[0rdynus]

@osetnik aż mnie zaskoczenie bierze, że nie ma tam żadnego **mann albo *stein albo **zweig albo *baum czy inny ***hen.
Chociaż ten Moritz (⌐ ͡■ ͜ʖ ͡■)

[osetnik]

@0rdynus: bo oni wszyscy pracują w googlach. Tam się pracuje a nie zarabia pieniądze.

[Assailant]

No nieźle. Ciekawe kiedy hipoteza Riemanna albo P=NP?

[GlupiLogin]

Jest jakieś potwierdzenie tych dowodów? Czy tyle tylko, że je opublikował i mamy wierzyć na słowo? ( ͡° ͜ʖ ͡°)

[osetnik]

@GlupiLogin: potwierdzeniem jest to, że wygenerował je wielki model językowy. Śmiesz kwestionować tak wielki umysł?

[GlupiLogin]

@osetnik: Nauczyć AI napisać QED na końcu steku bzdur to żadne osiągnięcie ( ͡° ͜ʖ ͡°)

[glass3]

Może mają AI do matematyki, ale strona HTML nie jest dobra.

Trzeba trzymać lewy przycisk by przybliżyć obrazy i nie rozumiem po jakiego są wrzucone kody i prompt jako obrazki.

[xfin]

Może mają AI do matematyki, ale strona HTML nie jest dobra.

Trzeba trzymać lewy przycisk by przybliżyć obrazy i nie rozumiem po jakiego są wrzucone kody i prompt jako obrazki.

@glass3: bo to jest zewnętrzna strona z preprintami artykułów naukowych - to nie ma nic z Google Deepmind, OpenAI czy inną firmą nic wspólnego ¯\(ツ)/¯