ISS astronauts resume duties after air leak evacuation, SpaceX targets record $75bn IPO, and NASA decommissions decade-long Mars MAVEN mission

International Space Station astronauts have returned to normal duties after being ordered to shelter in docked spacecraft due to a potential air leak; Russian cosmonauts were prepared to make repairs but officials determined no urgent action was needed after an hour and a half of assessment.

SpaceX is pursuing the largest initial public offering in history, targeting up to $75 billion in funding that would value the company at $1.77 trillion and position Elon Musk toward becoming a trillionaire.

NASA announced the decommissioning of the MAVEN spacecraft, which has orbited Mars for over a decade conducting atmospheric research and contributing to understanding of the Red Planet's climate.

Experts in the search for extraterrestrial intelligence have released updated guidelines for handling potential signals from space, emphasizing transparency while preventing premature announcements that could cause false alarms.

Gwynne Shotwell, SpaceX's president and chief operating officer, is serving as a stabilizing force for the company ahead of its blockbuster IPO, balancing Elon Musk's more unconventional approach to business operations.

Scientists warn that dismantling the U.S. ocean monitoring system could severely degrade global weather prediction accuracy and leave the world's climate observation capabilities compromised.

Researchers have successfully used yeast strains harvested from a 5,000-year-old mummy (Ötzi the Iceman) to bake sourdough bread, with plans underway to attempt brewing beer with the ancient microorganisms.

A new study demonstrates that bumblebees possess the cognitive ability to use tools to solve problems, joining a select list of species capable of demonstrating basic intelligence through problem-solving tasks.

Mathematicians have issued a formal declaration expressing concerns that advances in artificial intelligence for mathematics pose potential threats to mathematics as a discipline, following OpenAI's recent AI-generated proof.