Az Anthropic egyik modellje megoldott egy 18 éves kvantumszámítási sejtést

A PSI egy korai hozzáférésű, ki nem adott Anthropic-modellel, a Fable 5.2-vel oldotta meg az Aaronson-Ambainis sejtést, amely arról szól, hogy a kvantumszámítógépek képesek-e bizonyos problémákat gyorsabban megoldani, mint a klasszikus gépek — írja a TechCrunch. David Turturean, a PSI munkatársa, a nemrégiben végzett MIT-hallgató azt mondta, a megoldás lehet az utolsó tudományos publikációja.

A megoldás negatív eredmény: egy lehetséges kvantumalgoritmikus útvonalat zár le, de nem mindet. Scott Aaronson, aki a sejtést felvetette, azt írta, nem érti teljesen a bizonyítást, de helyesnek hiszi, mert a Lean nevű matematikai kódnyelven automatikusan formalizálták, és a PSI által megosztott kutatócsoport is elmagyarázta. Aaronson szerint a teljes bizonyítás a kvantum-lekérdezési komplexitás utolsó központi nyitott kérdései közül való volt, ezért meglepte, hogy az OpenAI néhány héttel korábbi „Mathocalypse” problémagyűjteményéből hiányzott.

A modell felépítése

A PSI modellje speciális modell-keretrendszerekre és eszközökre épül. Matt Pines vezérigazgató szerint a kutatási rendszernek számos harness-, eszköz-, memóriarendszer- és szimulációs komponensre van szüksége. A cég jelenleg adatközpontok optimalizálásából él: hőt, energiát, vizet és zajt szimulálnak.

Validálás a fizikában

Pines szerint a fizika nehezebb a matematikánál, mert a validáláshoz kísérletek kellenek. Mint mondta, a természet „szavaz” a modelljeinkről. A matematikában és informatikában az AI-megoldások könnyebben ellenőrizhetők kódban kifejezve, míg az élettudományokban és a fizikában ez jóval nehezebb. A PSI jelenleg azt vizsgálja, hogyan lehet a számítási eredményeket a lehető leghatékonyabban kísérletekkel validálni. Hosszabb távon az elméleti fizikai áttöréseket szeretnék technológiává alakítani.

A Lean-formalizálás és a Fable 5.2 szerepe a bizonyítás ellenőrzésében továbbra is a PSI és a kutatócsoport közleményein alapul.

Háttér: a Claude ingyenes csomagja magyarul