客户端验证：您的浏览器已禁用 JavaScript。请启用 JavaScript 以继续。
站点所需的部分内容无法加载。这可能是由于浏览器扩展程序、网络问题或浏览器设置所致。请检查您的网络连接，禁用广告拦截器，或尝试使用其他浏览器。
每日HackerNews RSS
该内容是无法解析的 PDF 二进制数据，没有可翻译的正文。
克里斯蒂安·塞格迪认为，数学并非即将走向终结，而是在告别英雄式、单枪匹马探索的年代。纯数学就像绘制一片未知荒野的地图：数学家通过攻克难以攀登的“山峰”（重大猜想）、发明有用的工具，以及偶尔发现具有实用价值的“资源”来赢得尊重。 人工智能系统正成为这片荒野中新兴的“飞机”。它们目前仍很原始、成本高昂且应用狭窄，但进步迅速，已经解决了若干此前无人触及的问题。塞格迪预言，基于当下局限而产生的怀疑只是暂时的。随着人工智能变得更便宜、更强大，它将把常规问题求解商品化，推动更广泛的理论进展，并把数学发展成大规模的商业产业。 这一转变将冲击学术文化和数学家的身份认同。传统的优点——非凡才华、持久耐力，以及独自攻克著名难题——将不再那么重要；更重要的是选择重要的问题、指挥人工智能系统、验证结果并解释 discoveries。许多数学家会感到失落和迷惘，但塞格迪认为这是一种成熟，而非衰退。数学将变得更加普及、实用、平淡，并成为科技进步的重要基础。
（无内容）
文章提出了一种“临时性测试”，这是一种一次性的集成测试形式，用于评估基础软件。开发者不再直接审查某个库或组件，而是让 AI 智能体在其之上构建临时应用、层或功能原型，然后评估这些下游项目能否成功构建出来。 简洁清晰的 API、稳定的不变量，以及有用的错误消息，应当有助于智能体快速且可靠地完成构建。隐藏状态、令人意外的默认值、不完整的文档或不稳定的行为，则往往会引发失败和补丁，从而暴露原组件的弱点。 这一过程可以使用不同的智能体和任务反复进行，在无需提前预测所有需求的情况下，模拟许多未来的使用场景。测试完成后，原型层会被丢弃。通过这种方式，临时性测试不再依靠猜测软件将如何被使用，而是通过在其之上临时构建来收集实际证据。
此网站正在使用安全服务，以保护自身免受网络攻击。您刚刚执行的操作触发了该安全机制。某些操作可能会触发此拦截，包括提交特定词语或短语、SQL 命令或格式错误的数据。
人工验证 要继续，您需要通过解决验证码来确认自己不是机器人。该验证码需要 JavaScript。请启用 JavaScript，然后重新加载页面。
图形用户界面 Graphical UI
2 天前
## 颜色 用于表面、文本和控件的品牌颜色、中性色和状态颜色。 ## 浅色和深色 在同一主题中分别设置浅色模式和深色模式的颜色值。 ## 排版 界面文本和数据所使用的字体系列、字重、字号和行高。 ## 间距和比例 用于控制组件尺寸、内边距和间距的统一尺度。 ## 图标 选择适合主题的图标系列和样式。 ## 形状和效果 用于塑造组件外观和层次的圆角、描边和阴影。 ## 组件状态 在 Graphical 中自定义 Base UI 组件的交互状态。 ## 动效 用于按钮按下、菜单和其他交互的弹簧动画、缓动效果和时间设置。
504 网关超时