3 ms·
I always hear this "AI solved a crazy math problem that no math teams could solve" and think why can it never solve the math problems that I need it to solve wh
by AuthAuth 9mo ago
I always hear this "AI solved a crazy math problem that no math teams could solve" and think why can it never solve the math problems that I need it to solve when they should be easily doable by any high school student.
- butvacuum 9mo agoI've not seen a lot of issues in math I've given LLMs. Maybe it's some artefact of your prompt?
- AuthAuth 9mo agoI usually explain it in english. Usually more complicated but phrased the same as this example "Give me the per captia rate for a population of 10000000 who hold $100000 each etc. I think in hindsight it might be because they're searching the web for an answer instead of just calculating it like i'd asked.
- danielmarkbruce 9mo agoit's because you are basically giving it arithmetic questions. Yeah, LLMs aren't great at arithmetic. The math they are talking about doesn't have numbers.
- voxl 9mo agoBecause what it really means is "we directed the AI, it translated our ideas into Lean, the Lean tool then acted as an oracle determining if anything as incorrect, doing literally all the hard work of of correctness, and this process looped until the prompter gave up or Lean sent back an all clear"