@dotey: OpenAI 正式宣布：其内部模型解决了 Navier-Stokes 千禧年难题。论文和 Lean 形式化证明已公... | ReplyWatcher

Pricing Hot Tweets Codex alert

Back to opportunity inbox

Loading data

Find rising X conversations, understand the reply window, and draft useful responses before the thread gets crowded.

Product

Hot Tweets Pricing Codex alert Preferences

Account

@dotey: OpenAI 正式宣布：其内部模型解决了 Navier-Stokes 千禧年难题。论文和 Lean 形式化证明已公... | ReplyWatcher