説明
❤️ Check out Weights & Biases and sign up for a free demo here: https://wandb.me/papers
📝 The paper is available here:
https://github.com/google-deepmind/alphaproof-nexus-results
https://arxiv.org/html/2605.22763v1
🙏 We would like to thank our generous Patreon supporters who make Two Minute Papers possible:
Adam Bridges, Benji Rabhan, B Shang, Cameron Navor, Charles Ian Norman Venn, Christian Ahlin, Eric T, Fred R, Gordon Child, Juan Benet, Michael Tedder, Owen Skarpness, Richard Sundvall, Ryan Stankye, Shawn Becker, Steef, Taras Bobrovytsky, Tazaur Sagenclaw, Tybie Fitzhugh, Ueli Gallizzi
My research: https://cg.tuwien.ac.at/~zsolnai/
Thumbnail design: https://felicia.hu