AI在用 | 数学更生动,Claude-3直接生成勾股定理动画
以大模型、AIGC为代表的人工智能浪潮已经在悄然改变着我们生活及工作方式,但绝大部分人依然不知道该如何使用。
因此,我们推出了「AI在用」专栏,通过直观、有趣且简洁的人工智能使用案例,来具体介绍AI使用方法,并激发大家思考。
我们也欢迎读者投稿亲自实践的创新型用例。
今天,我们分享 X 平台用户 @dr_cintas 使用 Claude3(具体版本不详)生成勾股定理动画的用例。


案例地址:https://twitter.com/dr_cintas/status/1767569938217087199
Claude3是由前 OpenAI 人员创立的公司 Antropic3月发布的一个类似 ChatGPT 的人工智能引擎,可以在几秒钟内阅读、理解和响应数千页的文本。它还可以分析你上传的照片、信息图表、绘图或手写文本以及生成代码。目前已经拥有数百万用户。
你可以通过访问 Claude页面(https://www.anthropic.com/claude)进入对话,或者在移动程序 Poe 中调用 Claude3的不同版本。
接下来,在对话框中输入以下提示( Prompt ):
Write manim code to animate an explanation of the Pythagorean Theorem. Think step by step before coding it and provide me with the full code
就像这样:

来自@dr_cintas
翻译过来,提示要求 Claude3使用 manim 代码创作一个有关勾股定理的小动画。同时还要求 Claude3把思考步骤也展示出来,并提供完整的代码。
这里需要稍作暂停,解释一下提示中出现的两个概念。
首先,manim code 是什么?manim 是一个可以让你创建动画的 Python 库,由麻省理工学院数学教授 Grant Sanderson 开发。除了数学表达式,还支持矩阵、图形、向量表示等创建,通过组合不同表达方式、让原本抽象的概念、定理变得直观易懂。开发者本人使用 manim 创作了许多直观、美丽的数学科普内容。
其次,一个直角三角形,短的直角边叫勾,长的直角边叫股,斜边叫弦。勾的平方加股的平方等于弦的平方,所以称之为勾股定理。
这是 Claude3返回的结果:“第一步是画一个直角三角形,三条边分别标注 a、b、c。”

来自@dr_cintas
遗憾的是,案例提供者没有提供完整的展示截图。不过,根据编辑透过 Poe 调用 Claude-3sonnet 的体验,系统返回的步骤大致如下。



以上来自机器之能编辑
需要说明的是, Claude 是一个巨大的 AI 引擎,会根据对大量信息的分析生成新的响应,同样的提示,每次得到响应可能会有所不同。也就是说,我们获得的结果未必和案例提供者得到的答案一模一样。
这是案例提供者用 Claude3最终生成的动画结果。该提供者表示,Claude3并非一开始就能提供既完整又完美的代码,不过他仅花了几分钟修改几个部分后,就得到了令人满意的结果。

需要说明的是,如果你的电脑没有装 manim 代码库,最终结果只能止步于一串完整的 Python 代码,就像这个样子。(请注意,下面也是编辑在 Poe 上调用 Claude3Sonnet 生成的,而不是用例提供者的材料。)

来自机器之能编辑
Claude3的多才多艺和代码生成能力已成为国外网友的热门话题,特别是利用 Claude manim 的组合创建演示动画,是不是比幻灯片要酷得多?
这里我们再提供两个有趣案例。X网友 @notpurav 利用 Claude 创建网站,大模型会帮忙生成网站所需的动画,结果,该用户花了不到3个小时就完成了网站建设。

https://twitter.com/notpurav/status/1766796289260630209
这个案例更适合为人父母或身处教育一线的用户。X 网友 @jx_ 实现了一个小学数学问题的可视化:“佐藤君从家里出发,以每小时3公里的速度开始走路,3小时后走了多少公里?”动画清楚显示了行走的速度,以及随着时间流逝在地图上走过的距离。

https://twitter.com/jx_/status/1766835879107256451
今天的案例展示了大模型对教育领域潜在影响的冰山一角,以后我们会通过新专栏带来更多大模案例演示,也欢迎大家留言评论并给出改进建议。
谷歌的研究人员使用人工智能MusicLM将脑部扫描变成音乐
谷歌和大阪大学刚刚发表的研究展示了一种将思想转化为音乐的技术。五名志愿者躺在功能磁共振成像扫描仪内,以十种音乐风格播放了500多个不同的曲目。他们大脑活动的图像被输入到一个名为Brain2Music的AI模型中,该模型使用谷歌的AI音乐生成器MusicLM学会了创建类似于受试者正在听的歌曲。站长网2023-07-31 14:09:220000腾讯AI首次模拟拼接三星堆文物!算法模型行业领先
快科技6月11日消息,日前,四川省文物考古研究院对外公布,三星堆遗址祭祀区再现两件跨坑拼对成功的大型青铜器。据腾讯介绍,今年3月,腾讯SSV数字文化实验室、腾讯PCGARCLab,和四川省文物考古研究院合作,成立了联合团队,利用腾讯AI智能计算分析、计算机视觉等技术,基于专业文献,开始了首个试点文物模拟拼接工作。经过几个月工作,这座铜兽驮跪坐人顶尊铜像”已顺利完成模拟拼接。站长网2023-06-12 03:42:410000全域带货,腾讯要走自己的路
过去一年,腾讯在电商领域动作频频,其“电商梦”似乎也有了新的打法。去年初,腾讯CEO马化腾还在高调表示,“要全力发展视频号直播电商”,但在去年下半年,风向已经开始变了。去年8月,视频号小店升级为微信小店,进一步打通了商品与微信生态的连接;12月,微信小店推出“送礼物”功能,开始探索“社交”的电商新模式。0000微软蓝屏搞瘫全球,马斯克很生气,原因很尴尬
家人们,见证历史了。微软蓝屏(BSOD)的消息毫不夸张地登顶各大热搜、热榜,全球打工人被迫狂欢喜提1天休假。然而随着事件的发酵,导致这次全球最大IT宕机的罪魁祸首也逐渐浮出了水面。不过非常drama的是,“元凶”竟然是一家网络安全巨头,CrowdStrike。是自称能拥有检测网络威胁“最快平均时间”的那种实力选手,《财富》1000里500多家企业都是它的客户。站长网2024-07-21 18:32:480000亚马逊APP测试新AI功能,不仅能解答产品问题还能逗你笑
划重点:🤖亚马逊在iOS和Android移动应用中测试新的AI功能,允许用户就产品提出具体问题。💡AI工具可解答关于产品的实际问题,还能回答更富创意的查询,如写一首关于雪地靴的圣诞颂歌。🚀该功能仍在测试阶段,目前只有一些用户可以使用。站长网2024-01-18 14:59:470000