Which AI stories has SIREN scored in this window? · What has SIREN scored under Attention? · What has SIREN scored as Forums? ·
W(2;3,21) = 416 - a van der Waerden number conjectured by Kullmann in 2010, now proved with a Lean 4 kernel-checked proof [R]
33.8/100 SIREN scoreRead the full story →
w(2;3,21) = 416 - today proved with a Lean 4 kernel- checked proof (preprint + 13.6 GB evidence package). Every red-blue colouring of {1, ..., 416} contains a red 3-term or a blue 21-term arithmetic…
Source: What has SIREN scored via Reddit r/MachineLearning? · original · first seen by this index at
Names in this headline: Google DeepMind. A name is a match against the published entity list, not a claim the subject wrote the story.
Publisher: What has SIREN scored from reddit.com?. A publisher link means the original URL host cleared the outlet gate (≥5 scored stories in this window).
Topics: What has SIREN scored about AI proofs?. A topic link means the title or summary matched a published needle with enough other stories to clear the tag gate.
What is the score on this story?
| Component | Points |
|---|---|
| recency | 19.5 |
| source weight | 11.3 |
| entities | 3.0 |
| corroboration | 0.0 |
| engagement | 0.0 |
| severity | 0.0 |
| coverage | 0.0 |
| Total | 33.8 |
Every term is published and every input is public, so this number can be recomputed. It ranks the item inside the 800-item window; it is not a judgement about importance in the world.
How many sources carried this story?Corroboration
Carried by one source. That is the normal case — most items are reported once — and it is stated rather than left blank so a single-source item cannot be mistaken for a corroborated one.
Which related stories are in this window?
- Google Parent Alphabet Still Has the Ingredients to Win in an AI Pullback Despite Stock Price Hit 38.7
- Mistral Touts Cyber Capabilities of Its ‘Chonk’ AI Model 36.7
- Waymo Pioneer Thrun’s Dulo Raises $130M Seed for Hardware AI 41.7
- Anthropic-Themed Phishing Emails Bypass Top Security Tools 45.7
- AI Boom Drives a Jump in Lending, but Bankers Still Sound Cautious 38.7
What questions do people actually ask?
What is the score on this story?
Scored 33.8 of 100. Every term is published and every input is public, so this number can be recomputed. It ranks the item inside the 800-item window — not a judgement about importance in the world and not an item doom score.
How many sources carried this story?
Carried by one source. That is the normal case — most items are reported once — and it is stated rather than left blank so a single-source item cannot be mistaken for a corroborated one.
Which related stories are in this window?
5 related stories in the same window, each with its own permanent scored page.
Does SIREN publish an item doom score?
No. Activity tempo, not probability of harm. A permanent story page carries a tempo score decomposition and corroboration set, not a probability of harm.