Przemek Chojecki | PC's banner
Przemek Chojecki | PC's profile picture

Przemek Chojecki | PC

@prz_chojecki • 15,276 subscribers

Research-level Math Data + hard STEM & coding RL tasks for LLMs @ https://t.co/v2xNrVT0v6, PhD in mathematics.

Shorts

The Growing Map of Open Mathematical Problems. We mapped 15,000+ conjectures from UnsolvedMath to show potential links between concepts. It also shows how under formalized the frontier is (less than 10%).

The Growing Map of Open Mathematical Problems. We mapped 15,000+ conjectures from UnsolvedMath to show potential links between concepts. It also shows how under formalized the frontier is (less than 10%).

23,542 Aufrufe