science
Trending UpSnapshot Window: 2026-10-08 17:10 UTC · ← Back to Non-Crypto Overview
Topic Engagement Summary
Total Engagement - Comments: 178, Retweets: 566, Likes: 3968, Impressions: 366422
Verbatim Citations & Public Discussions 23 source posts analyzed
· 2026-10-08T11:11:59+00:00BREAKING: OpenAI’s solution to Navier–Stokes does not match its Lean verification. The most important article to read today is not one of OpenAI’s 700 AI-generated math papers. It is this other paper, making a deep and worrying point: A Lean-verified proof does not
AI visual note: The image shows the title page of a mathematical paper titled "Navier–Stokes Lost in Translation: Why Lean Verification of AI Autoformalisation Does Not Guarantee Correct Natural Language Proofs" by A. Bastounis, F. Circelli, and A. C. Hansen. The abstract argues that AI autoformalization can lose fidelity when translating natural language to Lean code, and specifically highlights that OpenAI's announced Navier–Stokes blow-up proof does not correspond to the formalization it claims to verify—aligning with the post's claim that Lean verification alone doesn't ensure the original proof's correctness.
· 2026-10-04T10:11:33.084000+00:00I modelled and 3D printed Artemis II and Apollo 8 spacecraft in 1:100
· 2026-10-06T01:09:23.892000+00:00Johnson Space Center
· 2026-10-07T15:09:46.907000+00:00NASA just released 814GB of Artemis II data, including nearly 1,000 new images, in their Artemis II Preliminary Lunar Science Report
· 2026-10-08T17:14:20+00:00What's in a wavelength? Different "types" of light unveil different data about our universe. Hubble detects visible light, along with some near-infrared wavelengths that "cut through" clouds of gas and dust, as seen in this view of the Pillars of Creation
· 2026-10-08T15:29:27+00:00Remember! Live: Sophie Adenot and her crewmates return to Earth.
AI visual note: A spacecraft descends via three large red-and-white parachutes against a cloudy sky, with the "esa" logo in the bottom left corner.
· 2026-10-08T16:50:41+00:00Folding models, protein diffusion, single-cell LLMs, and agent swarms: AI for science runs on a different model every hour and needs a different number of GPUs every day. Listen to leaders in computational biology from @GSK , @AnthropicAI , and @achira_ai on the main stage at
· 2026-10-08T17:14:25+00:00And in just a couple months, it'll be time for a whole new era of astronomy as the @NASARoman telescope's first images are revealed! Here's where Roman joins the scene wavelength-wise:
AI visual note: An infographic titled 'WAVELENGTH' comparing the spectral ranges of the Hubble, Webb, and Roman space telescopes across ultraviolet, visible, and infrared wavelengths.
· 2026-10-08T15:59:33+00:00BREAKING | EARTH + SPACE 24-HOUR ALERT: HURRICANES, EARTHQUAKES, FLOODS & A SOLAR STORM ALL ACTIVE LIVE EARTH + SPACE MONITORING live.spacetracker.org October 8, 2026 | SpaceTracker Global Hazard Journal ISAIAS | 85 MPH | SIMON | 65 MPH | M6.3 VANUATU | THAILAND
· 2026-10-08T15:48:19+00:00#08Oct | Clima Caracas informa: Pronóstico meteorológico próximas seis (06) horas – Válido desde las 12:00 – 18:00 HLV. Se prevé el incremento de la nubosidad asociada a lluvias de variada intensidad, algunas acompañadas de actividad eléctrica y ocasionales ráfagas de viento ...
· 2026-10-08T15:33:22+00:00Here's the latest track for #Hurricane #Isaias. #scwx #cltwx #ncwx
AI visual note: A weather map graphic titled "HURRICANE ISAIAS" from First Alert Weather, showing winds of 85 MPH, movement ENE at 10 MPH, and pressure of 975 mb, with the storm's projected path and wind speeds for Thursday PM (105 mph), Friday AM (110 mph), Friday PM (100 mph), and Saturday AM (40 mph).
· 2026-10-08T15:38:27+00:00Pretty cool view of Crew-12 splashdown
· 2026-10-08T15:35:07+00:00Splashdown! Welcome home Crew-12!
AI visual note: Three jellyfish swim just below the surface of dark blue water, with the sun reflecting brightly on the surface above them.
· 2026-10-08T16:21:00+00:00SHOCKING: A sperm whale was filmed with a giant squid in its mouth — this clip looks like a recreation, not the fight.
· 2026-10-08T16:41:00+00:00JUST IN: Neuroscience considers metacognition the highest form of Intelligence..... "The ability to think about your own thinking."
· 2026-10-08T15:08:42+00:00Isaias has strengthened with winds now up to 85 mph. Movement has increased to the ENE at 10 mph. The center is located about 380 miles south of the mouth of the Mississippi River.
· 2026-10-08T17:14:23+00:00Plus, one of Hubble's most unique capabilities is its ultraviolet vision, which reveals high energy activity in the cosmos, like the light from very young stars.
AI visual note: An ultraviolet astronomical image showing a dense star-forming region with bright blue stars and glowing nebular gas, labeled 'Ultraviolet' in the top-left corner.
· 2026-10-08T15:47:17+00:00“I saw the Past, Present and Future at the same time.” — Nikola Tesla
· 2026-10-08T16:57:12+00:00The Long Beach peninsula is already getting slammed by swells from hurricane Rachel and it isn’t even fully hitting until Sunday
· 2026-10-08T09:54:07+00:00Magical Blue Tears light up Pingtan’s shores this National Day holiday! Recently, vibrant blue tears on “auto-mode” — glowing naturally as waves break — flourished at Liuxiu Village. Encounter the sea’s shimmering blue starlight. #ChinaTravel #Fujian #bluetears #tourism #sea
· 2026-10-08T16:58:04+00:00deprem bilimci Whats^^^App İletişim: 0501.579.43.50 O bakışını bir kez daha yakalarsam bu sefer gözlerimi kaçırmam. #İstanbul #dudullu #çamlıca x.com/i/lists/210824 …
AI visual note: A woman in a white crochet bikini takes a mirror selfie on a patio with striped outdoor furniture, holding a glass of champagne with mountains visible in the background.
· 2026-10-08T17:18:31+00:00Liệu chúng đang giao phối? Hay đó là một cuộc xô xát giữa vợ và chồng? Những người yêu động vật có thể biết câu trả lời chính xác.
· 2026-10-08T17:16:26+00:00P / np is not provable and it’s not provable that it’s not provable because a bunch of grunts painted a chi ro on their shield.