Technologia

LLMNaukaRozumowanie

ByteDance prezentuje Seed-Prover: Przełom w automatycznym dowodzeniu twierdzeń matematycznych

ByteDance Seed Team wprowadza Seed-Prover i Seed-Geometry – systemy, które redefiniują automatyczne dowodzenie twierdzeń matematycznych, osiągając wyniki bliskie ludzkim ekspertom na olimpiadach matematycznych i demonstracyjnie rozwiązując 5 z 6 problemów finału IMO 2025. Rozwiązania łączą moc modeli językowych z rygorem formalnych weryfikacji.

Read More
Robotyka

OpenMind testuje system operacyjny dla humanoidalnych robotów, celując w uniwersalność

OpenMind, kalifornijski startup założony przez profesora Jana Liphardta, opracowuje OM1 – oprogramowanie mające pełnić rolę systemu operacyjnego dla robotów humanoidalnych. Firma stawia na otwartość i agnostycyzm sprzętowy, porównując swoje ambicje do roli Androida w świecie robotyki. Celem jest umożliwienie bardziej naturalnej interakcji między człowiekiem a maszyną, co ma kluczowe znaczenie w kontekście rosnącej obecności robotów w codziennym życiu.

Read More