当前位置:主页 > 投资资讯 > 国际财经 >
相关文章
    商场「大食堂」时代,餐饮的终极修
    商场餐饮店越开越多,但不是每家店都过得好。 近几年,商场里的餐饮店越来越多了,部分商场餐饮占比甚至超过5成! 对餐饮品牌而言,这既是黄金窗口,也是残酷的赛场。和街边店 ...
    AI天才的价格表,中国模型大厂的山
    热钱 得知那位98年的同事,一位一线算法研究员跳槽去腾讯后的年薪时,朱可欣觉得眩晕。 涨幅高达3倍——朱可欣和这家大厂的同事们在聚餐上猜测对方拿了多少时,“大胆猜测涨5 ...
    璇玑动力于IFA 2026宣布开放生态,瞄
    9月4日至8日,2026 年柏林国际消费电子展(IFA 2026)举行,本届主题定为"未来即是现在",海尔、海信、小米、璇玑动力等约千家中国企业参展。 在应对全球劳动力短缺、人口老龄化与高 ...
    疯魔化的AI对赌事件-香港期货
    4100元人民币,六个小时,一万双眼睛。 画师小林打开直播,镜头怼着数位板。他要在六个小时内重画一幅已被指控为“AI生成”的作品。画得出,质疑方赔钱;画不出,他赔钱、道歉、 ...
    投资界24h|Anthropic9月底将公布招股书
    时间:2026年9月7日 星期一 重要新闻 Anthropic预计9月底才公布招股说明书 媒体引知情人士报道,Anthropic预计将在美国11月中期选举开始前的几天完成上市。报道称,两名知情人士透露,招 ...
    大模型厂商,正忙着自备“干粮”
    2026年年中以来,越来越多独立模型厂商传出将下场“亲手”打造AI芯片。 6月末,起步最早的OpenAI已经拿出了*自研AI推理芯片Jalapeño,这款芯片从架构设计到流片仅耗时9个月,创下了专 ...
    永和大王母公司,快乐蜂食品国际要
    永和大王要IPO了。 本周,菲律宾餐饮巨头快乐蜂食品(Jollibee Foods)官宣,拟分拆旗下核心国际业务主体JFCI(快乐蜂食品国际)赴港IPO,最快有望在2027年底完成港股挂牌。 大家或许对 ...
    投资界AI周报| 杜兰特赚翻了-香港期
    本周必读 ACE融资4000万美元,打造AI时代的Spotify AI剧《后西游记》爆红,出品方芒果超媒两天市值涨100亿 首发| 工至海洋融资近亿元,缔造深海最大天使轮 首发|蘑菇物联完成2亿元C轮融 ...
    GPT-6 Astra全面解析 -「欢迎来到AGI时代
    在昨晚全球AI大宕机之后。 GPT-6 Astra终于在北京时间凌晨3点33,正式亮相了。 如果用OpenAI的一句话给GPT-6 Astra做总结。 那可能这句话最合适: 这是全球最智能且最对齐的模型。 然后梗 ...
    排队2小时,又一美国炸鸡巨头排队入
    又一74年美式炸鸡巨头,进中国开“首店”抢蛋糕! 前脚,历经波折的Popeyes刚宣布全国门店突破90家,还要用“卫星店”模式加速中国市场渗透。 后脚,74岁的“德州老炮”Church's Tex ...
    麦得发完成超亿元B轮融资,助力世界
    珠海麦得发生物科技股份有限公司(简称"麦得发")位于广东省横琴粤澳深度合作区,聚焦于自主创新和开发新一代全生物基自然可降解PHA生物材料及其下游高端衍生产品的规模化生产 ...
    Token越烧越多,为什么企业AI还是广种
    Meta的程序员在社区分享,Token消耗排行榜成了内部最被关注的榜单。为了升排名,员工们只好大肆挥霍Token。 Tokenmaxxing(Token消耗*化),也在KPMG、亚马逊等公司中盛行。有的公司还把t ...
    植生优谷完成数千万元Pre-A轮融资,
    上海植生优谷生物技术有限公司(简称“植生优谷”)于2020年在上海成立,定位为创新型RNA生物农药原药生产企业,聚焦RNAi农业病虫害防控。9月2日消息,近日,植生优谷宣布 完成数 ...
    首发| 奕信通完成数亿元B轮融资,专
    北京奕信通科技有限公司(以下简称“奕信通”)成立于2021年,是国内液冷产业头部企业之一,专注于ICT领域液冷产品及解决方案,愿景是成为液冷产品与解决方案的全球顶级供应商。 ...
    儒意电影成立澳洲发行厂牌寰映发行
    近日,儒意电影正式宣布成立澳洲本土电影发行厂牌寰映发行,厂牌将立足澳大利亚、新西兰市场,打通国产影片海外院线发行链路。首部发行项目锁定暑期档现象级国产影片《欢迎来 ...
    希音正式登陆港交所,全球发售顺利
    今日(9月1日)上午,全球在线时尚和生活方式公司希音(股份代号:00625)正式在香港联合交易所主板挂牌上市。本次上市落地,使之成为2026年港股规模最 大的时尚品牌IPO,来自全球 ...
    这届00后,正在批量干掉驾校?-香港
    继不结婚、不生娃、不买房之后,年轻人连驾照都不考了? 公安部数据,2025年全国新领证驾驶人2051万,比十年前的3613万少了1500多万人,降幅43%, 创近十年新低。 在以前, 找工作、 ...
    沃生医药完成1500万美元Seed 融资,专
    苏州沃生生物医药有限公司(下称“沃生医药”)是一家专注于新一代蛋白降解技术的创新生物医药企业,依托原创的平台技术,致力于攻克中枢神经系统领域尚未满足的临床治疗难题 ...
    AI开始亲自动手做实验了-国际黄金
    在《生化危机》里,有一套位于地下深处的实验室「蜂巢」。门禁、监控、通风、安保乃至整个设施的运行,都被交给了一个 AI:红皇后。 人类科学家负责研究,但真正掌握这座实验室 ...
    投资界24h| 港交所拟设第18D章,赴港
    时间:2026年8月31日 星期一 重要新闻 港交所拟设第18D章,并将创业板与主板合并 据《南华早报》报道,港交所正研究一项重要制度改革——计划在《主板上市规则》中全新增设第18D章 ...
