News for hackers. Stuff that matters.

A comment on $10M AI Mathematical Olympiad Prize. Parent comment

Re:$10M AI Mathematical Olympiad Prize by Davidzheng on Monday November 27, 2023 @11:36AM (#38434405)
The field of LLM reasoning is far from stable atm. I think it's pretty hard for anyone to give confident predictions about what they can or cannot do in 5 years. In that light, I am skeptical about any claims that they cannot do something anytime soon.
[ Parent | on HN ]
Re:$10M AI Mathematical Olympiad Prize by eddtries on Monday November 27, 2023 @11:40AM (#38434459)
What does an LLM really do? And can it create sometimes entirely novel math that goes against its training set to solve something, and know it’s right using a proof tool that may not even accept that? I agree but on a different order of magnitude of years.
[ Parent | on HN ]