Get the latest tech news

Case study: Creative math – How AI fakes proofs


Many AI enthusiasts debate whether Large Language Models actually "reason." My research indicates that a reasoning process does indeed occur, but its goal is different than we assume. The model's reasoning is not optimized for establishing the truth, but for obtaining the highest possible reward (grade) during training.

None

Get the Android app

Or read this on Hacker News

Read more on:

Photo of case study

case study

Photo of proofs

proofs

Photo of Creative math

Creative math

Related news:

News photo

Lies, Damned Lies and Proofs: Formal Methods Are Not Slopless

News photo

GitHub: A case study in link maintenance and 404 pages (2013)

News photo

System76: A Case Study on How Not to Collaborate with Upstream