相关问题
AI爆改陶哲轩30年主页,顺手揪出两个藏了20多年

来自:正大期货    发布时间:2026-07-14    浏览 :次

 

1997年建站,改一行字都得开终端手敲HTML,一维护就是近三十年。

最近,陶哲轩把自己的个人主页,交给了一个AI智能体。

仅用了一天时间,560篇论文和预印本、374次旅行记录、68门课程、19本书、29个数学小程序,就从一套近30年前的老架构里大批搬了出来,在GitHub Pages上重新安家。

比搬家更值得说的,是途中的发现。

AI在近三十年的旧站里,翻出了一堆自相矛盾的信息、过时的条目和失效的链接。这些错误,是他自己在三十年里一点点留下的。

它还顺手把那批Java 1.0写的老小程序移植成了JavaScript,并在陶哲轩二十多年前亲手写的代码里,找出了两个他自己都不知道的bug。

这一次,AI没有去证明定理,它替数学家干的,是他们最不想碰的「数字家务」。

近30年的老架构

他一直撑到了2026年

陶哲轩的主页建于1997年,那时的他还是UCLA的Hedrick助理教授,页面上挂着一长串手工整理的外链,从sci.math新闻组到他爱看的《时光之轮》。

标准的Web 1.0。一页一个主题,满屏文字链接,全靠人手维护。

1997年5月21日,还是助理教授的陶哲轩,和他刚建好的主页。

近三十年,这套架构再没变过。

陶哲轩不停往上加东西:三百多篇论文的详情子页、教学记录、旅行日程、简历、书籍勘误。做法始终是一页一页地改,改完手动上传,早年在Unix账户里用vi手敲。

他向21世纪做过唯 一一次妥协,是改用现代网页编辑器生成HTML,代价是代码比他当年手打的版本臃肿得多。

内容是线性增长的,维护成本却是指数级的。中途他把书籍页、职业建议搬到过博客,缓解了一点,依然笨拙。

当内容越积越厚,改动起来成本也越来越高,到了某个临界点,你会开始默许那些错误留在那里。

那些Java小程序死得更彻底。浏览器抛弃了Java 1.0,他一个人也没力气把二十来个程序移植到新语言,页面就那么挂着,一挂十年。

 YAML才是真相

网页只是一个「打印件」

陶哲轩说,他最近才反应过来:有了AI智能体,迁移这套快三十年的老系统,本该是件例行公事。

然后,他尝试了。过程「相当无痛」,他这样说道。

关键在于,他没让AI去重写一批HTML,而是让AI重建了一套数据流水线。

这个新仓库叫tao-web,逻辑跟印刷厂差不多。

底稿是data目录里的YAML,八类内容各一个文件夹;schema管格式,规定每个字段应该是什么样。

两个Python脚本,一个验货一个印刷。验不过,代码根本推不上去。印出来的网页扔进site目录,不进版本库。

最后推一次main分支,GitHub Actions自动验一遍、印一遍、发一遍。

