人工智能虽然其提供了广泛的信息，却缺乏解决复杂问题所需的深入、结构化的推理能力，同时还存幻觉的局限。形式逻辑和相关数学工具为 AGI 的逻辑推理能力提供了必要的理论基础和技术支撑。
今天凌晨，新晋诺贝尔化学奖得主、DeepMind 创始人哈萨比斯参与撰写的新论文登上了 Nature，主题是如何更准确地识别并纠正量子计算机内部的错误。
用AI大模型一键解析MRI、CT和病理学等九大生物医学成像模式。
10月初，一款叫「闪电麦昆」的玩具车突然重新在社交媒体上火了。一位博主在二手交易市场发现了这个基于皮克斯动画《赛车总动员》中的赛车明星闪电麦昆（Lightning McQueen）开发出来的玩具，它有着红色车身，没有启动时毫不起眼，跟普通玩具车没什么两样。
10月28日，The Information报道称，Meta正在研发自己的“AI驱动搜索引擎”，以减少对谷歌和微软Bing搜索的依赖。Meta的搜索，将通过生成式AI对用户输入的关键词或者prompt进行摘要和总结。
4-bit量化，能让现有反学习/机器遗忘技术失灵！
今日凌晨，Stability AI 发布了 Stable Diffusion 3.5 的提示指南。该指南提供了 Stable Diffusion 3.5 的实用提示技巧，让使用者能够快速准确地完善图像概念，更好地使用 Stable Diffusion 3.5 这一在可定制性、高效性能、多样化输出和多功能风格方面均表现出色的模型。
消除激活值(outliers)，大语言模型低比特量化有新招了—— 自动化所、清华、港城大团队最近有一篇论文入选了NeurIPS 2024（Oral Presentation），他们针对LLM权重激活量化提出了两种正交变换，有效降低了outliers现象，达到了4-bit的新SOTA。
Bifröst 是一个创新的3D感知图像合成框架，它利用扩散模型来执行基于语言指令的图像合成任务。
2024 年，人形机器人领域迎来爆发式增长。特斯拉 Optimus 的持续迭代、OpenAI 对 1X 的战略投资，众多初创公司异军突起，以及包括 Mobile ALOHA 在内学术界的不断创新，共同描绘出一幅激动人心的未来图景。
