0.00 Terence Tao: Formalizing a proof in Lean using Claude Code [video] (www.youtube.com)
54 points by helloplanets 2 days ago | 1 comments on HN | Neutral ~lite vlite-1.6
Summary ~lite Neutral
Video about formalizing a proof in Lean using Claude Code
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 155 HN snapshots · 118 evals
+1 0 −1 HN
Audit Trail 138 entries
2026-03-10 15:51 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-10 15:51 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-10 15:51 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-10 15:41 eval_success PSQ evaluated: g-PSQ=0.120 (3 dims) - -
2026-03-10 15:41 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-10 15:13 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-10 15:13 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-10 15:13 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-10 15:03 eval_success PSQ evaluated: g-PSQ=0.120 (3 dims) - -
2026-03-10 15:03 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-10 14:35 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-10 14:35 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-10 14:35 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-10 14:06 eval_success PSQ evaluated: g-PSQ=0.120 (3 dims) - -
2026-03-10 14:06 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-10 13:57 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-10 13:57 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-10 13:57 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-10 13:32 eval_success PSQ evaluated: g-PSQ=0.120 (3 dims) - -
2026-03-10 13:32 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-10 13:23 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-10 13:23 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-10 13:23 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-10 12:55 eval_success PSQ evaluated: g-PSQ=0.120 (3 dims) - -
2026-03-10 12:55 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-10 12:46 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-10 12:46 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-10 12:46 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-10 04:46 eval_success PSQ evaluated: g-PSQ=0.120 (3 dims) - -
2026-03-10 04:46 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-10 04:44 eval_success Lite evaluated: Neutral (0.00) - -
2026-03-10 04:44 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-10 04:44 rater_validation_warn Lite validation warnings for model llama-4-scout-wai: 1W 0R - -
2026-03-10 04:13 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-10 04:12 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-10 03:55 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-10 03:54 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-10 03:38 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-10 03:36 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-10 03:20 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-10 03:18 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-10 03:02 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-10 03:00 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-10 02:44 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-10 02:40 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-10 02:26 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-10 02:21 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-10 02:07 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-10 02:00 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-10 01:50 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-10 01:42 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-10 01:32 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-10 01:23 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-10 01:15 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-10 01:05 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-10 00:58 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-10 00:41 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-10 00:36 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-09 23:59 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-09 23:54 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-09 23:40 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-09 23:36 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-09 23:23 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-09 23:19 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-09 23:05 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-09 23:01 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-09 22:48 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-09 22:45 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-09 22:31 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-09 22:28 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-09 22:14 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-09 22:10 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-09 21:56 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-09 21:51 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-09 21:37 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-09 21:34 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-09 21:19 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-09 21:16 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-09 21:00 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-09 20:56 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-09 20:38 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-09 20:37 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-09 20:23 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-09 20:21 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-09 20:05 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-09 20:04 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-09 19:49 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-09 19:44 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-09 19:32 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-09 19:25 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-09 19:16 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-09 19:06 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-09 18:57 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-09 18:47 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-09 18:40 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-09 18:26 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-09 18:22 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-09 18:06 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-09 18:04 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-09 17:46 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-09 17:45 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-09 17:28 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-09 17:26 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-09 17:10 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-09 17:06 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-09 16:52 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-09 16:48 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-09 16:35 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-09 16:28 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-09 16:18 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-09 16:10 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-09 15:59 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-09 15:52 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-09 15:41 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-09 15:34 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-09 15:23 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-09 15:17 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-09 15:06 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-09 14:59 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-09 14:49 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-09 14:40 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-09 14:33 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-09 14:22 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-09 14:16 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-09 14:05 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-09 13:59 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-09 13:46 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-09 13:42 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-09 13:28 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-09 13:25 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-09 13:09 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-09 13:06 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-09 12:49 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive) 0.00
2026-03-09 12:48 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral) 0.00
reasoning
Technical video content, no explicit human rights discussion
2026-03-09 12:20 eval Evaluated by llama-4-scout-wai-psq: +0.12 (Mild positive)
2026-03-09 12:19 eval Evaluated by llama-3.3-70b-wai-psq: 0.00 (Neutral)
2026-03-09 12:18 eval Evaluated by llama-4-scout-wai: 0.00 (Neutral)
reasoning
Technical video content, no explicit human rights discussion
2026-03-09 12:17 eval Evaluated by llama-3.3-70b-wai: 0.00 (Neutral)
reasoning
Technical content, zero rights discussion