科技 TechCrunch Disrupt 2026早鸟票即将涨价,创业者可最高节省410美元 TechCrunch Disrupt 2026将于10月在旧金山举行,早鸟优惠截至5月29日,最高可节省410美元。
人工智能 谷歌 DeepMind 推出 AlphaProof Nexus:AI 自主解决 9 个 Erdős 开放问题 谷歌 DeepMind 新框架 AlphaProof Nexus 将大模型证明生成与 Lean 验证结合,在开放数学问题上取得新进展。
生活 谷歌回应 Antigravity 额度争议:新增 Gemini 3.5 Flash(Low)并重置配额 针对 Antigravity 用户反馈简单任务也消耗大量额度,谷歌推出更省 Token 的 Gemini 3.5 Flash(Low),并重置免费与付费计划配额。
科技 Startup Battlefield 200申请即将截止:早期创业公司仍有机会登上Disrupt舞台 Startup Battlefield 200申请将于5月27日截止,入选团队可获得展示、培训、投资人接触与10万美元无股权稀释资金机会。
人工智能 边缘AI新一轮竞速:Grok、苹果、微软与芯片厂商同步加码 Grok新模型、苹果图像生成升级、Windows Copilot回归侧边栏,以及Cerebras、英特尔等芯片路线共同指向边缘AI加速落地。
人工智能 OpenAI GPT-5.6 曝光:或支持 150 万 Token 上下文,前端生成能力受关注 开发者在 OpenAI Codex 后端日志中发现疑似 GPT-5.6 模型线索,传闻其上下文窗口提升至 150 万 Token,并强化前端界面生成能力。