请认准"下载楼"官方域名 http://www.daxingwx.net     第396章 演戏都不会演 (第2/3页)

个大模型当基座。

    问题，恰恰就出在这个基座上。

    市面上眼下能见着的，说穿了全是通用大模型。

    它们吃的是百家饭，陪聊、写水稿、撸代码，样样拿得出手。

    可这类模型有个打娘胎里带出来的绝症，叫“幻觉（Hallucination）”。

    日常闲聊，这点毛病无伤大雅。

    可数学不一样啊。

    一道证明，前面九十九步都对，只要当中有一步是它编出来的，整座逻辑高塔瞬间就塌了。

    这时姚先生似笑非笑的看着李东说道。

    “所以你来上我的课，是准备自己也搭一个大模型？”

    李东点了点头，跟着又摇了摇头。

    “搭是要搭的，不过跟外面那些通用大厂的模型还是有哦差别的，我准备搞一个垂直跑数学的。”

    他要做的，是一个专攻数学的大模型，理论界有个更硬核的叫法，叫形式化定理证明模型（Formal Theorem Proving）。

    这套模型的核心，就是绝不惯着模型自说自话的臭毛病。

    它的每一步推导，都必须翻译成极其严格的形式化语言，直接喂给 Lean这种交互式证明器去一行一行做 Type Check（类型检查）。

    对就是对，错就是错，中间不留半点含糊的余地。

    这麽一来，模型再想信口胡诌也诌不下去了。

    姚先生听完，笑着瞥了李东一眼。

    “我明白了。”

    “你这是来拉我入夥的，对吧？”

    李东笑得有点腼腆。

    “姚先生，被您看出来了。”

    姚先生摇了摇头。

    “你的意思，我懂。”

    “可我现在，是真没那个精力喽。”

    “年轻那会儿，恨不得一天掰成两天用。”

    “到了我这岁数，脑子还转得动，可身子骨已经跟不上了。”

    “一个基座大模型从头 Train到尾，那是拿命去填的算力黑洞，我填不动了。”

    老人的语气里带着点遗憾。

    “能做的也就是给你们多带几个好苗子出来，往你们这边送几点新鲜血液，栽树的人不一定坐得上树荫，这就到顶了。”

    李东

    （本章未完，请点击下一页继续阅读） 请认准"下载楼"官方域名 http://www.daxingwx.net