试题试做

共 11035 道。先按知识点进入练习，也可以从下面的最新题目直接试做。

最新试题 · 第 314 页

金星裂谷活动可能比先前认为更快，研究者将其归因于？

关于金星，2026 年研究提出"近期裂谷活动"的主要依据是？

月球背面太阳风研究对哪类探测任务最有参考价值？

研究月球土壤中的氪（Kr）、氙（Xe）等稀有气体，主要用来推断？

研究发现月球背面比正面"太阳风渗透更深"，关键原因是？

嫦娥六号采集的月壤样本主要来自月球哪一侧？

PDF 之所以难以被 AI 直接解析，主要原因不包括？

"Agent 原生论文格式"最可能优先利好下列哪类工作？

斯坦福等研究者提出"Agent 原生论文格式"的主要动机是？

下列关于 AI 与数学关系的说法，最准确的是？

陶哲轩（Terence Tao）在森多夫猜想的例子中起到的作用是？

在"人机协作做数学"的闭环中，目前仍然主要由人类承担的是？

2026 年借助 AI 完成证明的"森多夫猜想"属于哪类数学问题？

大语言模型（LLM）参与数学证明时，最大的风险是？

关于"证明助手"（如 Lean/Coq），下列说法正确的是？

综合判断：在"安全攸关的自动驾驶决策模块"上，下列质量保障组合最合理的是？

个性化 mRNA 癌症疫苗从"测序肿瘤"到"注射疫苗"的完整链路，最合理的顺序是？

中科大"暗腔增强超导"实验中，为什么增强随暗腔频率呈"共振峰"是量子机制的关键证据，而不是普通的温度/应力效应？

若要用形式化方法证明"一个二分查找函数在所有输入下要么返回目标下标、要么返回 -1"，最关键的"规格"应写为？

有人说"用 AI 生成代码后就不用关心正确性了，因为 AI 很聪明"。请从程序正确性的角度评价这一说法，并指出 AI 生成代码在可靠性上的两个风险。

试题试做第314页 - 生命科学与前沿科技学习平台 | 必学必会