最近一直想要冲mac mini,也在纠结mac mini m6还是mac mini m4 pro 
都是24G + 512G的, 
mac mini m6,pdd差不多在8000左右 
mac mini m4 pro,我看国补也是8000左右 
日常也就是用ai-agent工具干活,dsh/codex一类 
问了ai也是说建议mac mini m4 pro? 
各位佬友的建议是什么?