Skip to main content

Two groups of mathematicians spent this week fighting in public over a claimed proof of a ninety year old problem.

Here is what neither of them did. Neither asked the other to prove a human did the typing. Both had already published a file a machine can check, so that question was closed before the argument opened.

What they argued about instead was the trail. Dates. Who was told what, and when. Whether a model had access to somebody's drafts.

The mathematician in the middle of it wrote that the real significance is what this means for the way we train students, assign credit, and referee. His words, not mine.

Today's free working session takes that idea and puts it into one assignment you already give: https://www.harvestkernel.com/the-checkable-step/

Open your next assignment. What is the one thing in it you are taking on trust?