AI
优惠 OpenResearcher：利用人工智能（AI）技术来加速科学研究进程
AI
标签：OpenResearcher
AI
2年前 (2024-08-16)AI
创新平台OpenResearcher，它利用人工智能（AI）技术来加速科学研究进程。想象一下，研究人员每天都在与成堆的学术论文打交道，试图跟上他们领域内的最新进展，这既耗时又费力。OpenResearcher就像一个智能助手，可以 ...... 阅读全文
优惠 新型大语言模型LongWriter：能够生成超过10,000个词的超长文本
AI
标签：LongWriter
AI
2年前 (2024-08-16)AI
清华大学和智谱AI的研究人员推出新型大语言模型LongWriter，它能够生成超过10,000个词的超长文本。这在人工智能领域是一个重要的突破，因为现有的大型语言模型虽然能够处理长达100,000个词的输入，但在生成文本时却 ...... 阅读全文
优惠 新型图像编辑工具MVInpainter：能够学习多视角下一致的图像修复技术，以连接二维（2D）图像编辑和三维（3D）场景编辑
AI
标签：MVInpainter
AI
2年前 (2024-08-16)AI
复旦大学、 阿里巴巴达摩院和湖畔实验室的研究人员推出新型图像编辑工具MVInpainter，它能够学习多视角下一致的图像修复技术，以连接二维（2D）图像编辑和三维（3D）场景编辑。简单来说，MVInpainter能够在多个视角 ...... 阅读全文
优惠 新型高保真度、高效率的波形生成模型PeriodWave-Turbo：通过对抗性流匹配优化来加速生成高质量的波形信号
AI
2年前 (2024-08-16)AI
韩国亚洲大学的研究人员推出新型高保真度、高效率的波形生成模型PeriodWave-Turbo，它通过对抗性流匹配优化（Adversarial Flow Matching Optimization）来加速生成高质量的波形信号。想象一下，你想要制作一段音乐或 ...... 阅读全文
优惠 深度求索推出开源语言模型DeepSeek-Prover-V1.5：专门为在Lean 4环境中进行定理证明而设计
AI
2年前 (2024-08-16)AI
深度求索推出开源语言模型DeepSeek-Prover-V1.5，它专门为在Lean 4环境中进行定理证明而设计。Lean 4是一种用于数学和逻辑推理的正式证明助手。想象一下，你有一道非常复杂的数学证明题，需要一步步严格推导，DeepSe ...... 阅读全文
情报 微软将于 Windows 11 v24H2 默认启用 BitLocker 设备加密
2年前 (2024-08-15)
微软即将推出的Windows 11 v24H2重大更新中，BitLocker设备加密功能将默认启用，进一步提升用户数据安全性。此次更新预计在未来几个月发布，对于全新安装Windows 11 v24H2并使用微软账号或工作/学校账号设置的用户， ...... 阅读全文
情报 日本初创公司推出全球首个专为自动化科学研究设计的生成式AI模型——「AI Scientist」
标签：AI Scientist
2年前 (2024-08-14)
日本东京的一家AI初创公司Sakana AI最近宣布了一项重要进展：与牛津大学和英属哥伦比亚大学合作，共同研发出了全球首个专为自动化科学研究设计的生成式AI模型——「AI Scientist」。这项技术有可能彻底改变科研的方式 ...... 阅读全文
