DeepSeek to rozwijająca się rodzina modeli LLM zaprojektowana do zaawansowanej analizy tekstu i kodu. Zyskała popularność wśród deweloperów i researcherów w 2024 roku.
DeepSeek-Prover-V2: Łączenie intuicji z formalnym dowodzeniem matematycznym Choć DeepSeek-R1 znacząco poszerzył możliwości AI w zakresie nieformalnego rozumowania, formalne dowodzenie matematyczne wciąż stanowiło wyzwanie dla sztucznej inteligencji. Wynika to głównie z faktu, że tworzenie weryfikowalnych dowodów wymaga zarówno głębokiego zrozumienia koncepcji, jak i umiejętności budowania precyzyjnych, krok po kroku, logicznych argumentów. Ostatnio jednak nastąpił przełom w […]
DeepSeek robi furorę DeepSeek, chińskie laboratorium sztucznej inteligencji, stało się ostatnio tematem numer jeden w mediach. Stało się tak, gdy jego aplikacja z chatbotem wspięła się na szczyt rankingu App Store firmy Apple, a także Google Play. Modele AI DeepSeek, stworzone przy użyciu technik efektywnych obliczeniowo, skłoniły analityków z Wall Street oraz technologów do zadawania […]
Microsoft zabrania pracownikom korzystania z DeepSeek z powodów bezpieczeństwa danych Brad Smith, wiceprezes i prezes Microsoftu, podczas przesłuchania w Senacie potwierdził, że pracownicy firmy nie mogą używać aplikacji DeepSeek. Powodem są obawy związane z bezpieczeństwem danych oraz potencjalną propagandą. Więcej szczegółów można znaleźć w materiałach z przesłuchania. „W Microsoftzie nie zezwalamy naszym pracownikom na korzystanie […]
DeepSeek-GRM: Nowoczesne rozwiązanie AI dla firm Wiele firm ma trudności z wdrożeniem sztucznej inteligencji (AI) ze względu na wysokie koszty i złożoność techniczną, co sprawia, że zaawansowane modele są niedostępne dla mniejszych organizacji. DeepSeek-GRM rozwiązuje ten problem, zwiększając efektywność i dostępność AI, usprawniając sposób, w jaki modele AI przetwarzają i generują odpowiedzi. Model wykorzystuje Generatywne […]
Sztuczna inteligencja – od dawna z nami, ale teraz w centrum uwagi Sztuczna inteligencja nie jest nowym wynalazkiem. Badania nad AI rozpoczęły się już w latach 40. XX wieku, a pionierzy tacy jak John McCarthy pokazali światu, jak ogromny potencjał kryje się w tej technologii. To, co jest stosunkowo świeże, to ogromna fala zainteresowania wokół […]
NEWSLETTER
Bądź na bieżąco z AI
Co tydzień na Twoim mailu: podsumowania wydarzeń, top aplikacje, triki, konkursy i darmówki.
