Clues to a planet’s geologic history are contained in its interior structure, particularly its core. We detected reflections of seismic waves from the core-mantle boundary of Mars using InSight seismic data and inverted these together with geodetic data to constrain the radius of the liquid metal core to 1830 ± 40 kilometers. The large core implies a martian mantle mineralogically similar to the terrestrial upper mantle and transition zone but differing from Earth by not having a bridgmanite-dominated lower mantle. We inferred a mean core density of 5.7 to 6.3 grams per cubic centimeter, which requires a substantial complement of light elements dissolved in the iron-nickel core. The seismic core shadow as seen from InSight’s location covers half the surface of Mars, including the majority of potentially active regions—e.g., Tharsis—possibly limiting the number of detectable marsquakes.

Meteoroid impacts shape planetary surfaces by forming new craters and alter atmospheric composition. During atmospheric entry and impact on the ground, meteoroids excite transient acoustic and seismic waves. However, new crater formation and the associated impact-induced mechanical waves have yet to be observed jointly beyond Earth. Here we report observations of seismic and acoustic waves from the NASA InSight lander's seismometer that we link to four meteoroid impact events on Mars observed in spacecraft imagery. We analyzed arrival times and polarization of seismic and acoustic waves to estimate impact locations, which were subsequently confirmed by orbital imaging of the associated craters. Crater dimensions and estimates of meteoroid trajectories are consistent with waveform modeling of the recorded seismograms. With identified seismic sources, the seismic waves can be used to constrain the structure of the Martian interior, corroborating previous crustal structure models, and constrain scaling relationships between the distance and amplitude of impact-generated seismic waves on Mars, supporting a link between the seismic moment of impacts and the vertical impactor momentum. Our findings demonstrate the capability of planetary seismology to identify impact-generated seismic sources and constrain both impact processes and planetary interiors.