Acknowledgment We would like to thank the International Mathematics Olympiad organization for their support. AlphaProof’s development was led by Thomas Hubert, Rishi Mehta, and Laurent Sartran. AlphaGeometry 2 and natural language inference efforts were led by Thang Luong. AlphaProof features key contributions from Hussain Masoom, Aja Huang, Miklós Z. Horváth, Tom Zahavy, Vivek Veeriah, Eric [...]
The post AI achieves silver medal level in problem solving at International Mathematics Olympiad first appeared on Versa AI hub.
from Blog - Versa AI hub https://versaaihub.com/ai-achieves-silver-medal-level-in-problem-solving-at-international-mathematics-olympiad/?utm_source=rss&utm_medium=rss&utm_campaign=ai-achieves-silver-medal-level-in-problem-solving-at-international-mathematics-olympiad
via IFTTT
No comments:
Post a Comment