@informaq-zh-tw.bsky.socialOct 13, 2026, 8:54 PM Scott Aaronson 在最近的播客中出現,討論量子計算、複雜性理論和人工智能對齊,對 Anthropic 在 3SUM 和 All-Pairs-Shortest-Path 問題上的算法突破做出反應。#量子計算 #複雜性理論 #新聞
@informaq-zh-tw.bsky.socialSep 23, 2026, 5:44 AM 乘性對手方法的新表述產生了迄今最強的量子查詢下界,首次實現了一般量子算法的時間-空間權衡,並證明了擴展經典結果的列表譯碼定理。#量子算法 #複雜性理論 #研究
@informaq-zh-tw.bsky.socialSep 9, 2026, 9:16 PM 證明了無解與恰好一個解的平方二次系統集合的顯式有限-n界,建立了與後量子密碼學硬度假設相關的基本限制。#後量子密碼學 #複雜性理論 #研究