Which AI stories has SIREN scored in this window? · Which AI news tags have SIREN pages? · Which AI tags has SIREN scored stories about?
What has SIREN scored about AI proofs?
AI-generated proof and formal-math stories scored in the newsroom or archive — coverage counts, not a capability ranking. A tag page lists scored stories whose title or summary matched a published needle — not a probability of harm and not a ranking of the companies named.
Which scored stories are tagged AI proofs in this window?
Which AI stories has SIREN scored in this window?
Which older scored stories are tagged AI proofs?
Kept in the permanent archive after they left the live window. Still scored stories — not a forecast.
- OpenAI Withdraws Three AI Mathematics Papers Due to Sign Error in Key Proof 35.9
- Soon We'll Have Math Proofs That No One Understands, And They'll Still End Up Being Useful: Fields Medal Winner Jacob Tsimerman Who Joined OpenAI 35.9
- AI Math Challenges — US Scholar Criticizes OpenAI’s Rushed Proofs 35.5
- 112 bugs, 84 projects: LLMs pass the proof-of-concept but fail the developer's own tests - and the benchmark score swings on evaluation design alone 20.6
- OpenAI and Anthropic expect a catastrophe by 2027, and they're secretly planning... the PR response. 25.1
- OPENAI RELEASES HUNDREDS OF MATH MANUSCRIPTS WITH COMPUTER-CHECKABLE PROOFS 35.6
- AI and mathematics 19.9
- Wang Hong Solves the 3D Kakeya Conjecture: OpenAI Releases 175-Page 4D Proof Manuscript 35.6
- Top Mathematicians, Led by Terence Tao, Call for a Boycott of OpenAI's Machine-Generated Proofs 35.4
- “mathematics is not about proofs, but about understanding“ 18.0
- OpenAI mistranslated mathematics into code for its Navier-Stokes proof 31.0
- The most exciting claims from OpenAI’s heap of new proofs 20.5
Which older AI stories has SIREN kept in the archive?
What questions do people actually ask?
What has SIREN scored about AI proofs?
25 scored stories match this published needle on SIREN (1 in the live window, 24 older in the archive). AI-generated proof and formal-math stories scored in the newsroom or archive — coverage counts, not a capability ranking.
Which scored stories are tagged AI proofs in this window?
1 scored story matched this published needle in the current window. A tag page lists headlines — not a topic doom score.
Which older scored stories are tagged AI proofs?
Kept in the permanent archive after they left the live window. Still scored stories — not a forecast.
Which other tags have scored stories?
Other published tags that clear the substance gate, each linking What has SIREN scored about that tag?
Does SIREN publish a AI proofs doom score?
No. Activity tempo, not probability of harm. A tag page lists matching headlines — not a probability of harm and not a ranking of the companies named.