TechnologyOpenAI Model Cracks 80-Year-Old Erdős Math ProblemAn OpenAI reasoning model disproved a long-standing conjecture by mathematician Paul Erdős, finding new dot arrangements that beat what humans believed was the best possible.
TechnologyAI Breakthrough Cuts Energy Use 100x Without Losing AccuracyA Tufts University team showed that pairing classic symbolic logic with neural networks can match or beat large vision-language models on robotic tasks while using up to 100 times less energy.
TechnologyAI Cuts Wildlife Camera-Trap Analysis from a Year to DaysA WSU and Google study shows fully automated AI matches human experts on 85–90% of camera-trap conclusions — compressing months of conservation work into a handful of days.