Shin-Cheng Mu

luma.com/…

• Forwarded from #functional-thursday
• 2026-09-04 02:38:30

Shin-Cheng Mu

luma.com/…

• Forwarded from #functional-thursday
• 2026-09-04 02:38:30

呂康豪

OpenAI 官宣已形式化證明 Millennium Prize 裡的 Navier–Stokes 問題：

openai.com/index/navier-stokes-solution

• Forwarded from #ai-learning
• 2026-09-09 05:09:43

呂康豪

OpenAI 官宣已形式化證明 Millennium Prize 裡的 Navier–Stokes 問題：

openai.com/index/navier-stokes-solution

• Forwarded from #ai-learning
• 2026-09-09 05:09:43

chewei 哲瑋 _

• Forwarded from #functional-thursday
• 2026-09-24 00:55:16