Mathbox
Najib Idrissi-Kaïtouni · Education & Research
ChatGPTApp
Pursue research goals across distinct routes, track exact claim revisions and evidence dependencies, audit proofs and sources, and record reproducible bounded experiments. Portable skills with optional local Python tooling.
Rankings
Skills
computation-auditliterature-checkmanuscript-integrateproof-auditproofread-mathresearch-attemptresearch-initresearch-programresearch-retrospectiveresearch-state
Starter prompts
- Pursue this conjecture through distinct proof and counterexample routes.
- Check which claims depend on this lemma and which evidence is stale.
- Audit this proof and isolate the first unproved implication.