SMRTR summary
VibeMathed tracks AI-solved math problems, with 440K+ logged, 325 fully resolved, and 130 machine-verified via Lean. Some problems had remained open for up to 87 years before AI solved them.
SMRTR provides this summary for quick context. The original article belongs to Hacker News.
Read the original articleThis archive is built from SMRTR newsletter stories. Subscribe for hand-picked stories without the extra noise.
Researchers at the University of Zurich used an "underwear index" to measure soil health, having 1,000+ citizen scientists bury cotton underwear for 60 days and tracking...
Terminal-Bench-Science is a Stanford benchmark testing AI agents on 70 real scientific tasks—spanning simulations, data analysis, and theorem proving—built with input from...
Archaeologists in western Turkey found a 2,500-year-old marble statue at Sardis, later repurposed as Roman paving stones. The sculpture blends Greek and Lydian styles, suggesting...
The NSF is funding three new Science and Technology Centers with $90M over five years. One UT Austin-led center will use AI and robotics to improve human-robot collaboration in...
NASA's Roman Space Telescope launches August 30, operating like a wide-angle lens to survey areas 100 times larger than Hubble—complementing Webb and Hubble by detecting...
The body adapts to summer heat over weeks by increasing sweating and blood flow, but extreme heat waves can overwhelm these responses. Cold adaptation is minimal since humans...