#AI超越人类奥赛金牌得主# 就在刚刚，首位超越人类数学奥赛金牌得主的AI诞生了！剑桥大学等机构的研究者发现，结合「吴方法」的DeepMind数学模型AlphaGeometry，在解决奥数题时直接秒杀了人类IMO金牌得主，30道几何题中做对了27道。
（吴方法，是吴文俊在1970年代提出的开创性算法。经过改进后，它变得非常强大，可以解决国际数学奥林匹克竞赛30个问题中的27个！直接秒杀人类。相比之下，之前的AlphaGeometry，仅能解决25个。）#AI探索计划#
论文地址：arxiv.org/abs/2404.06405
项目地址：huggingface.co/datasets/bethgelab/simplegeometry
文章：https://t.cn/A6TCh48z
（吴方法，是吴文俊在1970年代提出的开创性算法。经过改进后，它变得非常强大，可以解决国际数学奥林匹克竞赛30个问题中的27个！直接秒杀人类。相比之下，之前的AlphaGeometry，仅能解决25个。）#AI探索计划#
论文地址：arxiv.org/abs/2404.06405
项目地址：huggingface.co/datasets/bethgelab/simplegeometry
文章：https://t.cn/A6TCh48z
$浙文互联 sh600986$ 中午券商加班加点，再不断推这个研报
科普下秘塔：目前秘塔的下载量3月份下载量增速达550%,，超越了中文在线和kimi，秘塔AI搜索是国内AI公司秘塔科技在今年年初推出的新产品。目前，秘塔科技推出了4款产品：秘塔AI搜索、秘塔写作猫、秘塔翻译、秘塔检索。其中秘塔写作猫之前被大多文字工作者们所熟知。
秘塔AI搜索有以下几大特点：
1、没有广告，直达结果：秘塔AI搜索界面只有一个搜索框，没有广告和闲杂信息的干扰。
2、结构化信息展示：秘塔AI搜索会将搜索结果整理成更方便阅读的脑图和大纲形式。
3、信息来源追溯：秘塔AI搜索为每条搜索结果、每条信息提供了来源链接，用户可以轻松溯源验证信息的出处和可靠性。
4、辅助信息梳理：秘塔AI搜索会整合和搜索主题相关的辅助信息，包括相关事件名称、事件时间线、相关人物组织等，以表格的形式呈现，让用户更全面理解搜索主题。
5、学术搜索模式：秘塔AI搜索在首页搜索框，将搜索范围限定为学术后，信息来源会从全网聚焦到专业期刊和论文。还增加了一个快速浏览摘要的功能，最后汇总所有的参考文献，并且是导出即可使用的规范格式。
相比于Perplexity，秘塔AI搜索实际上走了一条具有差异化的路线。Perplexity开启co-pilot之后会引导你追问下一个问题，给出的模态会更多，包括图片和视频源。
合作伙伴：浙文互联：受益方向：数码视讯、昆仑万维、360。核心的是这几个，下午看是否发酵。
科普下秘塔：目前秘塔的下载量3月份下载量增速达550%,，超越了中文在线和kimi，秘塔AI搜索是国内AI公司秘塔科技在今年年初推出的新产品。目前，秘塔科技推出了4款产品：秘塔AI搜索、秘塔写作猫、秘塔翻译、秘塔检索。其中秘塔写作猫之前被大多文字工作者们所熟知。
秘塔AI搜索有以下几大特点：
1、没有广告，直达结果：秘塔AI搜索界面只有一个搜索框，没有广告和闲杂信息的干扰。
2、结构化信息展示：秘塔AI搜索会将搜索结果整理成更方便阅读的脑图和大纲形式。
3、信息来源追溯：秘塔AI搜索为每条搜索结果、每条信息提供了来源链接，用户可以轻松溯源验证信息的出处和可靠性。
4、辅助信息梳理：秘塔AI搜索会整合和搜索主题相关的辅助信息，包括相关事件名称、事件时间线、相关人物组织等，以表格的形式呈现，让用户更全面理解搜索主题。
5、学术搜索模式：秘塔AI搜索在首页搜索框，将搜索范围限定为学术后，信息来源会从全网聚焦到专业期刊和论文。还增加了一个快速浏览摘要的功能，最后汇总所有的参考文献，并且是导出即可使用的规范格式。
相比于Perplexity，秘塔AI搜索实际上走了一条具有差异化的路线。Perplexity开启co-pilot之后会引导你追问下一个问题，给出的模态会更多，包括图片和视频源。
合作伙伴：浙文互联：受益方向：数码视讯、昆仑万维、360。核心的是这几个，下午看是否发酵。
【蚂蚁集团CodeFuse发布“图生代码”功能 支持产品设计图一键生成代码】《科创板日报》11日讯，蚂蚁集团自研的智能研发平台CodeFuse推出“图生代码”新功能，支持开发人员用产品设计图一键生成代码，目前相关功能正在内测。据悉，蚂蚁集团正在内部全面推行AI编程，使用CodeFuse支持日常研发工作的工程师达50%以上，这些工程师提交的代码中10%由AI生成。（记者 黄心怡）
✋热门推荐