AI用Rust构建的PHP引擎Phargo通过17%官方测试，成功渲染WordPress
一位非专业开发者利用AI工具，用Rust语言从零构建了一个名为Phargo的PHP引擎。尽管作者不熟悉Rust，甚至不了解词法分析器或垃圾回收机制，但通过AI辅助编程，Phargo已能运行WordPress首页并正确呈现SQLite数据库内容。更难得的是，该引擎通过了PHP官方测试套件中17.4%（3844/22037项）的测试，且所有测试均由PHP核心团队编写，结果不可篡改。作者发现早期测试失败曾因换行符处理错误，修复后数百项测试瞬间通过。虽然绕过C扩展后实际测试上限约为40-45%，但该项目展示了AI在复杂系统开发中的潜力，同时强调了测试基准的重要性。 #AI编程 #Rust #PHP引擎 #开源项目 #软件测试 #技术前沿 #AI辅助开发
一位非专业开发者利用AI工具，用Rust语言从零构建了一个名为Phargo的PHP引擎。尽管作者不熟悉Rust，甚至不了解词法分析器或垃圾回收机制，但通过AI辅助编程，Phargo已能运行WordPress首页并正确呈现SQLite数据库内容。更难得的是，该引擎通过了PHP官方测试套件中17.4%（3844/22037项）的测试，且所有测试均由PHP核心团队编写，结果不可篡改。作者发现早期测试失败曾因换行符处理错误，修复后数百项测试瞬间通过。虽然绕过C扩展后实际测试上限约为40-45%，但该项目展示了AI在复杂系统开发中的潜力，同时强调了测试基准的重要性。 #AI编程 #Rust #PHP引擎 #开源项目 #软件测试 #技术前沿 #AI辅助开发
hero-loop.webm
6.8 MB
Providence AI 为美国威斯康星州企业提供定制化 AI 解决方案
由运营商主导的 AI 咨询公司 Providence AI 位于美国威斯康星州，致力于为商业客户打造完全由企业拥有和控制的自定义人工智能系统。其服务流程包括审计、构建、维护与建立基石四个核心阶段。公司首先通过诊断性评估，识别业务中投资回报率最高的五大 AI 机会，并提交书面报告和 90 分钟战略会议。随后，量身定制用于欺诈检测、智能代理、自动化管道等场景的专属 AI 基础设施，并持续监控优化系统，每月新增一个自动化功能。一项旗舰服务旨在捕获企业的运营知识，将其转化为超越个人存续周期的智能系统。案例显示，该公司曾为一家威斯康星州制造商构建实时订单评分系统，成功识别并阻止高风险的欺诈交易，帮助客户每年节省数千美元损失。公司还提供二十分钟免费咨询，无销售压力。 #AI #人工智能 #商业服务 #数字化转型 #威斯康星 #企业咨询
由运营商主导的 AI 咨询公司 Providence AI 位于美国威斯康星州，致力于为商业客户打造完全由企业拥有和控制的自定义人工智能系统。其服务流程包括审计、构建、维护与建立基石四个核心阶段。公司首先通过诊断性评估，识别业务中投资回报率最高的五大 AI 机会，并提交书面报告和 90 分钟战略会议。随后，量身定制用于欺诈检测、智能代理、自动化管道等场景的专属 AI 基础设施，并持续监控优化系统，每月新增一个自动化功能。一项旗舰服务旨在捕获企业的运营知识，将其转化为超越个人存续周期的智能系统。案例显示，该公司曾为一家威斯康星州制造商构建实时订单评分系统，成功识别并阻止高风险的欺诈交易，帮助客户每年节省数千美元损失。公司还提供二十分钟免费咨询，无销售压力。 #AI #人工智能 #商业服务 #数字化转型 #威斯康星 #企业咨询
AI 身份认证
行业普遍在急于推出AI代理的过程中忽略了核心原则：身份认证和授权机制的本质是确保确定性，而AI系统的行为却是概率性的。文章指出，这一矛盾亟需解决。以银行业为例，在部署支持AI的客服系统时，必须严格区分三类应用场景：检索增强生成（RAG）需确保不同用户（客户、柜员、副总裁）只能访问其权限内的文档；工具使用（如MCP与API）需精确控制每个工具能代表谁执行什么操作；自主代理系统则必须维护一条从授权人到所有执行动作的完整身份链。作者强调，AI安全并非新领域，而是将2010年代API时代验证过的OAuth集成、API密钥管理和基于角色的访问控制等最佳实践，延伸应用于新的概率性软件中。简单来说，不能让AI任意访问资源，身份层必须保持确定性。 #AI安全 #身份认证 #RAG #授权管理 #MCP #自主代理 #科技安全 #人工智能
行业普遍在急于推出AI代理的过程中忽略了核心原则：身份认证和授权机制的本质是确保确定性，而AI系统的行为却是概率性的。文章指出，这一矛盾亟需解决。以银行业为例，在部署支持AI的客服系统时，必须严格区分三类应用场景：检索增强生成（RAG）需确保不同用户（客户、柜员、副总裁）只能访问其权限内的文档；工具使用（如MCP与API）需精确控制每个工具能代表谁执行什么操作；自主代理系统则必须维护一条从授权人到所有执行动作的完整身份链。作者强调，AI安全并非新领域，而是将2010年代API时代验证过的OAuth集成、API密钥管理和基于角色的访问控制等最佳实践，延伸应用于新的概率性软件中。简单来说，不能让AI任意访问资源，身份层必须保持确定性。 #AI安全 #身份认证 #RAG #授权管理 #MCP #自主代理 #科技安全 #人工智能
微软泄露视频展示Copilot OS
一段据称真实的3分钟泄露视频在Discord平台BetaWiki服务器上曝光，展示了微软内部代号为"Aion"的实验性操作系统。该系统将Copilot深度集成于系统核心，通过多模态输入框实现文件查找、应用打开及网页浏览等操作。视频显示Aion采用全新的桌面UI，底部任务栏集成"Spaces"功能，可自动将应用和网站分组以便快速恢复。值得注意的是，Aion基于Web运行，不兼容原生Windows应用，但支持通过Windows 365远程访问云PC。消息人士称此视频录制于2024年，可能仅为黑客马拉松项目。Aion主要探索在代理AI驱动下构建桌面体验的可能性，但微软近期宣布的Project Solara项目与其概念相似，可能已从中汲取经验。Windows Central就此事向微软寻求评论，但未获回应。 #微软 #Copilot #AI操作系统 #代理AI #科技泄露 #Windows #Aion #ProjectSolara
一段据称真实的3分钟泄露视频在Discord平台BetaWiki服务器上曝光，展示了微软内部代号为"Aion"的实验性操作系统。该系统将Copilot深度集成于系统核心，通过多模态输入框实现文件查找、应用打开及网页浏览等操作。视频显示Aion采用全新的桌面UI，底部任务栏集成"Spaces"功能，可自动将应用和网站分组以便快速恢复。值得注意的是，Aion基于Web运行，不兼容原生Windows应用，但支持通过Windows 365远程访问云PC。消息人士称此视频录制于2024年，可能仅为黑客马拉松项目。Aion主要探索在代理AI驱动下构建桌面体验的可能性，但微软近期宣布的Project Solara项目与其概念相似，可能已从中汲取经验。Windows Central就此事向微软寻求评论，但未获回应。 #微软 #Copilot #AI操作系统 #代理AI #科技泄露 #Windows #Aion #ProjectSolara
WifeBench
一个名为WifeBench的项目在网络上引起关注。该项目通过让创作者妻子向各大语言模型提问10个只有她才知道答案的问题，并根据模型回答与她的答案的接近程度进行评分，满分100分。榜单显示，Meta的Muse Spark以47分暂居榜首，谷歌的Gemini 3.5 Flash、DeepSeek V4 Flash紧随其后。项目方表示，这种排名方式无需标准评估框架，也无需同行评审，完全基于一位“真正在乎的人”给出的诚实评价，目的是提供一种更贴近个人实际体验的模型选择参考。目前该榜单已涵盖多家知名AI公司的模型。 #AI评测 #LLM #WifeBench #模型排名 #人工智能 #科技趣闻 #非传统基准
一个名为WifeBench的项目在网络上引起关注。该项目通过让创作者妻子向各大语言模型提问10个只有她才知道答案的问题，并根据模型回答与她的答案的接近程度进行评分，满分100分。榜单显示，Meta的Muse Spark以47分暂居榜首，谷歌的Gemini 3.5 Flash、DeepSeek V4 Flash紧随其后。项目方表示，这种排名方式无需标准评估框架，也无需同行评审，完全基于一位“真正在乎的人”给出的诚实评价，目的是提供一种更贴近个人实际体验的模型选择参考。目前该榜单已涵盖多家知名AI公司的模型。 #AI评测 #LLM #WifeBench #模型排名 #人工智能 #科技趣闻 #非传统基准
sqlite-utils 4.0rc2 发布，由 Claude Fable 编写 99.7% 代码
sqlite-utils 4.0rc2 版本正式发布，该项目绝大部分代码（99.7%）由 AI 模型 Claude Fable 生成，开发成本仅约 149.25 美元。该版本在原有数据库工具基础上进行了大幅优化，展示了 AI 辅助编程的潜力。开发者通过向 Claude Fable 提供详细指令和反馈，实现了高效协作，大幅降低了传统人力开发成本。这一案例引发了对 AI 在软件开发和自动化工具链中应用前景的广泛讨论。 #AI编程 #ClaudeFable #sqliteutils #开源工具 #软件工程 #人工智能
sqlite-utils 4.0rc2 版本正式发布，该项目绝大部分代码（99.7%）由 AI 模型 Claude Fable 生成，开发成本仅约 149.25 美元。该版本在原有数据库工具基础上进行了大幅优化，展示了 AI 辅助编程的潜力。开发者通过向 Claude Fable 提供详细指令和反馈，实现了高效协作，大幅降低了传统人力开发成本。这一案例引发了对 AI 在软件开发和自动化工具链中应用前景的广泛讨论。 #AI编程 #ClaudeFable #sqliteutils #开源工具 #软件工程 #人工智能
❤1
阿里达摩院发布AI智能体，可发现超导材料
阿里巴巴达摩院推出业界首个用于发现超导材料的AI智能体"Elements Claw"，该工具已成功发现四种此前未知的超导化合物，并在实验室实验中得到验证。超导材料能在低温下无电阻导电并排斥磁场，这一特性有望革新电网、量子计算和高速磁悬浮列车。长期以来，发现新超导材料依赖于繁琐的试错实验，因科学家缺乏完整理论框架预测超导性，目前已知超导材料仅约2000种。该智能体由达摩院联合中国人民大学和中国科学院大学开发，基于一个拥有10亿参数的专用基础模型，在28小时图形处理器计算时间内筛选了240万种稳定晶体结构，识别出约6.8万种具有超导潜力的候选材料，并进一步缩小至最优选项进行物理测试。此举标志着科技公司正将AI应用从聊天机器人和编码助手拓展至科学研究领域。 #AI #超导材料 #阿里巴巴 #达摩院 #科技新闻
阿里巴巴达摩院推出业界首个用于发现超导材料的AI智能体"Elements Claw"，该工具已成功发现四种此前未知的超导化合物，并在实验室实验中得到验证。超导材料能在低温下无电阻导电并排斥磁场，这一特性有望革新电网、量子计算和高速磁悬浮列车。长期以来，发现新超导材料依赖于繁琐的试错实验，因科学家缺乏完整理论框架预测超导性，目前已知超导材料仅约2000种。该智能体由达摩院联合中国人民大学和中国科学院大学开发，基于一个拥有10亿参数的专用基础模型，在28小时图形处理器计算时间内筛选了240万种稳定晶体结构，识别出约6.8万种具有超导潜力的候选材料，并进一步缩小至最优选项进行物理测试。此举标志着科技公司正将AI应用从聊天机器人和编码助手拓展至科学研究领域。 #AI #超导材料 #阿里巴巴 #达摩院 #科技新闻
英伟达正从芯片巨头转型为AI金融推手
长期以来，英伟达一直被外界视为一家设计芯片的公司，其GPU产品供不应求，云服务商争相采购。然而，这种认知已逐渐过时。据科技媒体The Information报道，英伟达正在超越单纯的硬件销售模式，开始为小型云服务商提供融资服务，帮助其购买GPU，并承诺在设备闲置时回购算力，同时从基础设施运营收入中分成。这种集设备融资、容量回购与收入分成于一体的新模式，标志着英伟达在售后环节开始拥有财务利益。第一个公开项目规模巨大：Firmus计划在印尼部署约17万块GPU，Sharon AI则承诺在澳大利亚部署约4万套Grace Blackwell GB300系统。英伟达首席财务官Colette Kress亲自签署该项目，表明这并非实验性质，而是一项战略布局。此举既能将单次销售转化为长期收入，也使得英伟达间接与亚马逊、微软和谷歌等大客户形成竞争关系。虽然目前AI基础设施需求仍远超供给，但这种多方博弈的关系在未来的市场波动中可能面临考验。 #英伟达 #AI #芯片 #金融 #GPU #云计算 #数据中心
长期以来，英伟达一直被外界视为一家设计芯片的公司，其GPU产品供不应求，云服务商争相采购。然而，这种认知已逐渐过时。据科技媒体The Information报道，英伟达正在超越单纯的硬件销售模式，开始为小型云服务商提供融资服务，帮助其购买GPU，并承诺在设备闲置时回购算力，同时从基础设施运营收入中分成。这种集设备融资、容量回购与收入分成于一体的新模式，标志着英伟达在售后环节开始拥有财务利益。第一个公开项目规模巨大：Firmus计划在印尼部署约17万块GPU，Sharon AI则承诺在澳大利亚部署约4万套Grace Blackwell GB300系统。英伟达首席财务官Colette Kress亲自签署该项目，表明这并非实验性质，而是一项战略布局。此举既能将单次销售转化为长期收入，也使得英伟达间接与亚马逊、微软和谷歌等大客户形成竞争关系。虽然目前AI基础设施需求仍远超供给，但这种多方博弈的关系在未来的市场波动中可能面临考验。 #英伟达 #AI #芯片 #金融 #GPU #云计算 #数据中心