eviso's thinking

教育

4 篇文章

当作弊从帮我写变成替我做

纽约时报最近报道了一件事:在线课程作弊从帮我写篇论文进化到了登录我的账号帮我完成测验。(来源:纽约时报,2026 年 8 月,Techmeme 转载)更值得注意的细节是,主流 AI 工具没有拒绝这种指令。这不是量变,是质变。以前的作弊工具产出的是文本,学生好歹还要自己复制粘贴、提交、承担被发现的风险...

Astra 用 2000 美元解了十年数学难题,昨天刚说孩子该学数学,今天就来了反证

8 月 1 日,OpenAI 公布了一件让数学界集体沉默的事:它的下一代模型 Astra,用不到 2000 美元的计算成本,解决了十个至少十年没有进展的数学问题。每个问题都不大,但都卡了十年。证明用 Lean 4 形式化语言写就,发布在 GitHub 上,附一篇论文和一份由大模型自己生成的推理过程重...