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.

The tool is better at adding sources and producing files in multiple formats—but you still have to double-check its work. David Nield is a technology journalist from Manchester in the U.K. who has ...

Influencers are using prediction market odds to sow doubt in vote counting, in some cases in posts paid for by the companies themselves.