A long-standing mathematical puzzle linked to the work of Paul Erdős has reportedly been solved with the help of ChatGPT, ...

From high school math modeling challenges to formal theorem-proving competitions, large language models (LLMs) are stepping into the competitive math arena. New datasets, benchmarks, and governance ...

Penn Engineers have developed a new way to use AI to solve inverse partial differential equations (PDEs), a particularly challenging class of ...

This story was produced in partnership with Open Campus, a nonprofit news organization that partners with local newsrooms to deliver expert coverage of higher education. Alyssa Pfeifer always ...

Boys are increasingly pulling ahead of girls in mathematics outcomes, particularly by the end of primary school, new global ...

Mistral Medium 3.5 is the rare Western entry in the open-source AI top tier, but it costs multiples more than Chinese rivals.

As the Trump administration guts weather agencies, a state’s low-cost flood tracking system offers a model for responding to ...

Experts have been working to fix this problem for decades — but outside of workplace plans, success has been hard to come by.

Goodfire claims Silico is the first off-the-shelf tool of its kind that can help developers debug all stages of the ...

Rusty Hicks concerned that Democrats could crowd each other out in ‘open’ system and hand victory to Republicans ...

As Big Tech pours unprecedented resources into scaling large language models, critics argue that transformer-based systems ...

Academia and journalism take different paths to find different truths. They need to do more to learn from each other’s approaches.