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%).
더 보기
