r/singularity34m agoenergy 113
2026 Fields Medalist John Pardon says AI now understands even his messiest mathematical proofs, catches subtle errors, and proves nontrivial results. “The AI understands. 100%.” Just a year ago, he would have said the opposite. He calls the progress world-changing for mathematics.
image: r/singularity
read the original at r/singularity →
This source publishes only a summary in its feed, so the full article lives at the outlet. The link above and below goes to the original.