Search and filter through extracted claims from AI researchers.
Showing 1801-1820 of 4537 claims
A single discovery could undermine the need for megascale data centers
Qwen will open-weight both the 3.8 Max model and related models
AI is impacting the field of tipping point detection and analysis
Math used to be strangely hard for LLMs, but is getting easier as AI becomes more capable
Astra can formalize mathematical arguments in Lean proof certificates
Baseten raised a $13B round and became an AI infrastructure decacorn
In GLM-5.2 experiments, quantizing more of the model actually preserved or improved performance
AI superforecasters have come close to the accuracy of top humans, with performance rising rapidly
Pipeline data may be stale or degraded.
Last synthesis: 2026-09-20. 9,010 pending.