OpenAI'ın ajan sürüsü ünlü bir akışkan denklemini 88 saatte çözdü.
OpenAI salı günü yayımlanmamış bir modelinin ünlü bir akışkan denklemini çözdüğünü açıkladı. Modelin yaklaşık 10.000 kopyası 88 saat çalıştı, kanıtı sonra bir yazılım denetledi. Bir NYU matematikçisi OpenAI'ı hem konuyu kapmakla hem de ortağının adını sildirmeye çalışmakla suçluyor. (Düzeltme: üç matematikçi 6 Ekim'de denetlenen Lean ispatının yazılı ispatla örtüşmediğini gösterdi.)
Bu neden önemli?Makineler artık matematikçilerin onlarca yıldır zorlandığı bir sınırı zorluyor. Laboratuvarların yarıştıkları insanlara nasıl davrandığı da en az sonuç kadar önemli.
Uygulamada oku — ücretsiz, 9 dilde
İlgili haberler
Claude 123 kod kütüphanesinin bellek hatasıyla çökmediğini kanıtladı.2026-10-24İngiltere biyolojik tehditlere karşı yapay zekâ laboratuvarı kuruyor.
2026-10-24Anthropic'in Mythos 5 modeli zararlı dediği saldırıyı sürdürdü.
2026-10-24Amerikalıların çoğu yapay zekânın topluma zarar verdiğini söyledi.
2026-10-23Microsoft'un yapay zekâsı zor vakalarda pratisyen doktorları geçti.
2026-10-23