AI Navigate
インサイト最新記事AI大全カオスマップ

Bolzano: Case Studies in LLM-Assisted Mathematical Research

arXiv cs.CL / 4/21/2026

📰 NewsModels & Research
Read original →
共有:

Key Points

  • The paper reports new research results on six mathematics and theoretical computer science problems generated with assistance from Bolzano, an open-source multi-agent LLM system.
  • Bolzano works by coordinating rounds of interaction between parallel theorem-prover agents and a verifier agent, while carrying a persistent knowledge base across rounds.
  • Using the significance-autonomy taxonomy, the authors classify four of the six results as publishable research and find that three were produced essentially autonomously by the system.
  • The findings are presented as evidence that LLMs can make meaningful contributions to mathematical research, in line with other recent reports.

Abstract

We report new results on six problems in mathematics and theoretical computer science, produced with the assistance of Bolzano, an open-source multi-agent LLM system. Bolzano orchestrates rounds of interaction between parallel prover agents and a verifier agent while maintaining a persistent knowledge base that is carried across rounds. Classified using the significance-autonomy taxonomy of Feng et al., four of the six results reach the level of publishable research, and three of the six were produced essentially autonomously by Bolzano. Our results provide evidence that LLMs can contribute meaningfully to mathematical research, complementing recent reports by Bubeck et al., Woodruff et al., and others.

関連おすすめサービス

※当サイトはアフィリエイト広告を利用しています
🎧

Notta搭載AI議事録イヤホン ZENCHORD1

AI時代の仕事術。Notta搭載で会議の議事録を自動生成するスマートイヤホン。

🎙️

AI搭載ボイスレコーダー Plaud

世界100万人が愛用。AIで文字起こし・要約を自動化するボイスレコーダー。

🖼️

画像高画質化AIツール Aiarty Image Enhancer

AIで画像を高画質化。写真・イラストを簡単にアップスケール。