周报：Neuralink助失语者意念说话、AI做新药等
[Neuralink] https://neurotech.com/news/2026-10-30-neuralink-connects-to-grok-ai-agent-enabling-als-patient-to- [Axiom Math CFSG] https://axiommath.ai/research/the-enormous-theorem-formalized [Claude 药物研发] https://www.anthropic.com/research/early-progress-