Skip to content
Hot storiesContinuously updated

OpenAI万名智能体求解纳维-斯托克斯方程引关注

1 reports1 reporting sourcesUpdated 14 hours ago

Start here

AI overview

2026年11月4日，据Hacker News报道，OpenAI动用了运行GPT-6 Astra以及未发布模型的10,000个AI智能体，投入数百万美元资金，成功发现了纳维-斯托克斯方程特定问题的解析解。这一研究成果在数学界引发巨大震动。同时，相关讨论结合软件测试工具Cucumber的Gherkin规范，深入剖析了AI公司重金投入数学证明背后的形式化验证与系统指导逻辑。

AI-generated from reports · Updated 13 hours ago

Latest developmentsNov 4 15:15
OpenAI动用万个AI智能体耗资数百万美元发现纳维-斯托克斯方程特定解析解。

Report timeline

Follow the reports to see different sides of the story.

Nov 4
  1. Hacker News · AI
    为什么 AI 公司如此大力投入数学证明？

    OpenAI 动用运行 GPT-6 Astra 和未发布模型的 10,000 个 AI 智能体，耗资数百万美元发现了纳维-斯托克斯方程特定问题的解析解。这一突破对数学研究领域带来巨大震动，文章借软件测试工具 Cucumber 的 Gherkin 规范，深入探讨了 AI 公司重金投入数学证明背后的形式化验证与系统指导逻辑。

Story heat trend

Current heat 7·Comparable peak 10（Nov 4 16:00）·Comparable change, last 24 hours–

02.557.510Nov4Nov4Nov5Nov5

Trends compare only the same parties observed continuously, so the scope can be narrower than current heat counts. Move the pointer or tap the chart to see hourly heat; use the left and right arrow keys on a keyboard.