陶哲轩宣布主持白宫生成式AI工作组，李飞飞、Hassabis发表演讲
近来，美国总统科技顾问委员会（PCAST）成立了一个生成式人工智能工作组。值得一提的是，数学天才陶哲轩在这个工作组中担任了co-leader的角色。陶哲轩在自己的博客发文称，我和LauraGreene共同主持这个生成式人工智能工作组。他博客中表示，这一小组主要研究生成式人工智能技术在科学和社会产生更广泛的影响，包括流行的基于文本的大语言模型（如ChatGPT），图像生成的扩散模型（如DALL-E2、Midjourney），以及科学应用模型（如蛋白质设计或天气预报)。陶哲轩主持生成式AI小组白宫在13日发布
近来，美国总统科技顾问委员会（PCAST）成立了一个生成式人工智能工作组。
值得一提的是，数学天才陶哲轩在这个工作组中担任了co-leader的角色。
陶哲轩在自己的博客发文称，我和Laura Greene共同主持这个生成式人工智能工作组。
他博客中表示，这一小组主要研究生成式人工智能技术在科学和社会产生更广泛的影响，包括流行的基于文本的大语言模型（如ChatGPT），图像生成的扩散模型（如DALL-E2、Midjourney），以及科学应用模型（如蛋白质设计或天气预报)。
陶哲轩主持生成式AI小组
白宫在13日发布的文章中提到，PCAST成立的生成式AI小组帮助评估人工智能关键机遇和风险，并就如何最好地确保这些技术的开发和部署尽可能公平、负责和安全提供意见。
文末，可以看到工作组的成员中，陶哲轩位列其中。
此外，AMD的首席执行官苏姿丰（Lisa Su）也是这个生成式AI小组中的一员。
根据陶哲轩的博客，生成式AI小组将在5月19日（星期五）举行的PCAST会议期间行公开会议。
直播链接：https://www.whitehouse.gov/pcast/meetings/2023-meetings/
两个专家小组将介绍当下生成式人工智能的情况，最后进行广泛的问答环节。这些发言者包括：
人工智能促进科学:
Anima Anandkumar （加州理工学院 & 英伟达）
Demis Hassabis （Google DeepMind）
李飞飞（斯坦福）
人工智能与社会:
Sendhil Mullainathan （芝加哥）
Daron Acemoglu （麻省理工学院）
Sarah Kreps （康奈尔大学）
此外，陶还提到，工作小组正就如何推进生成式人工智能应用的积极部署，以及如何最好地降低风险，征求公众的意见。
最初关注的是，如何在不牺牲言论自由，发现、抵制、减轻人工智能产生的虚假信息和DeepFake，这是一个富有挑战性的话题。
ChatGPT加入工作流之后
ChatGPT横空出世后，也得到了像陶哲轩这样数学大家的青睐。
在Mathstodon上最新帖子中，分享了自己关于生成式AI工具的看法。
我开始看到自己和当前生成式AI工具之间的比较优势在哪里。对于每天执行的任务，我已经开发了足够的技术来优化我的工作流程，人工智能工具对我来说并没有太多的增值。最明显的是在研究数学方面，但也包括撰写电子邮件。
对于那些我有一些专业知识，但很少实践的任务，人工智能工具是有帮助的：通常我可以用它们来创建输出的初稿，然后我可以验证和修改，或至少作为灵感来源使用。在某些情况下，灵感是由于AI的不足，这符合坎宁安法则的精神，但它仍然比我自己尝试解决问题更有成效。这一类的例子包括数据处理，翻译成外语，或以我很少使用的格式写文本（比如公开演讲，规则文件等）。
对于那些我没有什么专业知识，也不需要极高的质量和可靠的输出的任务，可以简单地询问人工智能工具，并或多或少地听从其建议。 在这里，人工智能的功能是作为传统搜索引擎的一个稍微方便的版本。
最后，对于那些我不具备专业知识，但又需要质量和可靠性的任务，人工智能和我自己都无法解决，我必须咨询人类专家。比如修理一个复杂、昂贵、精致的设备。
总之，陶哲轩对于生成式AI工具的看法分为四类，值得注意是的是，在他的数学专业领域中并没有太多增值。
对于第三种情况，陶举例让ChatGPT将前一篇文章总结为一个流程图。
ChatGPT提供了文本的描述。陶表示，据推测，未来的多模态GPT将能够直接提供流程图，而不是给出一个文本描述。
对于第二类任务的一个例子：在意识到我可以要求GPT以LaTeX格式输出流程图后，得到了下面的第一张图片，这显然是不完美的。但由于我熟悉LaTeX，手动将其修正为第二张图片并不困难。
很明显，前段时间爆火的ChatPDF，陶也用在工作流中了。
3月，陶表示，自己决定尝试以不同的方式将AI工具纳入我的工作流程。其中就包括ChatGPT、DeepL等工具。
在接下来一段时间中，他经常分享了一些自己使用ChatGPT等工具的体验。
许多ChatGPT隐藏功能都被他挖掘了出来，比如寻找公式、解析代码格式的文档、改写论文语句等等。
比如，ChatGPT有时可以在数学中做一个半成品的语义检索，也就是用它来生成一些提示。
比如，陶哲轩让ChatGPT从描述中识别库默尔定理，它没能给出正确答案，但根据它给出的近似答案（Legendre公式）。
对此，陶哲轩称，人工智能在数学中的作用是提供一个初步的近似答案，然后可以结合传统搜索引擎轻松找到正确答案。
陶哲轩还发现了ChatGPT在处理数学问题时的亮点，能够识别不同语言的数学概念音译版。
另外，可以要求ChatGPT转换从MathSciNet获得的一堆参考文献，并在LaTeX书目环境下将其格式化为\bibitems。
然而ChatGPT 就没有犯错的时候吗？
在一个关于「素数是否无穷多」的证明问题中，陶哲轩发现ChatGPT给出的答案并不是完全正确的。
从另一面看，他发现ChatGPT给出的论证思路是可以被固定下来的，并且这个思路他之前都从未见过。
ChatGPT等AI工具是否加入你的工作流？
计算机编程从机器码演进至模板组装，历经面向过程、对象、切面、接口、服务、配置及模板等阶段，每次转折均聚焦代码复用效率提升，最终趋向“不写代码的编程”即低代码或无代码开发。
不谈智能体，客户都不见你。腾讯云副总裁、腾讯云智能负责人、腾讯优图实验室负责人吴运声在采访中坦言。这意味着，如今提供云服务，若没有智能体相关的硬核能力，已难以打动客户。在2025腾讯全球数字生态大会上，腾讯云给出了自己的回应：正式发布智能体开发平台3.0（ADP3.0），并宣布腾讯优图实验室的关键智能体技术将逐步开源。据悉，该版本历经近三个月集中迭代，累计上线近600项功能，在RAG能力、Workflow流程、多智能体协作、应用评测及插件生态等方面实现全面升级。更值得关注的是，腾讯云透露未来数月将持续开源
近日，兄弟（中国）商业有限公司宣布其智能刺绣设计应用“畅享绣”已完成iOS系统适配及操作体验优化，现已正式上线AppStore。苹果用户可通过iPhone或iPad设备，便捷地将手绘图案转化为刺绣作品，以科技力量赋能传统工艺，开启全民创意刺绣新纪元。此次iOS版本的发布，意味着“畅享绣”已全面覆盖安卓与苹果两大移动平台，使更多用户能够随时随地享受刺绣的乐趣。该应用程序致力于降低专业门槛，让每一位用户都能成为生活中的艺术创作者。以往，个性化刺绣需要依赖专业软件，操作繁琐。而“畅享绣”只需
只需动动嘴，就能操控GUI代理？由美团与浙江大学联合推出的GUIRoboTron-Speech——让你彻底解放双手，直接对设备“发号施令”。这是首个可以直接通过语音指令和屏幕截图进行端到端（End-to-End）决策的自主GUI智能体，致力于为用户提供更自然、高效且无障碍的人机交互方式。从文本到语音，智能代理的新一轮进化目前，基于大语言模型（LLMs）的自主GUI智能体已经能够通过文本指令自动完成跨应用、多步骤的复杂操作，显著提升用户效率。然而，这种依赖文本输入的方式在某些场景中存在明显局限
2025年CVPR会议：首届具身智能通用机器人操作研讨会及挑战赛(GRAIL)全球顶级计算机视觉与人工智能会议CVPR将于2025年6月11日至15日在美国田纳西州举行。届时，INRIA、华盛顿大学、MBZUAI等顶尖机构将联合举办首届具身智能通用机器人操作研讨会和挑战赛(GRAIL)。该研讨会旨在攻克机器人操作的通用性难题，推动通用机器人技术发展。研讨会亮点：聚焦挑战：真实世界机器人操作面临诸多挑战，例如处理多样化物体、适应不同场景变化以及执行未知任务。GRAIL研讨会将汇聚计算机视觉、
比特现金（BCH）的未来发展前景看好。凭借其可扩展性、支付采用、价值存储、智能合约和坚实的社区支持，比特现金有望在多个领域取得显著发展，成为一种多功能且广泛使用的加密货币。
Windows 10 是一款微软推出的经典操作系统，拥有硬件兼容性与多任务处理能力。它更偏向把系统状态查看和常用调节动作放在一起，适合需要持续观察和微调设备状态的场景。
极度公式是一款跨平台专业LaTeX公式识别编辑软件，支持OCR公式识别和多平台编辑。和使用说明，避免使用，享受完整功能与稳定支持。做扫描整理、文字提取和表格转换时，它能把识别后的处理步骤接得更顺，资料录入这类场景会省下不少时间。
