真正零指导的本科生独立发表案例集中在算力需求低、理论性强的方向，比如算法优化、理论机器学习或某些形式化验证工作。