新智元

10秒生成4分钟音乐，8GB显存就能跑！已登Hugging Face趋势榜一

作者

西北工业大学和香港中文大学提出新型AI音乐生成模型DiffRhythm，在10秒内生成4分45秒完整歌曲，支持本地部署，仅需8G显存。其简洁高效的全diffusion架构只需歌词和风格提示即可创作，速度和便捷性得到提升。

陶哲轩亲测点赞，o3-mini秒证图论难题！专家级证明完整呈现

作者

陶哲轩分享了使用AI（o3-mini）辅助证明数学难题的故事，包括成功解决了Ruzsa-Szemeredi的三角形移除引理，但当面对研究级别的问题时表现不佳。他指出，大模型在快速提供标准论证细节方面是优秀的用例，但仍需用户详细引导和验证答案的准确性。

谷歌CEO劈柴：DeepSeek让人兴奋，自己难以追上AI步伐

作者

Google CEO劈柴在世界政府峰会上分享了对AI的看法。他认为AI将彻底改变人类生活，并且谷歌内部已有25%的代码由AI辅助完成。他建议终身学习、拥抱变化，并关注AI的负责任使用。同时，他也强调AI的发展将会带来更多的工作机会。