Zespół badaczy (Kan, Kan, Ertel) wziął ogólnego agenta kodowego LLM (Claude Code) i zamiast narzucać mu sztywną strategię dowodzenia - jak robiły to wcześniejsze systemy - pozwolił mu samodzielnie wybrać metodę, pod kontrolą weryfikatora Coq. Efekt: 100% pokrycia dla 4257 lematów w logice separacyjnej Iris, 318 lematów w reglang (wcześniejsze LLM udowodniły ~1/8), a także
Wszystko
Najnowsze
Archiwum
1
Spora rzeźba meteorytu. W Alsterpark w Hamburgu są i inne zanakomite

Zanim zbudowaliśmy balony, samoloty i rakiety lataliśmy ... latawcami. Dzieło sztuki "Warsztaty o meteorytach" znajduje się na terenach Alsterparku w Hamburgu. Materiał: beton z dodatkiem palladu w postaci płatków. Wysokość wynosi około 250 centymetrów. Pallad to metal z wyglądu identyczny z platyną
z- 2
- #
- #
- #
2
OSK przeszkolą kierowców z prawem jazdy? Jest szansa na likwidację absurdu

Osoby, które mają już prawo jazdy, będą mogły legalnie skorzystać z usług ośrodków szkolenia kierowców, aby doszkolić swoje umiejętności. Chodzi o sytuację, kiedy np. od dawna nie jeździli i nie czują się pewnie za kierownicą.
z- 0
- #
- #
1
Sztuczna inteligencja w analizie rynku pracy

Zaproponowane przez naszego naukowca podejście opiera się na stworzeniu systemu agentów realizujących zadania z zakresu ekstrakcji informacji, takie jak filtrowanie nieistotnych treści, określenie branży, wyszukanie umiejętności oraz ich klasyfikacja w oparciu o graf wiedzy ESCO.
z- 0
- #
- #
- #
- #
- #
- #
326
Chrapanie to nie objaw, lecz przyczyna bezdechu - wibracje niszczą mięśnie gardł

Naukowcy z Uniwersytetu w Umeå wykazali, że wibracje podczas chrapania uszkadzają mitochondria komórek mięśniowych gardła i napędzają błędne koło choroby.
z- 87
- #
- #
- #
- #
- 0
Zespół badaczy (Kan, Kan, Ertel) wziął ogólnego agenta kodowego LLM (Claude Code) i zamiast narzucać mu sztywną strategię dowodzenia - jak robiły to wcześniejsze systemy - pozwolił mu samodzielnie wybrać metodę, pod kontrolą weryfikatora Coq. Efekt: 100% pokrycia dla 4257 lematów w logice separacyjnej Iris, 318 lematów w reglang (wcześniejsze LLM udowodniły ~1/8), a także
źródło: card
Pobierz44
Milioner dążył do nieśmiertelności. Usłyszał szokującą diagnozę

