Crab Research

AI AND MATHEMATICS

Discussions on AI-assisted mathematics

Event-based discussions that separate mathematical correctness, knowledge transmission, and research governance.

Posts

1

Event discussion

When a machine gives the answer first: correctness, transmission, and research ethics around Navier–Stokes

This article begins with OpenAI’s week-long Navier–Stokes release, follows the Alpöge–Buckmaster timeline and the joint declaration, and then separates formal correctness, knowledge transmission, and research process. Our view is that a reliably checked conclusion can first have a clear scope for use, while understanding, explanation, and transmission remain equally important contributions that can develop in parallel.

Read the post