7月4日，2024世界人工智能大会（WAIC 2024）在上海召开，主题为“以共商促共享 以善治促善智”，层级、规模相比前六届升级扩容，其中参展企业数、亮点展品数、首发新品数均达历史最高。谷歌、特斯拉、百度等国内外科技巨头齐聚现场，展示大模型技术与“人工智能+”创新应用的最新成果。
“有太多不法分子在使用 AI 生成视频，关键是要阻止他们并保护社会。”
硅谷圈又双叒叕要地震了？
「忙碌海狸」难题困扰了计算机科学家40多年。如今，来自全球各地20+业余开发者和数学家们，终于取得了突破性进展。他们抓到了第五只忙碌海狸——用Coq辅助证明，得到答案47176870。对此陶哲轩激动地表示，这再次体现了证明助手对数学研究协作的重要性。
这是一篇两个月前就应该写的文章。
10亿名“员工”生产数据合成，数量占到了世界人口的13%。
AI 考古，追溯到了祖师爷头上。
「微调你的模型，获得比GPT-4更好的性能」不只是说说而已，而是真的可操作。最近，一位愿意动手的ML工程师就把几个开源LLM调教成了自己想要的样子。
导读：时隔4个月上新的Gemma 2模型在LMSYS Chatbot Arena的排行上，以27B的参数击败了许多更大规模的模型，甚至超过了70B的Llama-3-Instruct，成为开源模型的性能第一！
最近 Open-Sora 全新开源的 1.2 版本，可以生成最长 16s 的 720p 高清视频，官方视频效果如下:
