Screenshot of Kimi's Mathematical Reasoning

teortaxesTex · x · 2026-07-20

The post shares a snippet of "Funny reasoning from Kimi," accompanied by a screenshot of the model's lengthy reasoning process for a mathematical construct.

In the screenshot, the model first checks term by term whether certain expressions equal zero, concluding "det JF = -2. Verified completely." It then further claims that an example of the Jacobian conjecture holds in dimensions ≥ 3, thereby making the conjecture false in higher dimensions. The author shared this reasoning behavior as an amusing find.

Original post →

More from Models

Models channel →