Import AI 478: Math for alignment; ProgramBench; and Mirendil shows what RSI means
Comments on “Import AI 478: Math for alignment; ProgramBench; and Mirendil shows what RSI means”
3 judges. Scored by all three judges. Only the day’s top stories get the claim check. How far stories are checked
Import AI 478 covers three items: Resolution used AI agents to autoformalize resolution of singularities in Lean for about $135,000 in token spend over a week, aiming to support automated research on AI generalization; ProgramBench, a benchmark for rebuilding software from compiled programs, rose from 0% resolved at launch to…
Why it ranked
No. 41 of 124 with a score of 0.63. The panel rated it highest on new information (0.80) and audience breadth (0.79), lowest on substantiated (0.62). Overclaim counted against it (0.53).
Every answer behind this is in the table under Score.
Score
0.63total under rubric v2.2
- Significance0.65
- Reader interest0.79
- Audience breadth0.79
- Practical relevance0.62
- Substantiated0.62
- Technical depth0.66
- New information0.80
- Counts against: Promotional0.09
- Counts against: Overclaim0.53
Each judge’s answer per question (0–1), their mean and spread, and what the question adds to the score (weight × mean).
| Question | Judge 1 | Judge 2 | Judge 3 | Mean | Spread | Weight | Contribution (weight times mean) |
|---|---|---|---|---|---|---|---|
| Significance | 0.71 | 0.45 | 0.78 | 0.65 | 0.33 | +0.24 | +0.155 |
| Reader interest | 0.74 | 0.75 | 0.88 | 0.79 | 0.14 | +0.26 | +0.205 |
| Audience breadth | 0.85 | 0.70 | 0.82 | 0.79 | 0.15 | +0.13 | +0.103 |
| Practical relevance | 0.64 | 0.55 | 0.68 | 0.62 | 0.13 | +0.22 | +0.137 |
| Substantiated | 0.65 | 0.50 | 0.72 | 0.62 | 0.22 | +0.05 | +0.031 |
| Technical depth | 0.71 | 0.60 | 0.67 | 0.66 | 0.11 | +0.05 | +0.033 |
| New information | 0.84 | 0.60 | 0.96 | 0.80 | 0.36 | +0.05 | +0.040 |
| Promotional | 0.14 | 0.05 | 0.08 | 0.09 | 0.09 | −0.19 | −0.017 |
| Overclaim | 0.53 | 0.35 | 0.72 | 0.53 | 0.37 | −0.11 | −0.059 |
| Sum of contributions | +0.629 | ||||||
| Claim-check penalty | 0.000 | ||||||
| Total, as published | 0.629 | ||||||
Spread is the highest minus the lowest judge answer. marks a spread above 0.40: the judges disagree, and the story is marked contested.
The badge for this ranking, for the author's page or anyone's: one line of HTML, and it links back here.
<a href="https://rubric.hrih.si/editions/2026-10-27/41/"><img src="https://rubric.hrih.si/badge/2026-10-27/41.svg" alt="Ranked #41 on Rubric, 27 Oct 2026" width="245" height="28"></a>Also covered by
No other coverage was clustered with this story.
Elsewhere
Elsewhere: HN —
Recorded for context only, checked 27 Oct 2026, 05:46 UTC. It played no part in the ranking.