New on the blog.

Nobody ran the ninety year proof through a detector. They asked for the file.

On Tuesday OpenAI published what it says is a resolution of the Navier Stokes problem, one of the seven Millennium Prize Problems. Within a day the mathematics community was fighting about it in public.

None of that fight was about whether a machine wrote it. Both sides had already shipped a formalization in Lean, which is a document a computer can check line by line without caring who produced it. So the argument moved to the only place left: the trail. Who started the program, whose drafts were where, what the model had access to, and on what dates.

The translation for your course is short. Your integrity language asks for a promise. The field that just lived the hardest version of this asked for three things instead: an artifact somebody else can check, a record of how the work was made, and a line saying what the author is not claiming.

Read it here: https://www.harvestkernel.com/millennium-proof-receipts-not-detectors/

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