Daniel San
@dani_avila7
Head of AI at | OSS project (32k⭐️)
가입 January 2015
3.4K 팔로잉 중 35K 팬
Anthropic's new plugin puts a team of agents on hard math
/plugin install math-proof@claude-plugins-official
Two skills for research level problems, both ending in a self contained proof
/math-proof:solo has one Claude work the problem, saving each step to notes
/math-proof:siege has a judge assign questions to parallel workers for hours, with every proof checked twice
더 보기
