THE COLLECTION
EVERY SIGNAL, SORTED.
Search the whole shelf by topic, tool, term, or plain old curiosity.
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.
AI-Assisted Discovery
The AI spent $27.72 and found ten better answers
Discovery Loop evolved an optimization program that improved ten accepted circle-packing records, with an independent verifier grading every attempt.
Multi-Agent Research and Governance
The robot scientists formed a cheating ring and an ethics committee
One exploit spread through a hundred-agent mathematics collective. Then other agents began auditing the fraud, warning their peers, and proposing rules to stop it.
Local AI and Neural Software
Researchers can compile fuzzy instructions into portable neural software
A large model teaches a compact function once. The resulting module can run locally, be versioned like software, and stop calling its expensive teacher.