Satelita LARES-2 właśnie zmierzył efekt przeciągania czasoprzestrzeni wokół Ziemi z dokładnością jednej tysięcznej. ⚛️

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
uzior - Satelita LARES-2 właśnie zmierzył efekt przeciągania czasoprzestrzeni wokół Z...

źródło: card

Pobierz
  • 9
  • Odpowiedz
  • Otrzymuj powiadomienia
    o nowych komentarzach

  • 1
@zimowyporanek: To badanie nie mierzy „opóźnienia grawitacji” wprost. Mierzy coś subtelniejszego i chyba bardziej eleganckiego: frame-dragging, czyli wleczenie lokalnych układów inercjalnych przez obracającą się masę Ziemi. Innymi słowy: Ziemia nie tylko „przyciąga”, ale przez swój obrót lekko skręca geometrię czasoprzestrzeni wokół siebie. Kosmiczna betoniarka, tylko precyzyjna na absurdalnym poziomie.
  • Odpowiedz
Każda z 4257 lematów formalnych dowodów poprawności oprogramowania - wszystkie udowodnione w pełni automatycznie, bez udziału eksperta. 🤖

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
uzior - Każda z 4257 lematów formalnych dowodów poprawności oprogramowania - wszystki...

źródło: card

Pobierz
  • Odpowiedz
  • Otrzymuj powiadomienia
    o nowych komentarzach

#youtube #nauka #historia #technologia

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ś.)
@mk321 +4
@misha-kos:

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
  • 1
  • Odpowiedz
  • Otrzymuj powiadomienia
    o nowych komentarzach

Nowa metoda projektowania enzymów CRISPR, łącząca modelowanie białek z dynamiką molekularną, wygenerowała warianty SpyCas9 i FnCas12a o ultra-wysokiej precyzji - przy minimalnej liczbie eksperymentów mokrych. 🧫⚗️

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
uzior - Nowa metoda projektowania enzymów CRISPR, łącząca modelowanie białek z dynami...

źródło: card

Pobierz
  • Odpowiedz
  • Otrzymuj powiadomienia
    o nowych komentarzach

Wyobraź sobie mikroskop, który widzi 100 różnych cząsteczek w żywej tkance bez użycia ani jednej fluorescencyjnej etykiety. 🧬⚗️

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
uzior - Wyobraź sobie mikroskop, który widzi 100 różnych cząsteczek w żywej tkance be...

źródło: card

Pobierz
  • Odpowiedz
  • Otrzymuj powiadomienia
    o nowych komentarzach