一个月前，GitHub CEO Thomas Dohmke 为自家的 AI 辅助编码工具 GitHub Copilot X 站台，在全球网络峰会现场，亲自下场体验了一把，最终用18分钟编写出了一款贪吃蛇游戏。整个编码过程速度之快，似有让人人成为“10倍开发者”的趋势。不过，近日，Twitter 上一名技术人分享了他监督

  本文由站长之家合作伙伴自媒体作者“CSDN公众号”授权发布于站长之家平台，本平台仅提供信息索引服务。由于内容发布时间超过平台更新维护时间，为了能够更好的保证文章信息的及时性，内容观点的准确性，平台将不提供完全的内容展现，本页面内容仅为平台搜索索引使用。需阅读完整内容的用户，请查看原文，获取内容详情。

  11.11云上盛惠！海量产品 · 轻松上云！云服务器首年1.8折起，买1年送3个月！超值优惠，稳定性很高，让您的云端之旅更加畅享。快来腾讯云选购吧！

  GitHubCopilot，又一次被数学大神陶哲轩“点名”了:并且陶哲轩还给出了一个具体的案例做阐述。例如在上面这个例子中，陶哲轩先是将一个积分分成了三块。这篇文章对于理解非负量的和或积分的估计方法和它们在所有的领域中的应用具备极其重大意义。

  对标GPT-4代码解释器，港中大最新研究放了个“大招”:他们开发了一个叫做MathCoder的大模型，数学能力直接在竞赛级“题库”Math上超过GPT-4。做到这一点靠的就是无缝集成代码的能力——在遇到数学问题时，它不仅能用自然语言推理能自动编写和执行代码来建模、推导公式与方程。通讯作者为李鸿升，为港中大电子工程系副教授，同时也就职于上海人工智能研究室。

  其AI助手Copilot将于11月开始引入OneNote，这个先进的AI助手是一种统一的Microsoft解决方案，可在多种服务中使用，包括Microsoft365套件，包括OneDrive、MicrosoftTeams和Windows11。在OneNote中，Copilot使用户能从他们的笔记中进一步探索信息。还计划添加更多插件，以连接其他服务。

  GitHub宣布将其AI编程助手CopilotChat的公测版扩展至个人用户。该公司于今年7月推出了面向企业用户的公测版现在GitHubCopilotChat已经在VisualStudio和VisualStudioCode中对GitHubCopilot个人用户更好的提供公测版。GitHub的举措逐步推动了AI技术在编程领域的普及和应用，为开发者提供了更多的选择，以提高他们的编程效率和创造力。

  GitHubCopilot服务的亏损问题最近引起了广泛的关注，尤其是关于微软前GitHub首席执行官NatFriedman对这一问题的回应。NatFriedman在X平台上发表了一篇文章，明确说关于GitHubCopilot服务亏损的传闻是假消息。GitHubCopilot的亏损问题引发了对其商业模式和可持续性的讨论，但NatFriedman的回应似乎为其辩护提供了一定的支持。

  别看全球科技圈都在大模型上轰轰烈烈搞了这么久——做出来的热门产品居然还是赔钱的?!就拿这里面最“得势”的微软来说，据华尔街日报爆料:他们那用户量高达150万的AI编程工具GitHubCopilot，平均每个月在每个用户身上都要倒贴20美元，最高能达80美元。图源备注：图片由AI生成，图片授权服务商Midjourney换言之，微软自做出Copilot以来，光是一个月在它上面亏损就高达3000万美元，一年下来亏损直接过亿。比如:谷歌将一款AI助手的月会费从最开始的6美元提高到30美元;微软计划在Bing搜索中换用更便宜的来自Meta的开源工具;Zoom则在模型大小上做细化，根据任务难易灵活调用最合适的版本……当然，在这之中，相比不少巨头们还在拼命挖掘大模型本身的落地价值，“卖水人”倒是已经赚得盆满钵满了。

  之前的一段时间，微软OneDrive已经很久没什么大的更新了。微软正式公布了OneDrive3.0，带来了诸多的功能改进和一些设计。至于重头戏CopilotAI生成式人工智能功能，微软计划在今年12月向客户推送添加，方便整理云端文件、处理查找所需要的文件，甚至无需打开文件就能生成文件摘要。

  微软今天发布了Windows11最大的更新之一。这次更新包括全新的WindowsCopilot、用于Paint、SnippingTool和Photos的AI增强功能、RGB照明支持、现代化的文件资源管理器等等。您在大多数情况下要等到11月的每月补丁星期二才可以获得这个最新的大型Windows11更新。

  【新智元导读】GPT-4参数规模扩大1000倍，怎么来实现?OpenAI科学家最新演讲，从第一性原理出发，探讨了2023年大模型发展现状。「GPT-4即将超越拐点，并且性能实现显著跳跃」。「不管怎么说，从第一原理出发理解核心思想是唯一可扩展的方法」。

  微软日前宣布将对OneDrive进行更新，旨在使人们更容易访问、查看、分享和管理他们的文件。在本周的在线活动中，被称为「微软OneDrive：文件管理的未来已经来临」，微软公司公布了其在线文件存储服务的计划，其中一些已经对特定用户生效其他一些将在今年晚些时候或明年初开始推出。该功能预计将在2024年初进入更广泛的公共预览阶段。

  Melobytes是一个在线平台，提供各种基于AI的创意工具，帮助您探索艺术、音乐等领域的边界。通过我们易于使用的应用程序，您可以为自己和朋友创建独特有趣的内容。无限的可能性等待着您。Melobytes适用于玩乐和实验性的目的，为创意提供起点和灵感。订阅Melobytes后，您将获得对所有应用程序的无限访问权限，支持我们继续探索人工智能创意。定价：免费访问（每天最多5次执行）；订阅（一次性付费或定期订阅）。

  Elicit是一款能够以超人速度分析研究论文的AI助手。它可以自动完成繁琐的研究任务，如论文摘要、数据提取和综合研究发现。用户都能够搜索相关论文、获取一句话摘要、从论文中提取详情信息并进行整理、寻找主题和概念等。Elicit的准确度高，使用起来更便捷，已受到广大研究者的信赖和好评。

  vocalremover org是一个在线音轨分离工具，可以将音乐中的人声和伴奏分离出来。它具有简单易用的界面，能快速高效地分离音轨，并能导出分离后的音频文件。vocalremover org支持多种音频格式，并且完全免费使用。

  我们为您提供连接所有工具的一体化系统，用于创建、共享、翻译和更新全部的产品的文案-适用于所有语言、所有市场。

  NLTK是一个领先的Python平台，用于处理人类语言数据。它提供了易于使用的接口，用于访问50多个语料库和词汇资源，如WordNet，并提供了一套文本处理库，用于分类、标记、解析和语义推理。它还提供了工业级NLP库的封装，并有一个活跃的讨论论坛。NLTK适用于语言学家、工程师、学生、教育者、研究人员和行业用户。NLTK可以免费使用，并且是一个开源的社区驱动项目。

  Project Knowledge Exploration是由Microsoft Research开发的一个用于结构化数据的交互式搜索API。它通过自然语言输入，解释用户的查询并返回相关的结果。该API支持自动完成查询、快速检索匹配对象的详情信息、使用属性直方图进行可视化和交互式的细分体验等功能。该产品能大范围的应用于各种场景，包括知识图谱、数据分析、智能搜索等。

  Sage是一个集成了多种先进AI技术的在线写作辅助平台,能够在一定程度上帮助用户快速创作高质量的内容。Sage拥有强大的语言理解和生成能力,可以自动组织文章框架,补全文章细节,修正语法错误,润色措辞等,大幅度的提升写作效率。用户无需具备专业写作技能,就能够正常的使用Sage创作出专业水准的内容。此外,Sage还提供了诸如语音输入、多语言支持、版本控制等功能,让写作过程更加顺畅高效。Sage采用免费试用模式,用户都能够免费体验Sage的部分功能。Sage是新一代AI写作工具的代表,为用户更好的提供了前所未有的写作体验。

  Freed是一款专为临床医生设计的人工智能医学文档工具，能够监听、转录和撰写医学文档。它能够准确的通过医学指南和最佳实践模板生成SOAP笔记，还可以自我学习，以适应用户的风格和格式。Freed提供免费试用版和付费版，付费版提供无限次访问，并且支持团队订阅。

  这款APP通过与AI和母语使用者进行实时语音交流,帮助用户练习并快速提高英语口语能力。它能打破语言障碍,让用户一对一地与AI和真人语伴进行实时对话,以提高发音和流利度。用户都能够下载APP,开始口语训练之旅。

  Mindfuly使用先进的AI技术,每天早上为你生成高度个性化的正念冥想体验。Mindfuly会根据你的喜好设计每日冥想,在冥想中使用你的名字,以增强积极心态迎接新的一天。Mindfuly提供选不一样语音的冥想,语音包括各种口音与语调,你可以再一次进行选择最能打动你的声音。Mindfuly致力于让全球用户都能体验正念冥想,冥想内容有英语、德语、西班牙语、法语、葡萄牙语和印地语等多种语言版本。除了每日生成的冥想外,Mindfuly也提供冥想素材库,随时随地帮助找到平静。每段冥想内容都基于科学验证的正念冥想研究。

  Sintra AI是一款强大的AI助手工具，通过AI提示和自动化机器人来优化工作流程。它能够在一定程度上帮助您自动完成日常任务，提供高效的工作方式，让您专注于建立有意义的变革。Sintra AI提供2500+免费的AI提示和自动化机器人，涵盖多个行业。

  Vinterview 是一款 AI 面试助手，提供面试准备、模拟面试、面试技巧等功能。它能够在一定程度上帮助用户提升面试表现，增加面试成功的机会。Vinterview 的优点是精准的面试问题和答案，以及个性化的面试建议。定价分为免费和付费版本，付费版本提供更多高级功能。Vinterview 定位于求职者和招聘方。

  Optimist 是一个帮助您编写更好提示的工具。它将帮助您以可靠的方式编写提示，将提示代码化，提供优势、定价和定位信息。它还提供功能点列表，使用场景和标签。

  flowlist.io 是一个基于AI的任务和生产力管理网站。它用AI来保持任务的新鲜和有趣。用户只需输入关键任务，AI 会为其创建项目名称和激励的下一步行动。用户也可以输入自己的想法或情绪，AI 会生成相应的项目名称和激励的任务。flowlist.io 还提供了拖放排序、项目间移动和更多细分步骤等功能。目前 flowlist.io 处于测试阶段，使用 Chat-GPT 模型，免费提供服务。

  Coframe利用最新的AI技术为网站或APP生成个性化的文案。它能按照每个用户数据来进行内容优化,就像A/B测试,但具有更强大的功能。Coframe可24/7为您的网站或APP工作,而非相反。集成简单,只需要几行代码即可运行。完全可控,您可见一切细节。Coframe的使命是赋予每个数字界面以自我学习和适应的能力。

  RipX DAW 是一款获奖的 AI 分轨编辑工具，可以将音乐混音文件分离成 6 个以上的音轨，支持逐音符编辑和替换音轨，拥有无与伦比的混音能力和乐器替换功能。RipX DAW PRO 还提供强大的音轨清理、音频修复和音效处理工具。定价请参考官网。

  Daetama 是领先的数据科学和面试准备平台，旨在为学生提供优质的 SQL 和数据科学相关学习资料。我们的数据科学材料由 Meta 和 Google 数据科学家精心策划，他们用相同的材料成功获得了心仪的工作。现在我们想通过提供这些高品质内容以可负担的月度订阅价格来为您提供同样的帮助。

  ColorMagic 是一个具备人工智能的颜色搭配生成器。通过关键词为您输入的颜色图像生成色彩搭配。

  404 Error Hound是一个由AI驱动的网站错误检测和修复工具。它可以自动扫描你的网站,检测各类错误如面找不到等,并将这些错误按照不同的源头如自然搜索流量、付费推广流量、内部流量等进行分类,从而帮助你快速定位问题所在并提出解决方案,大幅度的提升你的网站体验和搜索引擎优化效果。

  Rewatch是一个视频协作工作空间,专为帮助团队进行更好的异步沟通而设计。它可以打破团队之间的壁垒,捕捉团队的反馈、想法和客户见解,让每一个人都能做出更好的决策。Rewatch可以自动记录、转录会议,并生成会议笔记,充分利用你团队会议中的知识。它还使任何一个人都可以分享想法,讨论反馈,即使你错过了会议也能够直接进行后续问答,来提升团队的协作效率。此外,Rewatch还提供了视频信息中心功能,能轻松搜索和组织视频知识,确保团队能够即时获取相关信息。