【新智元导读】都以为AI应该先去替数学家证定理,陶哲轩却让它搬30年前的旧网页。一天迁走560篇论文,还从他二十多年前亲手写的老代码里揪出两个连他都不知道的bug。 1997年建站,改一行字都得开终端手敲HTML,一维护就是近三十年。
都以为AI应该先去替数学家证定理,陶哲轩却让它搬30年前的旧网页。一天迁走560篇论文,还从他二十多年前亲手写的老代码里揪出两个连他都不知道的bug。 1997年建站,改一行字都得开终端手敲HTML,一维护就是近三十年。 最近,陶哲轩把自己的个人主页,交给 ...
关注微信公众号,回复”PDF“获取独家算法资料。
1. Java基础与AI辅助编程本章主要学习搭建Java开发环境、 开发工具IDEA的基本使用、AI辅助编程,学习Java基础语法。最后通过一系列的综合案例加强学习效果,为后面的学习打下坚实基础。 1.*DK介绍安装, 环境变量配置| 2.入门案例| ...
5 天on MSN
AI助力陶哲轩:30年旧主页焕新颜,还揪出20余年老代码隐藏bug
数学家陶哲轩近日完成了一项耗时仅一天的“数字大迁徙”——将他运营近三十年的个人学术网站全面迁移至现代化平台。这个始建于1997年的网站曾是数学界重要的学术资源库,包含560篇论文、374次学术行程记录、68门课程资料以及19本著作的勘误信息,如今这些内容已全部通过AI技术完成结构化重组,在GitHub Pages上以全新面貌呈现。
关注 「软件测试就业联盟」公众号,陪你走好校招求职的每一步 很多人已经开始纠结了。 2026届校招投递刚结束,身边有人拿了招银网络科技15-25K的Offer,有人进了蔚来的车载测试“蔚来学院”,还有人去了米哈游做游戏测试开发,月薪20K起步。
自李博杰称DeepSeek面试官说他写代码的时候作弊一事过后,许多程序员都在网上表示,自己在面试DeepSeek的时候,都要经历两轮非常严苛的代码能力面试。
虎嗅网 on MSN
还在写prompt? AI编程进入loop新阶段
本文来自微信公众号: 智讯智库 ,作者:施展 Loop又是什么新概念? 从ReAct到Loop: 一个概念的四次演化 6月2日,Claude Code创作者Boris Cherny在公开活动中说,他已经不再亲自提示Claude,而是让Loop去提示Claude,判断下一步做什么。[1] 6月7日,OpenClaw创作者Peter Steinberger在X上发帖:“你不应该再提示编码Agent,而 ...
AI缺陷诊断已经不再局限于自动摘要和标签分类。一些工具开始利用日志、指标和调用链定位根因,另一些工具则可以生成修复代码、创建Pull ...
上周,一个做测试的哥们儿半夜找我喝酒。三杯下去才开口:他被离职了。老板看了一场 AI 测试工具的 demo,觉得以后点点点就能出用例、自动跑、自动出报告,留两个“会操作 AI 的”就够了。整个测试团队 20 个人,一个月内裁得只剩 2 个应届生。
一些您可能无法访问的结果已被隐去。
显示无法访问的结果