CoCalc by SageMath, Inc. reposted this
Here is why our new soon-to-be-launched CoCalc-ai matters. Writing code using AI agents feels natural to me because it is much closer to how real mathematics research works than how programming is often described. Mathematicians do not mainly work by writing formal proofs. They work by thinking, sketching, arguing in words, trying examples, finding counterexamples, and only then producing a formal artifact. In computational mathematics (e.g., SageMath), that process already continues into code. I often loved to turn theory into algorithms, run them, and use the results to refine understanding or discover mistakes. That is what good AI coding looks like. One stays focused on the problem, the structure, the constraints, and the checks, and the agent helps turn that into executable artifacts. The right environment for AI coding is not just a chatbot that emits code, it is a research environment: chat, code, review, logs, history, and tests all in one place. I think the future of AI coding is not replacing thought with code generation; it is letting people work more at the level where real discovery happens. -WS