"Zdiagnozowano u mnie chorobę autoimmunologiczną" - poinformował w mediach społecznościowych amerykański milioner Bryan Johnson. U mężczyzny, który dążył do nieśmiertelności i zainwestował w swoje przedsięwzięcie ogromną sumę pieniędzy, stwierdzono autoimmunologiczne zapalenie żołądka.
z- 44
- #
- #
- #
- #
- #
- 2
Zebrałem kilkanaście ciekawych kanałów na Youtube. Być może znajdziecie coś ciekawego dla siebie. Chętnie też poznam inne.
https://wykop.pl/link/7973709/kursk-czesc-druga/komentarz/137642093/mozecie-polecic-jakies-inne-kanaly-na-yt-tego-typu-w-dobie-tego-ai-slopu-i-filmikow-opartych-na-artykulach-z-wikipedii#137684841
(Myślałem, żeby podzielić na kategorie, do każdego w skrócie napisać jaka tematyka i czego się spodziewać np. długie/krótkie. Ale na razie nie mam siły - wrzucam co mam. Jak będzie duże zainteresowanie to może zrobimy jakiś arkusz z filtrowaniem czy coś.)
Zebrałem kilka wartościowych kanałów.
Tematyka: nauka, historia, technologia, ekonomia, gospodarka, psychologia, językoznawstwo.
Nie wypisałem czym się zajmują (łatwo wejść w filmy i na szybko ocenić twóczość), jedynie nazwy kanałów (niech was nie zwiodą niektóre).
Podział na dwie grupy (długie, bardzo wartościowe i zbieranina innych - moźe
12
Becky Smethurst: Krótka historia czarnych dziur

Mirosław Dworniczak recenzuje i poleca. Brytyjska astrofizyczka i popularyzatorka nauki Becky Smethurst ("Dr Becky") w przystępny sposób wyjaśnia, czym są czarne dziury (od zwykłych do supermasywnych), jakie są ich właściwości i w jaki sposób ujawniają swoją obecność.
z- 0
- #
- #
- #
- #
- #
- #
4
Uskok San Andreas krytycznie obciążony - naprężenie najwyższe od 1000 lat

Naukowcy z Uniwersytetu Hawajskiego ostrzegają, że system uskoków San Andreas i San Jacinto osiągnął stan krytyczny. Jeśli 'brama trzęsień' w Cajon Pass się otworzy, gigantyczne trzęsienie może uderzyć w Los Angeles.
z- 2
- #
- #
- #
- 0
Zespół z Chin i USA opracował podejście PLM + fizyka: symulacje atomowe i automatyczne przeszukiwanie ścieżek konformacyjnych Cas przed cięciem DNA. Ujawniono kinetykę przejść stanów oraz reszty obniżające wierność. Nowe warianty SpyCas9 i FnCas12a biją dotychczasowe rekordy precyzji. (preprint, oczekuje recenzji)
Oznacza to szybsze i tańsze projektowanie bezpiecznych
źródło: card
Pobierz1
jak zagadać do dziewczyny

słuchajcie jak w szkole zagadać do dziewczyny bardzo dobrej ze wszystkich przedmiotów ?
z- 9
- #
- #
- #
- #
- #
- #
0
ZnanyLekarz daje polskim lekarzom AI. Ma odciążyć ich w szukaniu źródeł i badań

Pacjent zakłada, że lekarz jest na bieżąco z aktualnymi badaniami. W praktyce publikacji medycznych są miliony, a czasu na ich czytanie coraz mniej. ZnanyLekarz daje więc lekarzom Noa Evidence. To narzędzie AI, które ma streszczać badania, ale nie diagnozować i nie podejmować decyzji za człowieka.
z- 2
- #
- #
- #
- #
- #
- #
2
Inhibitory PARP zmieniły leczenie raka jajnika

Dlaczego w raku jajnika kluczowe są szybka diagnostyka, badania BRCA i inhibitory PARP? O nowoczesnym leczeniu mówi prof. Paweł Blecharz.
z- 1
- #
- #
- #
- #
- #
- #
5
Kosmiczny wiatr z kwazarów gasił całe galaktyki. Astronomowie: to przeczy modelo

We wczesnym wszechświecie masywne galaktyki umierały szybciej, niż przewidują modele. Winowajcą okazał się potężny wiatr napędzany przez czarne dziury, który wypycha gaz potrzebny do narodzin gwiazd.
z- 1
- #
- #
- #
- #
- 0
Naukowcy z Columbia University opracowali PLANCK - metodę, która łączy obrazowanie wibracyjne (podczerwień/Raman) z AI. Odkryli, że widma wibracyjne korelują z obrazami spektrometrii masowej na poziomie >0.9. Model przewiduje rozmieszczenie ≥100 gatunków molekularnych bezpośrednio z obrazów, bez żadnego barwienia.
To jak nauka czytania „niewidzialnego atramentu” komórek - taniej, szybciej i bez ingerencji w żywy organizm. Idealne
źródło: card
Pobierz4
Grzyb po którym widzisz... MAŁE GNOMY (wiele przypadków)

Czy istnieje grzyb, po którym ludzie widzą małe postacie, gnomy albo miniaturowych ludzi chodzących po pokoju? Tak... i nie jest to pojedynczy przypadek. Skąd się biorą te małe postacie na "haju"?
z- 1
- #
- #
- #
3
Messi jest stary, niski i powolny. Tylko co z tego?

Messi ma 39 lat i 170 cm wzrostu jest niższy niż prawie każdy obrońca, przeciwko któremu gra. Nigdy nie był oszałamiająco szybki, a teraz jest wolniejszy. Jak ktoś, kto ma tak niewielkie predyspozycje fizyczne (przynajmniej w porównaniu z rówieśnikami), może być najlepszym graczem na boisku?
z- 1
- #
- #
- #
- #
- #
- #
281
Sonda New Horizons wybudzona. Rekordowy okres hibernacji dobiegł końca

Po blisko roku hibernacji sonda New Horizons wznowiła komunikację z Ziemią i jest w pełni sprawna. Według dostępnych informacji statek rozpoczyna przekaz informacji naukowych z odległego pasa Kuipera, kontynuując jedno z najbardziej ambitnych kosmicznych badań XXI wieku.
z- 19
- #
- #
- #
- #
- #
- #




Zespół z udziałem Rogera Penrose'a wykorzystał laserowe pomiary odległości do satelity LARES-2 i jego poprzedników LAGEOS oraz GRACE. Uzyskali względną niepewność na poziomie 0,001 - dziesięciokrotnie lepiej niż dotąd. Efekt frame-dragging, przewidziany przez ogólną teorię względności, polega na wirowaniu czasoprzestrzeni wraz z obracającą się masą.
Wynik potwierdza Einsteina w skali Ziemi i eliminuje alternatywne modele grawitacji, np. teorię Cherna-Simonsa. Dodatkowo
źródło: card
Pobierz