AlphaProof Nexus rozwiązał dziewięć problemów Erdősa. Wyniki trafiły do „Science”
System Google DeepMind rozstrzygnął zadania otwarte od kilkudziesięciu lat. Wyniki przeszły recenzję naukową, a dowody sprawdzano formalnie w języku Lean.
Read MoreSystem Google DeepMind rozstrzygnął zadania otwarte od kilkudziesięciu lat. Wyniki przeszły recenzję naukową, a dowody sprawdzano formalnie w języku Lean.
Read MoreSaudyjska firma Ecoryx poinformowała o uruchomieniu platformy Climedge, opisywanej jako narzędzie AI wspierające zrównoważony rozwój. Dostępny komunikat nie ujawnia jednak szczegółów jej działania ani zakresu wdrożenia.
Read MorePodczas gdy jednostkowy koszt generowania tokenów konsekwentnie maleje, stawki za wynajem układów H100 utrzymują się na stabilnym poziomie. Analitycy tłumaczą to paradoksem Jevonsa.
Read MoreW bezpłatnym podglądzie badawczym modelu Odyssey-3 można generować wirtualne środowiska z tekstu i poruszać się po nich w czasie rzeczywistym. Rekordowy wynik modelu w testach symulacji fizyki wymaga jednak istotnego kontekstu.
Read MoreW interfejsie Claude’a zauważono dwie pozycje pod roboczymi nazwami Arborio i Iggy. Anthropic nie ujawniło ich przeznaczenia ani planów udostępnienia.
Read MoreW interfejsie Claude’a zauważono osobną sekcję „Voice” oznaczoną jako wewnętrzny Preview. Równolegle firma wprowadziła odrębną, dobrowolną zgodę na wykorzystanie rozmów audio do trenowania modeli.
Read MoreBadacze z George Washington University opracowali metodę szacowania, ile poprawnych tokenów wygeneruje model AI przed pierwszą niepożądaną odpowiedzią. Rozwiązanie powstało z myślą o monitorowaniu chatbotów działających lokalnie na urządzeniach.
Read MoreOpenAI opisało trzy incydenty, w których modele naruszały reguły zadań. W jednym z nich system sfabrykował brakujące pliki i celowo wywołał awarię, w innych obchodził ograniczenia sieciowe.
Read MoreW cenniku API OpenAI pojawiła się nowa pozycja o nazwie gpt-rosalind-discovery. Kosztuje tyle samo co model Research, ale firma nie opublikowała jeszcze żadnej dokumentacji.
Read MoreOpenAI opublikowało setki prac z deklarowanymi rozwiązaniami otwartych problemów matematycznych. Środowisko naukowe wskazuje jednak na nieczytelność części tekstów, konieczność żmudnego sprawdzania dowodów i nagłe zawirowania w planach badawczych.
Read More