THE COLLECTION
EVERY SIGNAL, SORTED.
Search the whole shelf by topic, tool, term, or plain old curiosity.
SHOWING 2 OF 229 STORIES
ISSUE 075MORNING
AI and Mathematical Discovery
OpenAI says 10,000 agents helped crack a 90-year-old math problem
The company released a 166-page Navier–Stokes proof and a Lean formalization. That makes the claim inspectable, not automatically settled.
ISSUE 069MORNING
Agent Teams and Coordination
Replacing one AI teammate can make the whole team talk more
A controlled study found that swapping in an equally experienced agent barely changed task scores, but raised the communication required for each unit of progress by 16 to 63 percent.