Eine Gruppe AI-Agents hat einen Beweis für Navier-Stokes geliefert. Verifiziert in Lean, von Menschen noch nicht. Dazu GPT-6 Astra und Apples erstes Foldable. #programmierbar www.programmier.bar/podcast/news...
programmier.barNews 37/26: GPT-6 Astra // ChatGPT Image... | programmier.barDiese Woche geht’s um OpenAIs neues Modell GPT-6 Astra, ChatGPT Images 2.5, einen per AI geführten Beweis zum Navier-Stokes-Problem und tausende Agen...
0 reposts1 like