tao-web仓库。README里写明:YAML是唯 一真相源,网页是生成出来的。(图源:GitHub teorth/tao-web)

仓库README中的一句话,支撑起整套架构:YAML是唯 一真相源,网页是生成出来的。

后面还跟着一句操作守则:改数据,永远别改site目录里生成出来的HTML。

旧系统里,每个页面都是一份独立的事实。同一个信息散落在五个页面上,改漏一个,它们就开始「打架」。

新系统里,事实只存在一份。网页降级成了显示层,好比一张随时可以重新打印的纸。

一个人的知识库,就这样从一堆文档变成了一个数据库。

AI在他的老代码里

挑出两个bug

搬完数据,陶哲轩顺手做了第二个实验。

「幻码跃迁」完成数千万种子轮融资,打造量子×AI融合创新的量子计算基础设施

从1999年起,为了给复分析和线性代数课做可视化,他陆续用Java 1.0写了一批小程序。当年反响不错。

后来,浏览器不再支持那个版本的Java,这批东西集体过时了。

现在,他让智能体把它们移植到了JavaScript上,20来个小程序,几个小时全部复活。

大模型写代码会制造各种明显或隐蔽的bug,在这些小程序的移植里,陶哲轩只找到一个:某个复分析小程序在拖拽出主显示框时,行为不太对。

反过来,智能体在他的原始代码里,找出了两个他自己从来没意识到的bug。

一进一出,他的判定是:代码质量净打平。

一个菲尔兹奖得主,被AI在自己二十多年前的代码里挑出两处错。

他紧接着给这个结论划了条边界:这些小程序是辅助性的视觉工具,并非数学论证的关键部分,出bug的风险后果本来就不高。

拖拽出框,用户自己就发现了。而证明写错了,那就是职业事故。

这个边界,正是陶哲轩这套方法论的关键。

复分析程序原本是陶哲轩1998到2000年间用Java写的,如今每一条底下都标着:在Claude Code的协助下移植。(图源:teorth.github.io/tao-web)

错不可怕

修不动才可怕

陶哲轩没有回避幻觉问题。

他明确说,现代AI依然有幻觉倾向,迁移过程中有可能引入了新的错误。

但经过他本人检查,现在的错误率「看上去确实比以前低了」。而且更重要的是,大规模纠错变得容易多了。

当然,这是他人工复核之后的印象,不是跑过评测得出的数字。

陶哲轩并没有拿AI去和「完 美」比,而是拿「AI加人工复核」,去和自己「纯人工维护三十年」比。

人工维护本身就是一台持续产错的机器,只不过它错了三十年,没人有精力去查。

大多数关于AI的争论,卡在「它会不会出错」这一个问题上。陶哲轩主要衡量的是谁的错误率更低,谁的纠错成本更小。

存量的错误并不可怕,可怕的是修不动。旧站改一个信息要翻五个页面,新站改一行YAML,全站自动重建。

一个搁置了27年的想法

两小时做完了

移植完老程序,他决定再往前走一步。

1999年,他曾有过一个雄心勃勃的构想:给狭义相对论做一个可视化工具。

他想要的是一块能画相对论的画板:摆一条运动轨迹上去,换个观察者的视角,整张图就按相对论的规则自己扭过来。用他的话说,「闵可夫斯基空间里的Inkscape」。

他甚至已经动手写了Java代码,最后被代码复杂度劝退,项目中断。

他跟智能体vibe coding了两个小时,那个1999年的构想被做了出来。

7月11日,这个时空图模拟器上线,成了新站上第 一个原创应用,他自己标明这还是alpha版。

1999年构想、27年后上线的时空图模拟器。同一趟星际旅行,左右两个参照系各画一遍。(图源:teorth.github.io/tao-web)

当年拦住他的并非数学,是代码复杂度,27年后,这一块被补上了。

陶哲轩给整件事下了一个注脚。

他说,网页维护大概是学术工作流里最不迷人、最不令人兴奋的环节之一。而恰恰是这类枯燥的例行任务,特别适合现代平台,比如GitHub,也特别适合自动化工具,其中既包括现代AI,也包括传统的确定性脚本。

多少实验室、期刊、研究机构,还压着几十年的HTML、Excel和本地目录。智能体的第 一份现实工作,可能就是当这些「数字资产」的迁移工程师。

当然,这件事证明的是AI适合做资料迁移、结构化和自动化维护,并不意味着AI已经能可靠处理所有学术数据,更不意味着人工校验可以省掉。

它真正被改变的,是一个数学家和他三十年积累之间的关系:过去他要亲自打理维护这些积累,现在他是一个最后把关的人。

参考资料: