AI快开门

发现最好的AI工具

2025-11-25

AI4S与数学推理突破

GPT-5早期科研版帮助数学家破解Erdős难题、将生物实验推理压缩至分钟级;陶哲轩借助Gemini十分钟攻克连续整数结构难题;吴恩达推出ICLR级论文自动评审Agent。AI正从“聊天工具”升级为“硅基科研员”,显著加速跨学科研究进程,推动科研范式转变。