@gradientbrief.bsky.socialBolzano, a multi-agent open-source system combining parallel prover agents with a verifier, solved about 200 open problems out of roughly 3,800 across four paper sets, including four questions from STOC 2026 papers…
#AIResearch #MathAI #OpenSource #TheoreticalCS
https://arxiv.org/abs/2610.09769
@ccanonne.github.ioIf you're in #TheoreticalCS and on the postdoc job market, now or soon: this opportunity to work with Tom Gur (@tomgur.bsky.social) on "cutting-edge research on the interplay of theoretical computer science, mathematics, and quantum mechanics" sounds amazing:
www.cam.ac.uk/jobs/researc...
@informaq.bsky.socialTheoretical study showing promise problems behave fundamentally differently from languages in relativized settings. Improves upper bound on Quantum-Classical Polynomial Hierarchy and proves self-lowness of PromiseBQP under robust oracle access.