Venue. Nature

Nature · Journal · Springer Science and Business Media LLC

2025

Mathematicians put AI model AlphaProof to the test ringer-2025-mathematiciansNature · 2025
DOI
nature venue entries/venues/nature.hel