The Signal

Everything that matters in AI, with our take.

Updated through the day. Every headline links straight to the source. The two lines underneath are ours.

agents151 research125 infra70 claude63 capital52 labs51 safety42 culture37 security35 anthropic31 regulation30 openai24 evaluation18 enterprise13 reasoning12 robotics12

arXiv cs.CLPaper4d ago

Ramanujan Challenge Results: AI-Assisted Evaluation Pipeline for Multi-Format Proofs

The Ramanujan Challenge moves the goalposts on mathematical capability benchmarks. This is the first time AI has solved open conjectures, which is real progress, but the harder story is the evaluation problem. As models get better at mathematics, humans can't keep up with grading. The AI-assisted evaluation pipeline they built is probably as important as the benchmark itself. For builders in math or verification: this is the infrastructure you'll need.

research math benchmarks reasoning

Hacker News (AI, 50+ points)Article6d ago

Classification of Finite Simple Groups Formalized in Lean

This is a genuine milestone in formal mathematics, not a breakthrough in AI per se. But it signals that language models plus proof assistants are starting to solve hard structural problems. For researchers building on this stack: you now have a proof that LLMs can handle mathematical formalization at scale. For builders: this is where agents start to look less experimental and more like a capability tier.

research math formal-verification