回复@马小强86555:是的，这个在外网已经爆了，AI已经不是单纯的一个聊天工具了，而是解决人类无法解决的复杂难题，未来真的不可限量。然而，我们还在种地[允悲]//@马小强86555:回复@马小强86555:Lean 形式化验证由 GPT-6 Astra 完成，耗时 17 小时。 整篇论文 165 页，署名作者只有两个字：OpenAI。//@交易者简放:回复@Na-SO4:这是因为植物需要光合作用，本质还是农业概念[笑而不语]//@Na-SO4:光这段时间是可以的 除了光 其他科技惨不忍睹[流汗][流汗][流汗]