Bolzano、問題別の人間の指示なしに約200件の未解決問題を解決したとする論文

約3,800件の未解決問題へ指示なしで適用

論文によると、Bolzanoは並列に動く証明担当エージェント、検証担当エージェント、人間が読める研究状態を用いるシステムである。
著者らは、4組の論文から抽出した約3,800件の未解決問題に適用したと説明している。
STOC 2026に採択された論文を用いた実験では、論文内で提起された4件の問いに答え、その論文の著者らが確認したとしている。

論文では、専門家が選んだ問題にBolzanoを手作業で用いた初期段階で、分野の専門家が証明を確認した8件の結果が得られたとしている。

著者らは、問題ごとの人間の指示なしにBolzanoを約3,800件の未解決問題に適用し、約200件を解決したと述べている。

この研究は、専門家が選んだ問題を手作業で導く証明探索から、問題別の指示を与えない未解決問題の広範な探索へ進んだとするものだ。
示された成果は論文以外では未検証である。