Zulip Chat Archive

Stream: Big Proof 2025

Topic: AlphaProof

Notification Bot (Jun 09 2025 at 08:47):

Public channel created by Patrick Massot. Description:

Information and discussing about https://www.newton.ac.uk/event/bprw03/

Kelly Davis (Jun 09 2025 at 15:29):

Is it possible for someone on-site to ask the AlphaProof speaker...

  1. How did the policy preform relative to the policy “wrapped” in MCTS?
  2. Are there current AlphaProof results on “traditional” benchmarks like miniF2F?

Notification Bot (Jun 09 2025 at 16:08):

This topic was moved here from #Big Proof 2025 > channel events by Kelly Davis.

Last updated: Dec 20 2025 at 21:32 UTC