Agenci Anthropic stworzyli pierwszy kompletny komputerowo zweryfikowany zapis dowodu Wielkiego Twierdzenia Fermata. Claude nie odkrył nowego dowodu, lecz przełożył istniejącą matematykę na formalny język Lean.
Trendy technologiczne
Trendy technologiczne pokazują, w jakim kierunku rozwija się świat nowych technologii i które rozwiązania mogą mieć największy wpływ na biznes, społeczeństwo oraz codzienne życie. W serwisie Techoteka znajdziesz najnowsze wiadomości o sztucznej inteligencji, robotyce, nowych urządzeniach, automatyzacji, technologiach mobilnych i cyfrowych usługach.
Śledzimy najważniejsze kierunki rozwoju branży technologicznej, nowe modele biznesowe, przełomowe innowacje i technologie, które zdobywają znaczenie na globalnym rynku. Publikujemy także informacje o trendach związanych z AI, IoT, chmurą, cyberbezpieczeństwem, elektroniką użytkową i transformacją cyfrową.
Mistral AI pozyskał 3 mld euro w rekordowej rundzie finansowania. Wycena francuskiej firmy wzrosła do ponad 21 mld euro, czyli około 24 mld dolarów.
Jaki zasilacz UPS wybrać do firmy i serwerowni? Sprawdź moc, topologię, czas podtrzymania, akumulatory i najważniejsze funkcje zasilacza UPS.
GPT-6 Astra to nowy model OpenAI stworzony z myślą o długich, wieloetapowych zadaniach i samodzielnej obsłudze komputera. Astra może korzystać z aplikacji, prowadzić research, pisać kod i przygotowywać gotowe rezultaty.
NVIDIA RTX Spark ma pozwolić uruchamiać duże modele i agentów AI lokalnie na komputerach z Windows. Pierwsze maszyny Acer i Lenovo pojawią się już w październiku.
Tesla Cybercab rozpoczął przejazdy z pasażerami w Austin. Dwuosobowe robotaxi nie ma kierownicy ani pedałów, a NHTSA sprawdza sposób dopuszczenia pojazdu do ruchu.
Krytyczna podatność CVE-2026-32475 w Elementor Pro pozwala atakującym wykonywać kod na serwerze. Trwają już aktywne ataki, a na podatnych WordPressach instalowane są web shelle.
Indie wystrzeliły EOS-05, pierwszy krajowy satelita obrazujący przeznaczony do pracy z orbity geosynchronicznej. Urządzenie ma umożliwić znacznie częstsze obserwowanie tego samego obszaru Ziemi.
BepiColombo rozpoczyna finałową fazę podróży do Merkurego. Po ośmiu latach od startu odłączono moduł transferowy, a 21 listopada dwa orbitery ESA i JAXA mają wejść na orbitę planety.
Generatywna AI pomogła stworzyć ponad 100 syntetycznych nośników RNA. Najlepszy z nich osiągnął w testach laboratoryjnych wydajność wielokrotnie przewyższającą porównywane naturalne i lipidowe systemy transportu.