Model Comparison
Model Editorial Structural Class Conf SETL Theme
@cf/meta/llama-4-scout-17b-16e-instruct lite 0.00 ND Neutral 1.00 0.00 Mathematics
@cf/meta/llama-4-scout-17b-16e-instruct lite ND ND 0.87
@cf/meta/llama-3.3-70b-instruct-fp8-fast lite ND ND 0.87
@cf/meta/llama-3.3-70b-instruct-fp8-fast lite 0.00 ND Neutral 0.90 0.00 No human rights theme
Section @cf/meta/llama-4-scout-17b-16e-instruct lite @cf/meta/llama-4-scout-17b-16e-instruct lite @cf/meta/llama-3.3-70b-instruct-fp8-fast lite @cf/meta/llama-3.3-70b-instruct-fp8-fast lite
Preamble ND ND ND ND
Article 1 ND ND ND ND
Article 2 ND ND ND ND
Article 3 ND ND ND ND
Article 4 ND ND ND ND
Article 5 ND ND ND ND
Article 6 ND ND ND ND
Article 7 ND ND ND ND
Article 8 ND ND ND ND
Article 9 ND ND ND ND
Article 10 ND ND ND ND
Article 11 ND ND ND ND
Article 12 ND ND ND ND
Article 13 ND ND ND ND
Article 14 ND ND ND ND
Article 15 ND ND ND ND
Article 16 ND ND ND ND
Article 17 ND ND ND ND
Article 18 ND ND ND ND
Article 19 ND ND ND ND
Article 20 ND ND ND ND
Article 21 ND ND ND ND
Article 22 ND ND ND ND
Article 23 ND ND ND ND
Article 24 ND ND ND ND
Article 25 ND ND ND ND
Article 26 ND ND ND ND
Article 27 ND ND ND ND
Article 28 ND ND ND ND
Article 29 ND ND ND ND
Article 30 ND ND ND ND
0.00 Lean4 helped Terence Tao discover a small bug in his recent paper (mathstodon.xyz)
497 points by gridentio 869 days ago | 220 comments on HN | Neutral ~lite vlite-1.6
Summary ~lite Mathematics Neutral
Terence Tao discusses a bug found in his paper using Lean4 formalization
EQ 0.00
SO 0.00
TD 0.00
Lite evaluation by llama-4-scout-wai · editorial channel only · no per-section breakdown available
Longitudinal · 5 evals
+1 0 −1 HN
Audit Trail 13 entries
2026-03-09 09:19 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-09 09:19 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-09 09:19 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical discussion on a math topic, no human rights discussion
2026-03-09 09:18 eval_success PSQ evaluated: g-PSQ=0.320 (3 dims) - -
2026-03-09 09:18 eval Evaluated by llama-4-scout-wai-psq: +0.32 (Moderate positive)
2026-03-09 09:17 eval_success PSQ evaluated: g-PSQ=0.669 (3 dims) - -
2026-03-09 09:17 eval Evaluated by llama-3.3-70b-wai-psq: +0.67 (Strong positive)
2026-03-09 09:14 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-09 09:14 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral)
reasoning
Technical discussion on a math topic, no human rights discussion
2026-03-09 09:14 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-09 09:13 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-09 09:13 rater_validation_warn Lite validation warnings for model llama-3.3-70b-wai: 1W 0R - -
2026-03-09 09:13 eval Evaluated by llama-3.3-70b-wai: 0.00 (Neutral)
reasoning
Math post with no rights discussion