Back to the full story2 sources · OpenAI says its next AI model Astra cracked ten long-unsolved math problems for roughly $2,000◆ Analytics
OpenAI says its next AI model Astra cracked ten long-unsolved math problems for roughly $2,000
Deterministic text analytics computed across all 2 sources. Frequency, entity overlap, and claim overlap — computed counts only. Nothing is rated true or false.
01
Frequency Analytics
The most common words and exact phrases across every report in this cluster. Computed counts only.
Top words
modelopenaiastranextmathconstructionannouncementconjecturepublishedcheckable
Top phrases
ai modelnext ai modelnext ai
02
Entity Overlap
Names detected in the report text: which appear across multiple sources, and which only one source mentions.
Across multiple sources
None mentioned by more than one source.
Unique to one source
- OpenAI · Quartz
- Astra · Quartz
- Lean · Quartz
- Wanna · Gizmodo
- Connes’s · Gizmodo
- Okay · Gizmodo
03
Claim Overlap
Near-identical sentences found in two or more reports, versus sentences that appear in only one. Text match only — nothing is rated true or false.
Repeated across sources
No sentence appeared in more than one source.
Appears once
- "The company published machine-checkable Lean 4 proofs on GitHub for all 10 results, including the first explicit construction of a non-sofic group The company published machine-checkable Lean 4 proofs on GitHub for all 10 results, including the first explicit construction of a non-sofic group" · Quartz