Recursos

Lean 4 Online Compiler and Playground | Lean 4 Dev

Run Lean 4 code online, free and without installing anything. Evaluate #eval and #check, prove theorems with tactics, see goals and errors, and share code…

lean4.dev

HaLLMos

hallmos.com

SageMath Mathematical Software System - Sage

SageMath is a free and open-source mathematical software system.

www.sagemath.org

AlphaEvolve: A Gemini-powered coding agent for designing advanced algorithms

New AI agent evolves algorithms for math and practical applications in computing by combining the creativity of large language models with automated evaluators

deepmind.google

AlphaGeometry: An Olympiad-level AI system for geometry

Our AI system surpasses the state-of-the-art approach for geometry problems, advancing AI reasoning in mathematics

deepmind.google

Wolfram MCP: Give Wolfram Powers to Your AI

Access computed, verified answers via Wolfram Foundation Tool technology, available to any MCP-compatible application. There are local self-managed, cloud and enterprise options.

www.wolfram.com

Data analysis with ChatGPT | OpenAI Help Center

Use ChatGPT to inspect uploaded data, create tables and charts, and review code-backed analysis.

help.openai.com