6月20日-22日，华为开发者大会2025（HDC 2025）于东莞举办，正式发布鸿蒙HarmonyOS 6操作系统及多项创新技术，来自全球各地的开发者、行业专家和合作伙伴齐聚现场，其中不乏AI+生物、医疗领域企业。
GPT-4o 生图功能的出现揭示了统一理解与生成模型的巨大潜力，然而如何在同一个框架内协调图像理解与生成这两种不同粒度的任务，是一个巨大的挑战。
人工智能虽然其提供了广泛的信息，却缺乏解决复杂问题所需的深入、结构化的推理能力，同时还存幻觉的局限。形式逻辑和相关数学工具为 AGI 的逻辑推理能力提供了必要的理论基础和技术支撑。
数学界对AI在数学中应用的看法存在分歧，但年轻一代更支持AI和验证工具。Vlad指出，通过递归自我改进，AI有潜力在数学和其他复杂问题上取得重大突破。随着AI在模式识别和自我改进方面的进步，它可能参与解决大型数学难题，如黎曼猜想。同时，数学家仍将在引导AI方向、规划研究领域和解释结果方面起关键作用。
多模态生成新突破，字节&华师团队打造TextHarmony，在单一模型架构中实现模态生成的统一，并入选NeurIPS 2024。
数学界对AI在数学中应用的看法存在分歧，但年轻一代更支持AI和验证工具。Vlad指出，通过递归自我改进，AI有潜力在数学和其他复杂问题上取得重大突破。随着AI在模式识别和自我改进方面的进步，它可能参与解决大型数学难题，如黎曼猜想。同时，数学家仍将在引导AI方向、规划研究领域和解释结果方面起关键作用。
一个创立了自动驾驶公司，一个创立了股票交易平台，这两家公司的创始人凑在一起又会干出什么事儿来呢？ 答案是数学超级智能（MSI）。
Harmonic获7500万美元A轮融资，估值3.25亿美元。
“鸿蒙原生智能”Harmony Intelligence来了！
Meta内部上演了最戏剧性的一幕，算力短缺纷争不断，LLaMA核心作者超半数已经离职。甚至，连大模型开发团队进行了三轮重组，Meta全力赶超谷歌微软的路还有多远？
