AI na Matatizo Magumu ya Ulimwengu · Fizikia ya kwanta na kompyuta za kwanta · arXiv · 2026-10-19
Kutumia muundo unaoweza kuthibitishwa katika saketi za kwantamu ili kupata ukamilishaji bora zaidi kwa kutumia AI ya kiwakala
Kichwa asilia: Leveraging verifiable structure in quantum circuits to find more efficient compilations with agentic AI
Karatasi hii inapendekeza kutumia mawakala wa AI kukusanya saketi za kwanta kwa ufanisi zaidi pale ambapo taratibu ndogo zinazosababisha kikwazo zina muundo unaoweza kuthibitishwa kwa njia ya kawaida, jambo linaloruhusu usanisi wa makadirio kuthibitishwa kwa fuzz testing. Inajadili matumizi matatu: kukokotoa 1/√x kwa ajili ya uigaji wa opereta ya Coulomb katika uundaji wa modeli ya kinu cha muungano (fusion), kusimbua misimbo ya Reed-Solomon katika decoded quantum interferometry, na majedwali ya kutafuta ya kwanta yenye mizunguko ya Givens katika uigaji wa kemia. Utekelezaji wa rejea unawasilishwa kama msingi wa shindano lililopangwa la Kaggle kuhusu uboreshaji wa ukusanyaji unaoendeshwa na AI.