Przemek Chojecki | PC
@prz_chojecki
Research-level Math Data + hard STEM & coding RL tasks for LLMs @ PhD in mathematics.
参加 April 2016
1.1K フォロー中 15.2K ファン
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%).
もっと見る
