张雪峰和AI，各做各的生意
来自主题: AI资讯
8880 点击 2024-07-04 12:35
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
张雪峰和AI，各做各的生意
「忙碌海狸」难题困扰了计算机科学家40多年。如今，来自全球各地20+业余开发者和数学家们，终于取得了突破性进展。他们抓到了第五只忙碌海狸——用Coq辅助证明，得到答案47176870。对此陶哲轩激动地表示，这再次体现了证明助手对数学研究协作的重要性。
20美元，所有眼镜都能变成AI智能眼镜
夸克App升级高考AI搜索、智能志愿工具等功能，辅助千万考生家庭提升填报效率。
会用AI的人，才会说真的好用
一句话让AI自动化操作手机，打个车已经不是难事了。 从官方公布的演示视频来看，用户只需要说出目的地，Agent就能够通过规划、决策和反思的流程自动化帮用户完成目的地输入，呼叫车辆等操作，适用于老人及视障人群，解决他们不会使用或者无法使用手机APP的问题。
微软发布公告，Copilot GPTs将于7月10日起停服，用户已经创建的GPTs将被清空。微软给出的官方解释是公司战略调整——正在将GPT的重点转向商业和企业场景，背后原因可能是缺乏商业回报。Copilot GPTs关闭引发了用户不满，批评者质疑此举会切断创新并削减消费者对于产品的信任。
润物细无声，才是技术革新的终极目标，也是 AI 的理想形态
AI与人的交接棒至关重要。
iPhone 15 Pro以上才能用AI功能