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%).
顯示更多
