近日，谷歌DeepMind正式在GitHub上开源了“形式化猜想”项目，引发行业广泛热议。 项目链接：https://github.com/google-deepmind/formal-conjectures 特别是，长期对此领域高度关注的菲尔兹奖得主陶哲轩发表长文对 ...

2025年6月12日 全球AI行业热点分析 2025年6月12日，人工智能（AI）领域迎来多起重要事件：OpenAI首席执行官Sam Altman畅谈通用人工智能（AGI）前景，英伟达CEO黄仁勋警告AI芯片市场竞争风险，中国AI企业宜人智科发布 ...

2025年6月14日，全球AI领域多起重大事件备受关注，涉及技术突破、产品发布和政策监管，展现了行业蓬勃发展与未来趋势。以下按地域梳理当日亮点及其影响。 中国：AI技术与应用创新 夸克推出高考志愿填报大模型：6月 ...

2025年6月15日，全球AI领域多起重大事件备受瞩目，涵盖技术突破、产品发布、行业合作及政策动向，反映了AI的迅猛发展和广泛影响。以下按类别简要梳理并分析。 技术突破与产品发布 OpenAI发布O3模型并大幅降价：6月 ...

2025年6月15日，全球AI领域多起重要事件引人注目，涉及技术突破、商业动态和政策监管，展现AI快速发展及其深远影响。以下按类别简要梳理并调整。 技术突破 九章智算云Alaya NeW Cloud 2.0发布：九章云极推出新一代 ...