TrueMath

1. Exact Symbolic Math & Generative Exploration100% Verified Identites: Generates entirely new, unrecorded versions of known math identities (Pythagorean, log/exp rules, double-angle) via random expression substitution. Every identity is strictly verified using SymPy (fully proven, zero guesses).Exact Math Solver: Instantly computes equations, derivatives, integrals, simplification, and factoring with absolute mathematical certainty.2. Advanced Algorithms & Number TheoryOEIS Checker & Live Math Discoveries: Scans and cross-references integer sequences with the Online Encyclopedia of Integer Sequences.Proven Core Algorithms: Built-in robust implementations of Dijkstra, Linear Programming (LP), Miller-Rabin, Pollard's rho, Baby-Step Giant-Step, and Dynamic Programming.Algebra Sandbox: Define your own custom rule/universe. The engine mechanically verifies if your custom system forms a valid Group, Ring, or Field using real-time computation.3. Cryptography Suite (Demo vs Production)crypto Category: Educational, toy-sized cryptographic demonstrations built exclusively for teaching (NOT secure for actual data).real_crypto Category: Production-grade, secure implementation utilizing 2048-bit RSA with OAEP padding, powered natively by the cryptography library / OpenSSL.4. Conjecture Checker & Live ResearchReal Number-Crunching: Brute-force tests famous unsolved mathematical conjectures (e.g., Riemann Zeta Function non-trivial zeros) within specified ranges.Note: These are for educational exploration; they test numerical patterns but do not construct formal mathematical proofs.Live arXiv Integration: Pulls and displays live, real-time research papers directly from arXiv.org.5. Hybrid Agent Mode (Optional AI Routing)Smart Compound Routing: Turn on Agent Mode to solve complex multi-step problems (e.g., "Factor 360, then GCD it with 48, then find the determinant of [[2,1],[1,3]]").How it Works: The LLM acts strictly as a router to decide which mathematical tool to call. The actual execution and calculations are always handled by pure Python code to guarantee 100% accuracy.Bring Your Own Key: Bring your own Groq or OpenAI API keys to power conceptual math queries and Agent routing. ⚠️ Important User Guide & Security WarningsWindows SmartScreen Warning: Because this .exe is self-compiled and does not contain a paid digital certificate, Windows Defender might show a "Windows protected your PC" alert. Click "More Info" and then select "Run Anyway" to open the app safely.Conceptual AI Responses: Conceptual or theoretical questions are answered via LLMs (Phi-3.5/Groq). While symbolic math is 100% exact, please double-check pure text/conceptual AI responses.