AIGC动态
AIGC,AGI,人工智能
又一开源AI神器！将机器学习论文自动转为可运行代码库
PaperCoder是一个多智能体大语言模型（LLM）系统，旨在自动生成机器学习论文中的代码。这一工具的推出源于对2024年NeurIPS、ICML和ICLR等顶级会议论文的统计...
AI泡沫要破？微软和Meta：继续奏乐继续舞！
微软和Meta在同一天公布了最新季度财报，尽管宏观经济前景不明，两家科技巨头的财报数据均超出了分析师预期，带动各自股价乃至AI股在盘后交易中上涨。微软第...
深夜突袭，DeepSeek-Prover-V2加冕数学王者！671B数学推理逆天狂飙
DeepSeek-Prover-V2的发布标志着数学推理领域的一次重大突破。该模型通过递归+强化学习的训练方法，显著提升了其在形式化定理证明中的表现。DeepSeek-Prover-...
Windsurf团队关于Agent的认知，相当精彩
Agent 系统的核心概念可以简单理解为一个接受用户输入，并交替执行两种调用的系统：大语言模型（LLM）和工具。LLM 会根据用户输入、上下文信息以及对话内容，...
全球首轮AI裁员来袭，美白领12年最难求职季！电商巨头被曝AI铁律
Shopify CEO Tobi Lutke的内部备忘录引发了广泛关注，标志着AI在职场中的全面应用已成为不可逆转的趋势。备忘录的核心观点是，AI已成为所有员工的必备技能，...
五一大瓜！英伟达强烈批评Anthropic，造谣中国走私AI芯片
Anthropic在近期发布的报告中指出，中国为获取最新AI芯片，采取了包括“假孕肚”和活龙虾运输在内的非常规手段。这一说法引发了广泛争议，尤其是来自英伟达的强...
这一新兴 NVM 技术，备受瞩目
最近对120多名半导体专业人士进行的一项调查揭示了业界对非易失性存储器（NVM）技术的看法及其未来发展方向。调查显示，81%的受访者目前正在评估或已经使用过...
DeepSeek开源Prover-V2强推理模型，网友：奥数从没这么简单过
DeepSeek团队在五一劳动节期间发布了DeepSeek-Prover-V2，这是一款专为数学AI编程语言Lean 4打造的开源大语言模型，专注于形式化定理证明。该模型在定理证明...
上海车展见证历史：从「西为中用」到「中为西用」，行业风向标携手Momenta
2025年上海车展见证了中国汽车工业的历史性转折，标志着从“技术输血”到“智能造血”的转变。上汽大众作为中国首家轿车合资车企，与智能辅助驾驶公司Momenta签署...
小米入局大模型赛道！开源MiMo-7B，性能超o1-mini
小米近日宣布进军大模型领域，并开源了一款名为MiMo-7B的模型。尽管MiMo-7B仅有70亿参数，但其在多个测试中表现优异，在数学AIME24/25中分别达到68.2分和55.4...
