4 ms·
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.
by curling_grad 3y ago
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 https://openai.com/research/formal-math
- singularity2001 3y agohow 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
- bigbacaloa 3y ago[dead]