The second batch of “First Proof” problems is meant to evaluate AI’s usefulness for research-level math. The best model got six or seven of the ten questions right.

In October 2024 I attended a workshop at Harvard University where mathematicians talked through the uses of artificial intelligence in their field. Most were less worried about the future of math than ...

Software used to come in a box with a one-time price tag; now most companies charge monthly or annual subscriptions. AI companies are already experimenting with new pricing approaches like per-token ...

I'm that 5G guy. I've actually been here for every "G." I've reviewed well over a thousand products during 18 years working full-time at PCMag.com, including every generation of the iPhone and the ...