Harvard doesn’t grade perfectly — but it often does learning right. I hope that the faculty subcommittee on grading won’t take it all away.
AI could soon spew out hundreds of mathematical proofs that look "right" but contain hidden flaws, or proofs so complex we can't verify them. How will we know if they're right?
It’s a breakthrough in the field of random walks.