Research
Published
12 September 2024
…
Research
Published
5 September 2024
…
Impact
Published
14 June 2023
…
It’s all about using our technology and research to help enrich people’s lives. Like YouTube — and its mission to give everyone a voice and show them the world. Our work with YouTube’s product and engineering teams has helped optimize decision-making processes, increase safety and engagement, and enhance the experience for all kinds of users.…
Research
Published
22 August 2024
…
Technologies
Published
31 July 2024
…
Company
Published
5 August 2024
…
Responsibility & Safety
Published
2 August 2024
…
Acknowledgements We thank the International Mathematical Olympiad organization for their support. AlphaProof development was led by Thomas Hubert, Rishi Mehta and Laurent Sartran; AlphaGeometry 2 and natural language reasoning efforts were led by Thang Luong. AlphaProof was developed with key contributions from Hussain Masoom, Aja Huang, Miklós Z. Horváth, Tom Zahavy, Vivek Veeriah, Eric Wieser,…
Research
Published
19 July 2024
…