BREAKING: OpenAI’s solution to Navier–Stokes does not match its Lean verification.
https://x.com/ValerioCapraro/status/2108153427742032300
Post #1046
76
- Oct 9, 2026پ.ن ما که میگم منظورم خودم نیست من که فیزیک بلد نیستم اصلا.
- Oct 9, 2026امیدوار باشید ای آی هنوز جای مارو نگرفته
- Oct 5, 2026https://www.sciencealert.com/after-25-years-physicists-can-finally-measure-the-other-kind-…
- Sep 29, 2026نام مدلهای کلاد معنیهای جالبی دارن: Haiku هایکو قالبی ژاپنی است که در قرن هفدهم با شاعر…
- Sep 28, 2026#fun
- Sep 9, 2026video post