Společnost Physical Superintelligence 6. listopadu oznámila důkaz Aaronsonovy-Ambainisovy domněnky z roku 2008, významného otevřeného problému teorie kvantových výpočtů. Podle Root.cz k důkazu pomohla AI, The Neuron zmiňuje i další hádanku vyřešenou AI od Anthropicu.
Aaronsonovu-Ambainisovu domněnku formulovali v roce 2008 a patřila mezi významné otevřené problémy kvantových výpočtů. Physical Superintelligence oznámila její důkaz 6. listopadu 2026.
Import AI zmiňuje startup pro AI vědu, který převedl kvantový problém. Dosavadní příběhy ukazují, že spojení AI s ověřovacím softwarem Lean umožňuje řešit dlouholeté matematické úlohy během dní.
Odborné ověření důkazu zatím podklady nepopisují.
Proč by vás to mělo zajímat
AI se posouvá od psaní textů k řešení vědeckých problémů, což zrychlí výzkum v oborech blízkých průmyslu. Berte oznámení jako zatím nezávisle neověřené a počkejte na odbornou kontrolu.
