AnswersPublished25 sources
Tekoälyjärjestelmä löysi PSI:n mukaan todistuksen vuoden 2008 kvanttikonjektuuriin
PSI ilmoitti 6. marraskuuta 2026, että sen tutkimusjärjestelmä löysi todistuksen vuodesta 2008 avoinna olleeseen Aaronson–Ambainis konjektuuriin.
JulkaisijaMuokattu mallilla GPT-6 LunaKuvat luotu mallilla GPT Image 2
Research answer
Key takeaways
- PSI ilmoitti 6. marraskuuta 2026, että sen tutkimusjärjestelmä löysi todistuksen vuodesta 2008 avoinna olleeseen Aaronson–Ambainis konjektuuriin.
- Konjektuuri koskee sitä, kuinka monta kertaa algoritmin täytyy lukea syötettään useimmissa satunnaisissa tapauksissa.
AI Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: What did physics-focused AI startup Physical Superintelligence (PSI) announce on November 6 about its research system using an undisclosed,. Article summary: On November 6, 2026, Physical Superintelligence (PSI) announced that its internal research system, using a non-public Anthropic model, had found a proof of the Aaronson–Ambainis conjecture, open since 2008, and released . Topic tags: general, general web, user generated. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, charts with fak
Physical Superintelligence (PSI) ilmoitti 6. marraskuuta 2026, että sen sisäinen tutkimusjärjestelmä oli löytänyt todistuksen Aaronson–Ambainis-konjektuuriin. Kvanttilaskennan teoriaan kuuluva ongelma oli ollut avoinna vuodesta 2008. PSI julkaisi artikkelin ja Lean 4 -formalisaation; yhtiön mukaan Lean hyväksyi todistuksen. Tieteellinen aikakauslehti ei ole vielä vertaisarvioinut tulosta. 6
7
13
15
Mitä PSI kertoo järjestelmän tehneen
PSI:n mukaan järjestelmä tuotti täydellisen todistuksen kolmantena päivänä, jona se toimi yhtiön omassa laskentaympäristössä. Sen jälkeen järjestelmällä työstettiin aiheeseen liittyviä ongelmia, ja tulosta parannettiin kahdesti. Julkisista kuvauksista ei kuitenkaan käy ilmi, mitkä parannusten tarkat rajat olivat tai miten järjestelmä päätteli ratkaisun vaihe vaiheelta. 5
11
14
PSI:n teknisen henkilöstön jäsen David Turturean johti työtä ja kehitti tutkimusjärjestelmän. Lähteiden mukaan hän rajasi ongelman, ohjasi järjestelmää valmistelemaan luonnoksen ja tarkisti sen. Hänet on nimetty vastuulliseksi artikkelin oikeellisuudesta. 1
7 PSI:n neuvonantaja Jim Halversonin kerrotaan tarkastaneen todistuksen, ja neuvonantaja Phiala Shanahan kommentoi Lean-formalisaation merkitystä.
34
36
Itse tekoälymallia ei ole nimetty. PSI kuvailee sitä ainoastaan ei-julkiseksi Anthropic-malliksi. Käytettävissä olevat lähteet eivät kerro tarkasti, mikä Anthropic-yhtiön rooli oli tai onko yhtiö itse vahvistanut tuloksen. 6
15
Mitä konjektuuri väittää?
PSI:n julkaiseman todistuksen muotoilussa tarkastellaan reaalikertoimista polynomia, jonka aste on enintään d ja jonka arvot pysyvät välillä nolla–yksi binäärisyötteiden joukossa. Jos polynomin varianssi on vähintään ε, ainakin yhden syötemuuttujan vaikutuksen on oltava merkittävä. PSI:n repositoriossa vaikutukselle annetaan alaraja (ε/d)^7 sekä sitä vahvempi ilmoitettu raja. 41
Yksinkertaistettuna tulos sulkee pois tilanteen, jossa rajattu, matala-asteinen polynomi vaihtelee huomattavasti mutta riippuu vain häviävän vähän jokaisesta yksittäisestä syötemuuttujasta. Konjektuurin yhteys kvanttilaskentaan liittyy kyselykompleksisuuteen eli siihen, kuinka monta kertaa algoritmin täytyy päästä käsiksi syötteeseensä. Raportoidun seurauksen mukaan klassinen algoritmi voi kyllä–ei-tyyppisissä laskentatehtävissä useimmilla tasaisesti satunnaisista syötteistä arvioida kvanttialgoritmin kyllä-vastauksen todennäköisyyttä ilman eksponentiaalisesti suurempaa määrää syötekyselyitä. 4
Tämä ei kuitenkaan tarkoita, että klassiset tietokoneet pystyisivät aina jäljittelemään kvanttitietokoneita tehokkaasti kokonaislaskenta-ajassa. Syötekyselyiden määrää koskeva raja ei yksin kerro, kuinka paljon laskentaa algoritmi tekee kyselyiden välillä. Tulos ei siis myöskään osoita, ettei kvanttitietokoneista voisi olla käytännön hyötyä. 4
16
Mitä Lean-tarkistus kertoo — ja mitä ei
PSI on julkaissut matemaattisen artikkelin ja todistuksen Lean 4 -formalisaation. Lean on todistusavustin, joka tarkistaa, seuraako muodollinen argumentti sen formalisaatioon kirjatuista määritelmistä ja oletuksista. Repositoriossa on myös tietoja julkaisun valmisteluun liittyneistä tarkistuksista. 10
21
41
Lean-tarkistus on merkittävää näyttöä siitä, että formalisoitu todistus on sisäisesti pätevä. Se ei kuitenkaan yksin ratkaise, kuvaako formalisaatio alkuperäistä konjektuuria oikein. Muodollinen tarkistus, matematiikan asiantuntijoiden tulkinta ja tieteellisen lehden vertaisarviointi vastaavat toisiinsa liittyviin mutta erillisiin kysymyksiin. Täsmällisin tapa kuvata tilannetta onkin, että PSI on esittänyt huomattavan todistusväitteen ja julkaissut siitä koneellisesti tarkistettavan formalisaation — mutta kaikki tuloksen arvioinnin vaiheet eivät ole vielä ohi. 15
41
Julkisista yhteenvedoista käyvät ilmi väitetty aikataulu, julkaistu formalisaatio ja Lean-hyväksyntä. Ne eivät kuitenkaan tarjoa riittävästi tietoa sen todentamiseen, miten todistus laajentaa aiempaa työtä tai käyttää determinantteihin perustuvaa syöteasetelmien paritusta. Tällaista teknistä lähestymistapaa ei pidä päätellä pelkästä julkistuksesta.
Mitä vielä pitää selvittää
Todistuksen julkistus ei ratkaise, mikä malli oli kyseessä, kuinka paljon Anthropic osallistui työhön tai ovatko ulkopuoliset tutkijat tehneet todistuksesta yksityiskohtaisen tarkastuksen. Seuraava olennainen askel on, että matemaatikot ja tietojenkäsittelytieteen tutkijat arvioivat sekä formaalia todistusta että sitä, vastaako formalisaatio alkuperäistä konjektuuria. 6
15
Varovainen yhteenveto on kaksiosainen: PSI on esittänyt merkittävän väitteen ja julkaissut koneellisesti tarkistettavan formalisaation. Riippumaton arviointi on silti tärkeää, ennen kuin tulosta voidaan pitää lopullisesti vahvistettuna.
Studio Global AI
Continue your research
This page includes a source-backed answer you can continue inside Studio Global.
People also ask
What is the short answer to "Tekoälyjärjestelmä löysi PSI:n mukaan todistuksen vuoden 2008 kvanttikonjektuuriin"?
PSI ilmoitti 6. marraskuuta 2026, että sen tutkimusjärjestelmä löysi todistuksen vuodesta 2008 avoinna olleeseen Aaronson–Ambainis konjektuuriin.
What are the key points to validate first?
PSI ilmoitti 6. marraskuuta 2026, että sen tutkimusjärjestelmä löysi todistuksen vuodesta 2008 avoinna olleeseen Aaronson–Ambainis konjektuuriin. Konjektuuri koskee sitä, kuinka monta kertaa algoritmin täytyy lukea syötettään useimmissa satunnaisissa tapauksissa.