Hacker News Reader

The performance of this model using English descriptions suggests to me the possibility of a model that is built to work using precise mathematical notation performing even better.

Are there models that are trained to receive and respond with a purely mathematical description of the problem?

View on HN

OpenAI has trained a model to solve Math Olympiad-type problems[1], with some initial success, but currently the model isn't good at coming up with proofs involving more than a couple arguments chained together. Still some very impressive work.

[1] https://analyticsindiamag.com/openais-neural-theorem-prover-...

Check out Google Minerva. https://ai.googleblog.com/2022/06/minerva-solving-quantitati...

Reply on news.ycombinator.com