ClopenAI年度数学大会发布定理

发生了什么

据Proofs and Prompts报道，在ClopenAI年度数学大会上，Magnus von Prompter教授展示了ClopenAI–von Prompter定理，该定理已通过Lean验证并获得CLOPEN注册号。该成果通过17次提示完成，被标记为价值300万美元，并消耗了相当于87个奥林匹克游泳池的水量。会议期间还讨论了数学归属理论（MATH）及署名权争议。