Hacker News: zaikunzhang

Gowers: Thoughts about the Leiden Declaration

zaikunzhang — Wed, 29 Jul 2026 12:19:11 +0000

Article URL: https://gowers.wordpress.com/2026/07/26/thoughts-about-the-leiden-declaration/

Comments URL: https://news.ycombinator.com/item?id=49096489

Points: 2

# Comments: 0

Jacob Tsimerman on Competition, AI, and the Future of Mathematics [video]

zaikunzhang — Tue, 28 Jul 2026 20:33:53 +0000

Article URL: https://www.youtube.com/watch?v=8DYF-ReeAtY

Comments URL: https://news.ycombinator.com/item?id=49089554

Points: 5

# Comments: 0

Kimi: Threat or Menace?

zaikunzhang — Sun, 19 Jul 2026 19:33:00 +0000

Article URL: https://techcrunch.com/2026/07/18/kimi-threat-or-menace/

Comments URL: https://news.ycombinator.com/item?id=48971035

Points: 3

# Comments: 0

New comment by zaikunzhang in "Codex scraped the ICM website and discovered 2026 Fields Medal winner list"

zaikunzhang — Tue, 14 Jul 2026 12:14:58 +0000

Related to the earlier discussion:

https://news.ycombinator.com/item?id=48902814

Codex scraped the ICM website and discovered 2026 Fields Medal winner list

zaikunzhang — Tue, 14 Jul 2026 11:30:36 +0000

Article URL: https://phemex.com/news/article/2026-fields-medal-winners-list-leaked-includes-two-peking-university-alumni-92948

Comments URL: https://news.ycombinator.com/item?id=48905091

Points: 155

# Comments: 111

New comment by zaikunzhang in "The Unreasonable Effectiveness of LLMs in Mathematics"

zaikunzhang — Mon, 13 Jul 2026 13:50:00 +0000

A summary (not by AI):

Hadamard asserts that no mathematical discovery is purely logical. The unconscious mind ... played a crucial role in the development of rigorous mathematical arguments. This role, and the handoffs between the subconscious and conscious minds, were distilled by Hadamard into the following framework for mathematical discovery:

- Preparation (primarily conscious)

- Incubation (primarily unconscious)

- Illumination (primarily unconscious)

- Verification (primarily conscious)

DeepMind's AlphaProof is too "conscious", missing Incubation and Illumination, and hence does not work well. In contrast, LLMs are more "unconscious", emulating Incubation and Illumination better, and thus have better chances to make math discoveries, at the risk of producing false results.

However, LLMs that reason in languages are still not "unconscious" enough; the Looped Language Models (by ByteDance) can reason in an even more unconscious way, aligning better with Hadamard's observation that "in addition to being non-rigorous, unconscious thought is often not even interpretable ... all mathematicians think without language or precise symbols, and many do not even use clear images", leading to higher reasoning capabilities.

A combination of the two approaches (AlphaProof and LLM) seems to be able to close the loop of Preparation - Incubation - Illumination - Verification in math. In addition, this framework is promising in "any domain that can culminate in a Verification step", and LLM may do the unconscious "Incubation - Illumination" part in many domains in addition to math (e.g., physics), but the "Verification" part differs across domains.