1
Show HN: Referee.Chat - Set the goal. An AI panel works. Referee clears it done
设定目标，AI评审团分工协作，实时查证文献并核对数字，让结果可追溯、可验证。
Article URL: https://referee.chat/ Comments URL: https://news.ycombinator.com/item?id=49293191 Points: 3 # Comments: 0
2
Show HN: Algebruh - Cross-check arithmetic claims with Z3, cvc5, and Lean
一个命令行小工具，用Z3、cvc5和Lean交叉验证算术命题，写代码时揪出隐蔽数学错误的好帮手
Article URL: https://github.com/skorotkiewicz/algebruh Comments URL: https://news.ycombinator.com/item?id=49224241 Points: 4 # Comments: 0