Which AI stories has SIREN scored in this window? · What has SIREN scored under Attention? · What has SIREN scored as Press? ·
Axiom Math wants to keep AI slop out of mathematics
51.6/100 SIREN scoreRead the full story →
As AI floods math with unchecked proofs, Axiom Math is betting on verification. The startup’s AI agents just formally verified the Stacks Project, one of the field’s biggest libraries.
Source: What has SIREN scored via TechCrunch — AI? · original · first seen by this index at
Publisher: What has SIREN scored from techcrunch.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 agents?, What has SIREN scored about AI startups?, What has SIREN scored about AI slop?, 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.7 |
| source weight | 15.0 |
| corroboration | 12.5 |
| engagement | 4.4 |
| entities | 0.0 |
| severity | 0.0 |
| coverage | 0.0 |
| Total | 51.6 |
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
2 sources carried this. First: techcrunch-ai at 2026-11-05 16:16:45 UTC.
0.1 hours separated the first sighting from the next independent one.
Independent carriers: bluesky-ai.
Which related stories are in this window?
- OpenAI launches GPT-6 Cyber with 'Critical' cybersecurity rating 39.8
- Visa’s AI shopping benchmark: Google and Meta top, Claude third 36.8
- OpenAI debuts GPT-6 Cyber, touting better performance – and safety guardrails 39.8
- OpenAI says its new cybersecurity model is better at not hacking other companies 67.3
- Grimes is going to star in an AI movie that’s coming to theaters 33.8
What questions do people actually ask?
What is the score on this story?
Scored 51.6 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?
2 sources carried this. Independent carriers count toward any lead claim; derived carriers are labelled mechanical and excluded.
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.