Goodfire's Forking Fast Slashes AI Reasoning Debug Costs by 100x
Goodfire's new paper makes resampling analysis of reasoning chains dramatically cheaper, letting researchers pinpoint the tokens that actually decide an LLM's answer.
// Intelligence
Reasoning
A focused feed of models, agents, research and open-source releases for people building with AI.
Updated
CMU's Jeremy Avigad Says AI Math Is Bigger Than Theorem Provers
Jeremy Avigad argues the fixation on neural theorem provers hides a far richer landscape of ways AI is reshaping how mathematics gets done.
DeepSeek V4 Pro Hits 90% on ARC-AGI-1 but Stalls on Harder Puzzles
DeepSeek V4 Pro hits 90.5% on ARC-AGI-1 and 61.3% on ARC-AGI-2, but extra reasoning barely moves the needle on abstract puzzles.
No stories match these filters.