Tomasz Machnik personal blog

Case study: Creative math – How AI fakes proofs

tomaszmachnik.pl 3 min read

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.

Points

122

HN comments

97

Submissions

1

Cited by

0 commenters

AI & Machine LearningMath & Algorithms2026

Related posts from the same era

Statement on US government directive to suspend access to Fable 5 and Mythos 5

Anthropic20263,158 points2,314 commentscited by 11 details

Astra can read and write weights to improve Qwen

RRikiya Takehi20262,959 points899 comments details

HackerTube: YouTube built from videos recommended by HN

karpathy20262,886 points641 comments details

Claude Fable 5

Anthropic20262,626 points2,159 commentscited by 10 details

Claude Code is steganographically marking requests

Thereallo20262,445 points750 commentscited by 3 details

My AI skeptic friends are all nuts

Fly.io Blog20252,356 points2,826 commentscited by 13 details