「数学编程」共找到 1383 篇相关文章
本周 5 个实用的 Github 开源项目，真香！
文章介绍本周5个实用Github开源项目。有资源聚合媒体中心stremio-web，AI原生安全测试平台CyberStrikeAI，本地优先AI编程远控工具hapi，智能股票分析系统daily_stock_analysis，纯前端JavaScript GUI智能体框架PageAgent。
马斯克亲自点名Karpathy迎战Grok 5！别神话LLM，AGI还要等十年
OpenAI创始元老Karpathy称AGI仍需10年，指出实现AGI难题多。马斯克点名其与Grok 5编程大战被拒。Karpathy还谈及LLM、强化学习、智能体等观点，主张合理看待AI发展。
7亿人每周狂发180亿条消息！OpenAI首次揭秘ChatGPT最火用途
OpenAI联合杜克、哈佛发布ChatGPT首份使用报告，显示周月活达7亿，成高学历白领办公利器，编程冷门。同时，Anthropic报告称人们交给Claude完成任务比例涨至49%，Claude主战场是代码编写。
别让Nano Banana骗了！混合方案让头像生成成功率从0到100%
作者用Nano banana更新头像时发现其生成中文能力差，提出将AI画图与HTML编程结合的方案。HTML搞定确定性、成本低部分，AI画图负责复杂、创意性高部分，还给出使用方法及多种头像加字设计方案。
韦东奕论文登数学顶刊，将散焦方程的爆破性研究扩展至d≥4
韦东奕和北大学者章志飞、邵锋合作的论文发表于数学顶刊《Forum of Mathematics, Pi》。他们将散焦方程的爆破性研究扩展至d≥4，成果填补空白，证明方法可推广到其他方程。
GPT-5.5 Instant上线：幻觉减少52.5%，告别废话
OpenAI完成ChatGPT默认模型的静默升级，GPT-5.5 Instant全面替换GPT-5.3 Instant。它在数学推理、减少幻觉、精简回答、记忆功能等方面有显著改进，还采用灰度推送策略。开发者认为其定位是日常场景够用顺手。
等了五年，AI 终端 Warp 终于开源！OpenAI 赞助
Warp是用Rust写的AI终端，其创始人Zach Lloyd宣布开源，代码已推到GitHub。OpenAI是开源仓库「创始赞助商」。开发瓶颈转移，Lloyd提出开放智能体开发模式。Warp还内置编程Agent，有云端Agent编排平台Oz。
OpenClaw 创始人万字访谈：一小时原型，18 万 Stars，Mark 和 Sam 抢人
Lex Fridman对话OpenClaw创始人Peter Steinberger，涉及一小时原型诞生、GitHub爆火、改名风波、Meta和OpenAI抢人等内容。OpenClaw作为开源AI Agent，能自修改软件，Peter认为80%的App将消亡，AI虽冲击编程但不会完全取代人类。
全球首富红眼All in！马斯克600亿收购Cursor，挤上ASI末班车
SpaceX签署最终协议，600亿全股票收购Cursor母公司Anysphere。马斯克的xAI发展不顺，而Cursor被Anthropic打压。编程工具赛道已三分天下，Cursor是独立入口，马斯克此举是为搭上ASI末班车。
Qwen3.6-Max-Preview来了！
继Qwen3.6 - Plus发布，推出Qwen3.6 - Max - Preview预览版，相比前者有更强世界知识、指令遵循能力，智能体编程表现显著提升。可在Qwen Studio交互，也将通过阿里云百炼API调用。