Search and filter through extracted claims from AI researchers.
Showing 1141-1160 of 2685 claims of type "fact"
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
Self-sustaining AI-driven cyber-threats are no longer theoretical
Resolution AI safety organization raised $160 million from Coefficient Giving and is scaling up fast
Pipeline data may be stale or degraded.
Last synthesis: 2026-09-20. 8,975 pending.