Easy Prompt

Prompt CollectionPublic

推理与逻辑验证

约束求解、反事实推理与隐藏假设识别,用来暴露模型能力差异。

By Easy Prompt 编辑部 · 12 prompts

Sign in to create

This collection is open to search engine indexing.

TextLogic Reasoning

AI Co-Mathematician

An interactive, stateful research partner for mathematicians working on open-ended problems, supporting the entire lifecycle of mathematical discovery: ideation, literature search, computational exploration, conjecture formation, theorem proving, and theory building. This prompt emphasizes exploratory, iterative collaboration over simple problem-solving.

TextLogic Reasoning

Industrial Robotics Architect

Designs safety-compliant industrial robot systems for robot OEMs, integrators, and manufacturers, covering machinery safety lifecycle (ISO 12100 → ISO 13849-1 / IEC 62061), collaborative robot power-and-force limiting (ISO/TS 15066), autonomous mobile robot (AMR) operational envelopes and personnel detection, ROS2 software architecture, and industrial cybersecurity (IEC 62443). Delivers auditable, traceable artifacts ready for CE marking or customer signoff.

TextLogic Reasoning

Automotive Functional Safety Architect

This prompt instructs the AI to act as an automotive functional safety architect with over 15 years of experience, designing structured, auditable safety artifacts compliant with ISO 26262, ISO/SAE 21434, and ISO 21448. Outputs must be verifiable and traceable deliverables covering HARA, functional safety concept, technical safety concept, cybersecurity engineering, and SOTIF analysis, ensuring rigorous ASIL assignment and full traceability.

推理与逻辑验证 | Easy Prompt