为什么我没有签署菲尔兹奖得主们的那封公开信
Gowers 赞同「我们正面临危机」,但不同意「概念理解高于解题」是唯一正确态度:他把数学家的动机看成一条谱系,并逐条比较「模型全面超越人类」与「国际协议限制发布」两种未来的得失。
更多 AI
首页Gowers 赞同「我们正面临危机」,但不同意「概念理解高于解题」是唯一正确态度:他把数学家的动机看成一条谱系,并逐条比较「模型全面超越人类」与「国际协议限制发布」两种未来的得失。

作者说自己每天七成以上时间在处理 AI,工作乐趣已被剥夺。他批评 AI 公司一边呼吁监管一边扩张,安全行业把资源投给漏洞发现而非打补丁,而「人在环路里」正退化成橡皮图章。

基于 Qwen3.8 27B 的三值权重模型把体积压到 5.9GB(每权重 1.76 有效比特),综合基准保留 98.2%,在 RTX 5090 上跑到 143 token/秒,并按 Apache 2.0 发布。

作者用同一组虚构的活动信息反复要求 ChatGPT 换风格,从包豪斯做到孔版印刷、朋克小志与日式极简,证明 AI 海报的雷同是提示词的问题,而不是能力的问题。

两条规则防止 LLM 把文章变成 Velveeta 奶酪:禁用其建议的措辞,也别信它对初稿的夸奖。

让大模型直接写界面 JSON,它会编出不存在的组件、自己编文案,写坏了还得等结果回来才知道。json-render 换了个办法,把搭界面拆成两批有限的选项,模型只挑,代码负责拼。

TypeSafe 把 AI 决策嵌入代码控制流,实时应用延迟仅 150ms,大数据处理成本降至百分之一。

十个真实场景、66 道有确定答案的题,外加 229 道核对题,三条对比臂。准确率只差几个点,时间差十倍,而概率的用法完全不同。

Jev 不写文章,只做判断。把它想成一套选择题加判断题,你出题,它交答题卡并标出把握。这篇讲清它能干什么、为什么便宜,以及那个概率为什么不能直接当正确率用。

不懂数学的 Dan Abramov 花一个月、约 400 亿 token,让 Claude 与 ChatGPT 接力,用 Lean 证出了 Conway 五十年前的细化猜想。他相信证明成立,但还没有数学家独立验证过。

本周 40 条。会画鸟的墨水屏、给 AI 上镣铐的证明语言、把 20 美元热点改成短信机,还有警察用「LMAO」当理由搜了 19,000 台摄像头。

EAS Simulator 是 Expo 推出的新服务,让每位开发者和每个编码 agent 都能在云端拥有一台 iPhone。

Expo Modules 2.0 把原生模块变成一个带注解的 Swift 或 Kotlin 类。没有 DSL,没有样板代码,调用速度最高提升 5.6 倍。iOS 上可在 SDK 57 中试用。

AEO 是当下新热点。如果 AI 看不到,内容还算是存在吗?本文介绍 12 个技巧,让你的文档对 AI agent 可访问。

TypeSafe AI 的 Jev 把模型输出从字符串换成带概率的类型化判断,还声称概率是「校准」过的。这个前提没有人给过证据,于是我们拿 229 条有确定答案的声明,量了普通 LLM 的置信度到底能不能用来做自动化。

How Wellspoken 如何从400名用户增长到数十万次下载。获客渠道、付费墙、评论策略、Expo工具链的详细解析。

AI 构建的 Expo 应用需要三个工具:Skills(SKILL.md)、Expo MCP 服务器,以及一套能让上下文保持可控的工作流。Cursor、Claude Code、Codex。

App.js 2026 演讲者回忆父亲因帕金森病失去语言能力,反思技术为何在临终照护前失效。

Vibe 编程做出来的应用长得都一样。以下八条设计原则能给你一套评判 AI 产出的语汇,让你做出真正出挑的东西。

如何升级到 Expo SDK 56:分步提示、新架构迁移建议、破坏性变更,以及让更新顺利完成的故障排查。

对 Expo 最佳技术栈的一家之言,应用变现的数据说明了什么,以及为什么你仍然应该选择 React Native 来取胜

Expo 让独立开发者一个下午就能发布原生应用,但 App Store 里超过 200 万款应用在竞争,65 到 70% 的下载仍来自搜索,ASO 于是成了新的瓶颈。

一名 React Web 开发者用 Expo、Claude Code 和 Expo Skills 在一周内做出一个真实 iOS App 的完整历程。哪些经验能迁移,哪些不能。

新款 M4 Mac Mini、编译器缓存和预编译二进制文件正在加速 EAS 构建。了解如何借助指纹和 OTA 更新减少构建次数。