Az AI eddigi legnagyobb dobása (UPDATE)
Még kicsit kába vagyok, elnézést kérek ha zavarosabb leszek a szokásosnál.
Az első igazán érdekes dolog, amivel matematikusi pályámon elkezdtem foglalkozni a szofikus csoport voltak. Amikor az első cikkünk megjelent ez még teljesen ismeretlen terület volt, Misha Gromov egyik cikkében ott volt a definíció meglehetősen furcsán, initially subamenable groups néven, és Benji Weissnek volt egy rövid cikke, amelyben elmagyarázta, hogy ez miért lehet érdekes. A mienk lett a harmadik cikk.
A legfontosabb kérdés az volt, hogy létezik-e olyan csoport, amelyik nemszofikus. Elég hamar úgy döntöttem, hogy ezzel nem fogok időt tölteni, mert reménytelenül nehéz. Amit sikerült belátnunk, de az nem nehéz, csak különös, hogy minden szofikus csoport von Neumann algebrája beágyazható a Type II1 algebra ultraszorzatába. Az Olvasó most azt gondolja, hogy jézusmária, és nincs igaza. A Covid alatt derült ki, hogy egyáltalán léteznek nem beágyazható von Neumann algebrák. És a módszerből nemrég kiszasszerolták, hogy léteznek nem szofikus graphingok (tehát olyan graphingok, amelyek nem gráflimeszek).
És ma felhívtak azzal, hogy az OpenAI talált egy nemszofikus csoportot, az egész kilenc oldal. Én ezt el fogom olvasni, pár nap lesz szerintem. Számomra az AI mától valami mást jelent. És higgye el a kedves Olvasó, néhány hónap múlva az ön számára is valami mást fog jelenteni.
P.S Van egy zseniális rényis kollégám, akinek volt azért egy ötlete egy ilyen csoport konstrukciójára, és az AI rájött, hogy tényleg meg is lehet ezen az úton csinálni. Na, ennyi, felteszem, nem ez lesz a legnépszerűbb Vincent-poszt, de azt hiszem, ez lesz a legfontosabb.
UPDATE: Itt az OpenAI bejelentése. Tíz ismert sejtést oldottak meg az OpenAI Sol Pro-val, kétezer dollár lehetett a költsége az egésznek. A terv az, hogy jövőre nagyon sok matematikus kapna hozzáférést a belső modellekhez.
<div class='sharedaddy sd-block sd-like jetpack-likes-widget-wrapper jetpack-likes-widget-unloaded' id='like-post-wrapper-192691293-16532964-6abdbb260b3a7' data-src='https://widgets.wp.com/likes/?ver=14.1#blog_id=192691293&post_id=16532964&origin=www.orulunkvincent.hu&obj_id=192691293-16532964-6abdbb260b3a7&n=1' data-name='like-post-frame-192691293-16532964-6abdbb260b3a7' data-title='Like or Reblog'><h3 class="sd-title">Like this:</h3><div class='likes-widget-placeholder post-likes-widget-placeholder' style='height: 55px;'><span class='button'><span>Like</span></span> <span class="loading">Loading...</span></div><span class='sd-text-color'></span><a class='sd-link-color'></a></div>
Elképzeltem amit jótündér javasolt, a 27 éves fiatalembert, aki szembesül éppen. Nem tűnik akkora tragédiának, majd elképzel magának egy másik életet és megpróbálja megvalósítani. Vagyunk azzal úgy néhányan, hogy 3-5 évente módosítani kell az egész utat, mert amit tudsz, az senkinek sem kell. Ellenben 50 és a halál közt nyilván sokkal félelmetesebb lehet a megkérdőjeleződés.
(Nekem mondjuk a 24 éves legkisebb, négyes számú gyermekem pont informatikus. Úgy nincs munkája, hogy még soha nem is volt. Igen sokba került a mindenféle skillje, pláne annak a fényében, hogy kiderült, már nem sokat érnek. Két éve még itt Spanyolországban egy junior informatikusi álláshirdetésre 1500-2000 jelentkező volt, ma már ennek a többszöröse, junior helyeket szinte nem is hírdetnek. 3-5 év gyakorlattal keresnek általában. Próbáltunk magyar helyeket is nézni, ott nagyobb lenne az esély, de ott meg elvárják, hogy egy pesti irodában üljön, az meg ugye, lehetetlen.
Még csak imv-t (ingreso mínimo vital) sem kérhet, mert velünk lakik. Vannak egyéb képességei is, jól rajzol és főz , nyitva van a szakács és tetováló pálya, azt még nehezebb ai-val és robotokkal lefedni, de ami késik… )
megint csak plagizált.
„Mathematicians have long wondered whether all groups have a property called “soficity,” the capacity to be faithfully approximated in a particularly way by other, simpler groups. The OpenAI paper establishes at least one group that lacks this property.
The discovery stunned Francesco Fournier-Facio, a mathematician at the University of Cambridge, who studies group theory—at least until he “engaged with this breakthrough as I would if a human had written it,” he says. The result, he and some of his colleagues found, wasn’t as novel as it first appeared. Like a number of recent AI breakthroughs, it pasted together ideas from the mathematical literature to build a new theorem. Once again, the LLM’s trick is its superhuman patience for assembling puzzle pieces, not the ability to make some profound intellectual leap.”
https://www.scientificamerican.com/article/openais-latest-math-breakthroughs-commit-research-misconduct-experts-say/
@elemes: én nagyon remélem, hogy francesco-nak, akinek több szövegét olvastam az elmúlt napokban (ő nem egyszerűen csoportelmélész, kifejezetten ért ehhez, és azonnal észrevette, hogy nincs szükség túl bonyolult konstrukcióra, ha megvan ez a bizonyos Proposition 2.3).
Proposition 2.3 erősen használja Gábor és Andreas tételeit (de Theorem2 és Theorem3 néven idézik őket, szóval közel sem plagizáció), de azért elég új. arról van szó, hogy ki lehet kényszeríteni a szoficitással egy bizonyos csoport LEF tulajdonságát és azért egy ilyen T tulajdonságú nem reziduálisan-véges csoport általában nem szeret LEF lenni. ez a konfiguráció az újdonság. én mindenkivel elolvastatnám ezt, mert végtelenül sajnálom, hogy a kiváló kollégáim depresszióba esnek, amikor a világnak közel sincs vége (remélhetőleg). kurva okos az Astra, de nem tud ontológiát gyártani, hiszen generatív AI és meg lehet verni theoryban. hát akkor lehet jól megverni, ha használjuk hozzá. nem, nem veszélytelen helyzet, de az élet most adott egy nagy adag citromot, fel kell készülnünk arra, hogy nagyban fogunk limonádét gyártani.
@jotunder:](#comment-355524) Ezzel is mélységesen egyetértek. (Nem kerül semmibe, egy szót sem értettem belőle.)
@vattablz: Nekem azért vannak fenntartásaim. Már az előzővel szemben is voltak amivel mélységesen egyetértettél. (Mondjuk én se értettem egy szót se, már abból se)
Különben is, kit érdekel, hogy egy ilyen T tulajdonságú nem reziduálisan-véges csoport általában nem szeret LEF lenni. Szereti, vagy se, ez van. Szokja meg.