研究

Webscrape AI

Webscrape AI是一款基于AI技术的网页数据采集工具,无需编程技能即可实现自动化数据抓取。它具有高精度、高效率和可定制化的特点,能够帮助企业快速获取所需数据,广泛应用于市场研究、价格监控、客户反馈分析等领域。此外,Webscrape AI提供灵活的订阅方案,适应不同规模企业的使用需求。

START

START是由阿里巴巴集团与中科大联合研发的工具增强型推理模型,通过集成外部工具(如Python代码执行器)提升大型语言模型的推理能力。其核心在于“Hint-infer”和“Hint-RFT”技术,结合长链推理与工具调用,显著提高复杂数学、科学问题及编程任务的准确性和效率。该模型具备自我调试、多策略探索和自学习能力,适用于科研、教育、编程等多个领域,是首个开源的长链推理与工具集成模型。

卡思数据

为视频内容创作者在节目创作和用户运营方面提供数据支持

AI co

AI co-scientist 是谷歌开发的多智能体 AI 系统,旨在辅助科研人员进行从选题到实验设计的全流程工作。系统基于 Gemini 2.0 构建,具备生成假设、优化方案、文献整合等功能,通过模拟科学方法提升研究效率。已在药物重定向、靶点发现等领域取得进展,展现加速科学发现的潜力。

Goedel

Goedel-Prover是一款由多所高校联合开发的开源大型语言模型,专注于自动化数学问题的形式化证明生成。它通过将自然语言数学问题转化为形式语言(如Lean 4),生成准确且完整的证明过程。采用专家迭代方法持续优化模型性能,在多项基准测试中表现优异。该工具可应用于数学研究、教学、软件验证及AI算法验证等领域,具备强大的数学推理能力和广泛的应用前景。

EviMed

EviMed是一款基于人工智能的医学信息平台,整合全球七大权威医学数据库,提供多维度搜索、智能分析、科研选题、循证决策等功能。其依托深度学习与医学大模型,可快速生成精准医学知识总结,广泛应用于临床、科研、教育及公共卫生等领域,有效提升医学工作者的研究与决策效率。

AgentSociety

AgentSociety是由清华大学开发的基于大语言模型的社会模拟平台,通过构建具有“类人心智”的智能体,模拟复杂的社会行为与现象。平台支持城市环境建模、大规模社会模拟和科研工具集成,适用于社会舆论传播、政策评估、社会极化分析及灾害响应研究。其技术特点包括异步模拟架构、分布式计算和MQTT通信,具备高度可扩展性和实时交互能力。

o3

o3-pro 是 OpenAI 开发的高级推理模型,继承并优化了 o3 的功能,在复杂问题解决和精确答案提供上表现出色。它集成了 ChatGPT 的多种工具,如网页搜索、文件分析、图像推理和编程等,适合科学研究、编程、教育和写作等领域。尽管响应速度稍慢,但在表达清晰度、逻辑准确性和答案完整性方面表现优异,并在数学、科学和编程等领域的性能上超越了前代模型。

Textero.ai

Textero.ai是一款基于人工智能的学术写作辅助工具,能够快速生成高质量的论文草稿,提供文本摘要与大纲生成服务,支持多语言操作,确保内容原创性与学术合规性,帮助用户节省时间并提升写作质量。

Podwise

Podwise 是一款基于人工智能的播客知识管理工具,能够将播客内容转化为结构化的文字、总结和思维导图,帮助用户快速掌握核心信息。它支持全球范围内的播客搜索、多语言处理,并可与多种知识管理工具无缝衔接,适用于学习、研究、商业分析等多个场景。 ---