搜索
就在刚刚，DeepSeek-Prover-V2技术报告也来了！34页论文揭秘了模型的训练核心——递归+强化学习，让数学推理大提升。有人盛赞：DeepSeek已找到通往AGI的正确路径！
近日，以色列宣布与以色列AI“数字化身”制作平台eSelf、以色列最大的K12教科书出版商CET（Center for Educational Technology）合作，在全国范围内铺开AI辅导。
北京时间4月29日，据《华尔街日报》报道，OpenAI CEO萨姆·奥特曼(Sam Altman)曾表示，OpenAI与微软拥有堪称“科技界最好的合作关系”。然而，这段硅谷“联姻”已经岌岌可危。
连证件照都能在家用AI搞定，介么不是魔法嘛！这就是Aragon AI，一款利用AI生成专业证件照的软件，让人不出家门就能得到逼真的证件照。
Meta首届LlamaCon开发者大会开幕，扎克伯格在期间接受采访，回应大模型相关的一切。包括Llama4在大模型竞技场表现不佳的问题：
就在刚刚，DeepSeek 在全球最大 AI 开源社区 Hugging Face 发布了一个名为 DeepSeek-Prover-V2-671B 的新模型。
AI入职大厂担当程序员编程助手，如今已非新鲜事。
医疗大模型知识覆盖度首次被精准量化！
我是没想到，GPT4o用一段小小的Prompt生成的一些图片，引发的热度浪潮。
昨晚，奥特曼在 X 上发了条帖子，大意是由于发现 GPT-4o 「过于谄媚」的问题，所以从周一晚上开始回滚 GPT-4o 的最新更新。