科学OpenAI展示人工智能突破，重燃失控风险担忧
OpenAI称，一套尚在训练中的内部人工智能系统协调约1万个智能体，在88小时内解决了纳维–斯托克斯存在性与光滑性问题，并由Astra用17小时在Lean中形式化和验证结果。该成果仍需数学界进一步审查，但已引发对前沿人工智能能力跃升、竞争失衡及失控风险的担忧。
C
CryptoSlate★★★★☆2026-09-09 22:40原文
OpenAI展示人工智能突破，重燃失控风险担忧
科学科学科学OpenAI称，一套尚在训练中的内部人工智能系统协调约1万个智能体，在88小时内解决了纳维–斯托克斯存在性与光滑性问题，并由Astra用17小时在Lean中形式化和验证结果。该成果仍需数学界进一步审查，但已引发对前沿人工智能能力跃升、竞争失衡及失控风险的担忧。
CCryptoSlate★★★★☆2026-09-09 22:40原文
科学Minutes Reader 扩展把原网页整理成专注的阅读版式，并可按需翻译原文与视频字幕。目前内测中，名额有限。