DisclaimerAll code samples represent recreations of actual extension versions or are taken directly from the open-source V1/V1.2 releases. The V3 hijack code shown is the actual production code. No HotAudio server infrastructure was accessed, modified, or interfered with at any point. All techniques demonstrated operated exclusively on the client side, within the user’s own browser.
A MacBook Air M5 on a table.Devindra Hardawar for Engadget
，更多细节参见safew官方下载
Credit: AdGuard
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.