「AI4S」共找到 10517 篇相关文章
刚刚，马斯克终极大招Grok Bot来了！
SpaceXAI发布Grok Bot早期测试版及将发布4.6版本。它是云原生AI Agent，能24小时工作、多Bot并行协作，还能跟班学习。它是600亿收购Cursor的成果，对标Anthropic的Claude Cowork。
科学家要失业了？GPT-5仅用18分钟解出黑洞方程，效率碾压人类数月！
2026年AI成科学家新战友，从破解优化难题到重现黑洞对称性，加速科学发现。数学家与ChatGPT合作完成证明，物理学者用GPT-5 Pro快速解黑洞方程，OpenAI还助力攻克生物学难题。
文旅新玩法！藏师傅教你做食物微缩景观宣传海报&视频
作者玩 Gpt - 4o 图片生成时，用食品做键盘图，又结合食物与城市做微缩场景海报，还用 Veo3 做微缩景观生长动画，给出各工具提示词，鼓励大家尝试。
张益唐孪生素数猜想，被GPT-6破新纪录! 北大数学07级苏炜杰：很震撼
2026年9月3日，OpenAI宣布GPT - 6将孪生素数问题最好上界推进到186，打破陶哲轩保持十二年的纪录。此前Julia Stadlmann推到240，Axiom Math压至212。GPT - 6展现数学直觉，证明经Lean 4验证。
奥特曼急了！OpenAI稳坐三年的王座，刚刚被Anthropic踹下去了
2026年5月Ramp数据显示，Anthropic企业市占率34.4%首超OpenAI的32.3%。Anthropic靠按量计费和AI Agent吸金，但也面临利益错配、体验下滑、成本上涨等问题，大模型竞争进入B端深水区。
刚刚，大模型装上「鹰眼」！首创高刷视频理解，谷歌Gemini 2.5完败
面壁智能开源MiniCPM-V 4.5多模态端侧模型，8B参数越级反超72B巨无霸，在多领域达SOTA。它首创高刷视频理解，性能强、效率高、适合端侧部署，还实现多技术创新，是开源端侧多模态AI的革命。
马斯克：xAI 将超越包括谷歌在内的所有公司，中国除外
马斯克宣称xAI将超越除谷歌外所有公司，还承认中国公司是强劲对手。xAI数据中心建设速度惊人，Grok 4表现出色，但也面临批评。此外，Grok 2.5已开源，xAI未来还有多个版本发布计划。
刚刚，Andrej Karpathy放出大招：开源nanochat项目，仅8000行代码100美元就能训练出一个ChatGPT
Andrej Karpathy发布nanochat项目，用8000行代码实现ChatGPT完整训练流程。在8xH100节点跑4小时、花100美元，就能有对话、写故事、答题的AI助手。项目覆盖广，含多训练步骤及评估体系。
又一安全圈爆火的开源项目，已经1.66万Star！
现在大家爱用代码AI客户端干活，但碰到安全和逆向任务时，AI易懵圈，因工具散落、经验没沉淀。开源项目`reverse-skill`可给AI装“安全研究导航仪”，支持多种AI编码客户端，有诸多功能特性。
是「福尔摩斯」，也是「列文虎克」，智谱把OpenAI藏着掖着的视觉推理能力开源了
智谱开源视觉推理模型 GLM-4.5V，还同步开源桌面助手应用。此模型视觉推理能力强，在图像识别、视频理解、前端复刻、图表处理等多方面表现出色，技术创新使其达开源 SOTA 水平，推动行业注重实用价值。