Actually, OpenAI did a research[0] on solving some hard math problems by integra... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		curling_grad on Nov 23, 2023 \| parent \| context \| favorite \| on: OpenAI researchers warned board of AI breakthrough... Actually, OpenAI did a research[0] on solving some hard math problems by integrating language model and Lean theorem prover some time ago. [0]: https://openai.com/research/formal-math

singularity2001 on Nov 23, 2023 [–]

how do they achieve 41.2% in high school Olympiads but only 55% for grade school problems?

PS: also I thought GPT4 already achieved 90% in some university math grades? Oh I remember that was multiple-choice

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact