面板实际上能做什么
每个席位——包括裁判——都得到同样的工具,裁判必须能够检查索赔要求,而不仅仅是权衡其论点。
文献搜索
arXiv、OpenAlex、Crossref、Europe PMC和Semantic Scholar——主要资料来源,而不是博客的重述。 数学、物理、CS、生物学、医学、经济学。
要求座位在自己尝试之前先检查已经证明的内容,因为重新交付已知的结果会浪费你的钱。
网络研究
org, 而不是引擎想返回的任何东西。
页面被取阅,因此引用可以引用其实际依赖的段落。
沙箱代码
配有交响、 mpmath 和 numpy 的皮松, 所以座位可以检查一个绑定, 搜索反示例, 或者验证代数步骤而不是坚持它 。
没有网络访问、封顶的CPU和内存的运行。
数学到隔壁
其理论不是:它需要一个内核接受的证明词,而不是一个充分论证的案例。
所以数学目标就属于我们的兄弟姐妹网站, 该网站运行同样的面板, 然后检查结果Lean 4对Mathlib。 theorem.chat
升起而不是猜测
每个座位也可以停下来请求帮助。 一个卡住了的模式通常产生另一个段落,重复最后一个段落,即按全额价格重现最后一个段落。 它在这里列出了一个问题,即堵住它的问题,以及最适合回答哪个座位的手,以及它已经尝试过的手。专家得到了问题和相关既定结果,而不是造成僵局的论点,因此,固定成本比争论要低。
裁判人自己的工具
标准规则,加上目标意味着、指导下一轮或结束比赛。没有证据,就无法标出标准。 第三方可以重新检查,即引用引用的段落,或计算其实际产出。 拒绝以代码形式执行,而不是礼貌地要求迅速。