search

facebookresearch / miniF2F

An updated version of miniF2F with lots of fixes and informal statements / solutions.
MIT License
69 stars 18 forks source link

Wrong informal statement #5

Closed Huyongyi-cpu closed 2 years ago

Huyongyi-cpu commented 2 years ago

I find that there is a obviously wrong informal statement need to be fixed in /miniF2F/informal/valid/amc12a_2011_p18.json.

Current informal statement is like this: "informal_statement": "$\n\textbf{(A)}\ 5 \qquad\n\textbf{(B)}\ 6 \qquad\n\textbf{(C)}\ 7 \qquad\n\textbf{(D)}\ 8 \qquad\n\textbf{(E)}\ 9 $ Show that it is \textbf{(D)}\ 8."

@DyeKuu @albertqjiang

DyeKuu commented 2 years ago

Thank you for fixing this! I remember I doubt one of the IMO informal proofs we recently fixed is also questionable. That one is inherently erroneous from the answer from AOPS. Mind taking a look?