Hard
P与NP问题的理论边界
探讨计算机科学中最著名的未解难题及其哲学含义。
形式化地定义P类问题和NP类问题。解释P=NP或P≠NP这两种可能性对密码学、算法设计以及人类认知能力的深层理论影响。
Medium
罗尔斯的无知之幕
分析正义论中构建公平社会的思想实验。
详细解释约翰·罗尔斯“无知之幕”这一理论假设的运作机制。讨论该概念如何推导出差异原则，以及它为何被视为解决分配正义问题的核心理论工具。
Medium
建构主义认识论
探讨知识是如何被主体主动构建而非被动发现的。
分析建构主义（特别是激进建构主义）关于知识本质的观点。对比客观主义与建构主义在真理观上的分歧，并讨论这种理论视角如何影响科学教育和学习过程。
Medium
混沌理论中的确定性
探讨确定论系统为何产生不可预测的行为。
解释“对初始条件的敏感依赖性”（蝴蝶效应）。论证一个完全确定性的微分方程组为何在长期行为上变得不可预测，并讨论这对拉普拉斯妖式决定论的挑战。
Hard
范畴论作为数学的数学
探讨范畴论如何提供一种抽象的结构化语言。
介绍范畴论的基本概念（对象、态射、函子）。解释为何范畴论被认为比集合论更适合作为现代数学的基础语言，特别是在描述数学结构之间的映射关系方面。
Hard
P与NP问题的理论框架
深入探讨计算复杂性理论中最核心的开放性问题及其分类。
请从数学定义和逻辑推演的角度，详细阐述P类问题与NP类问题的区别。如果一个NP完全问题被证明属于P类，这将对现代密码学、算法优化以及数学逻辑体系产生什么根本性的理论影响？请结合Cook-Le vin定理进行论证。
Hard
图灵机与停机问题
分析图灵机作为计算模型的基本原理及不可判定性问题。
请形式化定义一个确定型单带图灵机。在此基础上，请使用对角线论证法推导并解释“停机问题”为何是不可判定的，并讨论这一结果对计算机科学理论边界的界定意义。
Medium
La mbda演算基础与函数式编程理论
探讨Lambda演算作为函数式编程语言数学基础的核心概念。
请解释Lambda演算中的α-变换、β-归约和η-变换这三种基本操作规则。如何仅通过函数抽象和应用这一套简单的形式系统来编码自然数和算术运算？请提供具体的Lambda表达式示例。
Medium
香农熵与信息量化
解析信息论中如何度量不确定性及数据压缩的理论极限。
请详细解释信息熵公式 H(X) = -Σ p(x)log₂p(x) 的物理与数学含义。假设有一个包含四种符号的信源，其概率分布分别为0.5, 0.25, 0.125, 0.125，请计算该信源的熵，并解释其为何代表了无损压缩的理论极限。
easy
商务邮件撰写助手
生成一封专业且礼貌的商务邮件回复，用于婉拒合作伙伴的邀请。
请扮演一位专业的商务助理。我需要回复一封合作伙伴的邀请邮件，但我因为日程冲突无法参加。请帮我起草一封语气礼貌、专业且委婉的拒绝邮件，并表示希望未来有机会合作。邮件内容应简洁明了。
medium
代码逻辑解释员
将一段复杂的Python代码用通俗易懂的语言解释给初学者听。
请扮演一位资深编程导师。以下是一段Python代码片段，请将其逻辑逐步解释给编程初学者听。使用通俗易懂的类比，避免过于晦涩的专业术语，并重点说明代码每一部分的作用。
easy
长文内容摘要
快速总结长篇文章的核心观点，提取关键信息。
请阅读我提供的文章内容，并生成一份结构化的摘要。摘要需要包含文章的核心论点、三个主要支撑论据以及最终的结论。请使用项目符号列表的形式呈现，语言简洁。
medium
模拟面试官
模拟真实的求职面试场景，逐一向用户提问并给予反馈。
请扮演一家科技公司的资深面试官，职位是产品经理。我们将进行一场模拟面试。请每次只向我提出一个问题，等待我的回答后，再进行下一轮提问。在面试结束时，请对我的回答给予简要的评价和改进建议。