title

Teaching AI advanced mathematical reasoning

charset

utf-8

referrer

default

description

Meta AI has built an AI system that has solved 10 International Math Olympiad problems and beats the SOTA by 20 percent on the MiniF2F benchmark.

viewport

width=device-width, initial-scale=1

og:image

https://web.archive.org/web/20230323043110im_/https://scontent-iad3-1.xx.fbcdn.net/v/t39.2365-6/306517372_4993511760751473_6755091642444493298_n.png?_nc_cat=104&ccb=1-7&_nc_sid=ad8a9d&_nc_ohc=t2bOMXup3lIAX94cgb8&_nc_ht=scontent-iad3-1.xx&oh=00_AfAryGJLKJUYIhqihp3v3EiC0MuGjJJhdvcoPNxX1B1jDA&oe=6421102C

twitter:card

summary

canonical

https://web.archive.org/web/20230323043110/https://ai.facebook.com/blog/ai-math-theorem-proving/

preload

https://web.archive.org/web/20230323043110/https://static.xx.fbcdn.net/rsrc.php/v3/yG/l/0,cross/XkHwTQuwprp.css?_nc_x=Ij3Wp8lg5Kz

preload

https://web.archive.org/web/20230323043110/https://static.xx.fbcdn.net/rsrc.php/v3/yA/l/0,cross/GrvtJE3Ls_C.css?_nc_x=Ij3Wp8lg5Kz

preload

https://web.archive.org/web/20230323043110/https://static.xx.fbcdn.net/rsrc.php/v3/yU/l/0,cross/oby7JQ9EDbX.css?_nc_x=Ij3Wp8lg5Kz

preload

https://web.archive.org/web/20230323043110/https://static.xx.fbcdn.net/rsrc.php/v3/yV/l/0,cross/KxGJ10xTR_J.css?_nc_x=Ij3Wp8lg5Kz