面板实际上能做什么

每个席位——包括裁判——都得到同样的工具,裁判必须能够检查索赔要求,而不仅仅是权衡其论点。

文献搜索

arXiv、OpenAlex、Crossref、Europe PMC和Semantic Scholar——主要资料来源,而不是博客的重述。数学、物理、CS、生物学、医学、经济学。

要求座位在自己尝试之前先检查已经证明的内容,因为重新交付已知的结果会浪费你的钱。

网络研究

org, 而不是引擎想返回的任何东西。

页面被取阅,因此引用可以引用其实际依赖的段落。

沙箱代码

配有交响、 mpmath 和 numpy 的皮松, 所以座位可以检查一个绑定, 搜索反示例, 或者验证代数步骤而不是坚持它。

没有网络访问、封顶的CPU和内存的运行。

数学到隔壁

其理论不是:它需要一个内核接受的证明词,而不是一个充分论证的案例。

所以数学目标就属于我们的兄弟姐妹网站, 该网站运行同样的面板, 然后检查结果Lean 4对Mathlib。 theorem.chat

升起而不是猜测

每个座位也可以停下来请求帮助。一个卡住了的模式通常产生另一个段落,重复最后一个段落,即按全额价格重现最后一个段落。它在这里列出了一个问题,即堵住它的问题,以及最适合回答哪个座位的手,以及它已经尝试过的手。专家得到了问题和相关既定结果,而不是造成僵局的论点,因此,固定成本比争论要低。

裁判人自己的工具

标准规则,加上目标意味着、指导下一轮或结束比赛。没有证据,就无法标出标准。第三方可以重新检查,即引用引用的段落,或计算其实际产出。拒绝以代码形式执行,而不是礼貌地要求迅速。