Shengrong Wu’s Blog

In this page, I will post some small projects which I complete with AI. More information about me can be found in my Google site.

Proved Erdős Problem 696.

Apr 25, 2026

Shengrong Wu

6 min

Stop Writing Agent Pipelines From Scratch — Design Them Visually

Draw a agentic workflow from scratch, then build the agent.

Apr 8, 2026

Shengrong Wu

6 min

Math Agent and Solution to RMM P6

My project on math agents and solution to Romanian Master of Mathematics P6.

Apr 7, 2026

Shengrong Wu

13 min

On the past and future of math

My thoughts on AI for math.

Apr 2, 2026

Shengrong Wu

27 min

Rees Algebras Decomposition with LEAN Verification

An example of using AI to do math research and verification.

Mar 22, 2026

Shengrong Wu

10 min

AI on geometric computation and verification

An example of using AI to do geometric computation and verification.

Mar 21, 2026

Shengrong Wu

26 min

A Math Reading Agent with Visualization

Vibe code a mathematical article reading agent.

Mar 12, 2026

Shengrong Wu

1 min

Analysis of Singular Wave Equation

Solve a quasi-linear singular wave equation within self-similarity and spherical symmetry, and the stability of the solution.

Mar 11, 2026

Shengrong Wu

11 min

A Modern Proof of PMT

Use AI to rewrite proof of positive mass theorem using modern geometric measure theory.

Mar 10, 2026

Shengrong Wu

8 min

Shengrong Wu’s Blog

Math article pipeline

Erdős Problem 696 Proof

Stop Writing Agent Pipelines From Scratch — Design Them Visually

Math Agent and Solution to RMM P6

On the past and future of math

Rees Algebras Decomposition with LEAN Verification

AI on geometric computation and verification

A Math Reading Agent with Visualization

Analysis of Singular Wave Equation

A Modern Proof of PMT