Initially I aimed to test with at least 10 formulas for each model for SAT/UNSAT, but it turned out to be more expensive than I expected, so I tested ~5 formulas for each case/model. First, I used the openrouter API to automate the process, but I experienced response stops in the middle due to long reasoning process, so I reverted to using the chat interface (I don't if this was a problem from the model provider or if it's an openrouter issue). For this reason I don't have standard outputs for each testing, but I linked to the output for each case I mentioned in results.
Publication date: 28 February 2026
，更多细节参见51吃瓜
第一百二十六条 被处罚人不服行政拘留处罚决定，申请行政复议、提起行政诉讼的，遇有参加升学考试、子女出生或者近亲属病危、死亡等情形的，可以向公安机关提出暂缓执行行政拘留的申请。公安机关认为暂缓执行行政拘留不致发生社会危险的，由被处罚人或者其近亲属提出符合本法第一百二十七条规定条件的担保人，或者按每日行政拘留二百元的标准交纳保证金，行政拘留的处罚决定暂缓执行。，这一点在WPS官方版本下载中也有详细论述
“我作为有着20多年工作经验的软件工程师，没想到为母亲设置好了技术防范墙，仍被骗子骗了。我只能通过说出我这个实际案例，给大家做个提醒，让类似的诈骗不再轻易发生。”11月30日，龙先生在接受扬子晚报/紫牛新闻记者采访时如此说道。