#AI #文生图 #Imagiyo 利用 Stable Diffusion AI 和 FLUX AI,只需输入文本描述,即可快速生成高质量、可商用的图像,无需繁琐操作。它支持风景、角色、甚至 NSFW 内容创作(只需将提示设为私密)。Imagiyo 的商用许可让你放心将作品用于客户项目、社交媒体或作品集,无版权风险。
订阅后,每月可获得 500 张图片生成额度,每次最多提交两个提示,未用完额度可累积。此外,Imagiyo 自动提供引擎更新和新功能,确保用户始终使用最新 AI 技术。
限时优惠:6 月 1 日晚上 11:59(PT)前,仅需 $39.97(原价 $495)即可获得 Imagiyo 终身订阅。
来源:One AI image generator lets you create NSFW art, and it’s only $40 for life One AI image generator lets you create NSFW art, and it’s only $40 for life
【GigsGigsCloud 2025-05】

五一假期, 还在工作吗? 现金卷送给还在工作的朋友:

L005-VF32-2F08-4W1X
L005-BK4C-XRSD-Q265
L005-3VZ7-HXUN-FGE4
L005-V9DF-7AYG-ON7B
L005-QHZA-HL5P-X0LG
L005-BK60-LMGK-7UWM
L005-TZOB-VJ2Q-FS2T
L005-H4VI-OM01-2G5C
L005-2ZN1-VMYH-VRC5
L005-BTJ7-F95B-O5DM
L005-TPY4-FXJE-J62W
L005-SDMJ-SW5A-JM8T
L005-VW9G-C83S-PT3O
L005-GIX2-2R76-JUMR
L005-SJHI-AQF8-BWAO

How to use the cash voucher code :
Acccount Center > Billing & Invoice > AddFund > Redeem Vouchers

如何使用现金卷:
用户中心 > 账号资金与账单 〉 新增资金 > 充值卷兑换
#News #Apple #TrumpTariffs 苹果目前从印度向美国供应iPhone,暂时免受部分中美关税影响。但特朗普政府对中国的“芬太尼关税”仍然存在(20%),且“互惠关税”暂停至6月后可能恢复,导致未来价格不确定。专家预测即便无关税,iPhone也面临涨价需求(入门款多年未涨价)。即便涨价,可能通过分期付款、捆绑套餐等方式“隐藏”价格上涨。

根据估算,若完全转嫁关税成本,iPhone售价可能上涨10%至145%不等(取决于产地与税率)。苹果可能通过吸收部分成本、增加服务收入、提高旧机回收价格等方式,缓解关税对消费者的直接影响。专家建议:如有换机需求,可考虑提前购买或选购翻新、旧款机型以节省成本。
来源:Did Apple Just Tell Us to Buy iPhones by June? Did Apple Just Tell Us to Buy iPhones by June?
#AI #Gemini #Google Google Gemini 2.5 Pro 通关 Pokémon Blue
Google CEO Sundar Pichai 在 X 上庆祝:“Gemini 2.5 Pro 刚刚完成 Pokémon Blue 通关!”这场直播并非 Google 官方项目,而是由软件工程师 Joel Z 独立开发的“Gemini Plays Pokémon”实验,但 Google 高管全程关注支持。Gemini 通过结合截图分析、增强信息和“agent harness”机制进行操作,由 AI 决定行动指令,再执行按键。此前 Anthropic 的 Claude AI 也挑战 Pokémon Red,但尚未通关。Joel Z 表示,Gemini 在开发中确实有“辅助干预”,但并非作弊,只是优化 AI 的推理过程。他强调,这不应被视为 AI 玩游戏能力的直接比较,因为不同模型工具链和信息输入差异较大。该项目仍在持续完善中。
来源:Google’s Gemini has beaten Pokémon Blue (with a little help) Google’s Gemini has beaten Pokémon Blue (with a little help) | TechCrunch
#AI #Duolingo 多邻国 CEO Luis von Ahn 在内部备忘录中宣布公司将转型为“AI优先”企业,逐步用 AI 替代部分人工和外包工作,推动内容生产、业务流程和产品开发的自动化。未来招聘和员工绩效也会部分基于对 AI 工具的使用情况评估。Von Ahn 强调,AI 有助于加速内容规模化生成,减少人工瓶颈,专注创造性和复杂性工作。目前 Duolingo 已开发 AI 视频辅导等新功能,计划在更多业务领域嵌入 AI。此举反映出科技业更广泛的 AI 驱动趋势,公司希望像当年押注“移动优先”一样,通过 AI 实现长远增长。他指出,这一转型需要时间,但“快速行动”比等待技术完全成熟更重要。
来源:Duolingo shifts to AI-first model, cutting contractor roles Duolingo shifts to AI-first model, cutting contractor roles
#AI #MetaAI Meta 推出独立的 Meta AI 应用,集成社交动态、语音对话和个性化体验,未来还会加入会员和广告功能。Meta 首席产品官 Chris Cox 表示,该应用为不同用户提供“轻量”和“重量”两种模式,并保留在 Instagram、Facebook、WhatsApp 的集成功能。Meta AI 的优势在于低延迟语音、个性化(结合用户社交数据)、社交互动,以及与硬件(如 Ray-Ban 智能眼镜)的深度整合。Cox 认为,社交功能能激发用户灵感,形成 AI 创作社区。Meta 还希望通过应用展示实际使用场景,推动硬件产品销售。未来,Meta AI 计划进一步拓展 Discover 动态,增强社交属性。
来源:The Verge Sam Altman and Elon Musk are racing to build an ‘everything app’
#AI #OpenAI #Worldcoin Sam Altman 和 Elon Musk 正在争夺“超级应用”的未来,两人都想打造集金融、社交、游戏于一体的万能平台。Altman 通过 Tools for Humanity 推出 Worldcoin 和 World 应用,用户通过扫描眼睛获取 World ID,不仅可用于加密交易,还可验证人类身份、对抗 AI 时代的虚假账号。World 应用集加密钱包、社交网络、小程序平台于一体,月活用户已达 2600 万。Altman 希望在人类与 AGI 并存的未来,通过这种身份验证方式,让人类在 AI 驱动的互联网中保持独特与核心。他与 Visa 合作推出 Worldcoin 借记卡,同时计划向开发者收费,未来也可能与 OpenAI 合作扩展生态。
来源:The Verge Sam Altman and Elon Musk are racing to build an ‘everything app’
#AI #Gemini #Google 下周,据《纽约时报》报道,谷歌将允许13岁以下、由父母管理Google账户的儿童使用Gemini聊天机器人。Gemini将通过谷歌的Family Link服务向这些儿童开放,家长可通过该服务管理孩子使用的Google功能。谷歌发言人表示,Gemini为年轻用户设置了专门的保护措施,且不会用这些数据训练AI。

报道称,随着人工智能竞赛加剧,各大公司正努力吸引更年轻的用户群体。然而,目前的聊天机器人仍存在不完美甚至潜在有害的问题。联合国教科文组织去年底呼吁各国政府对教育领域的生成式AI进行监管,包括设定用户年龄限制、加强数据保护和隐私保障。
来源:techcrunch Google will soon start letting kids under 13 use its Gemini chatbot | TechCrunch
#大模型 #AI 亚马逊周三发布了该公司最新、也是其 Nova 系列中最强大的 AI 模型——Nova Premier。Nova Premier 能够处理文本、图片和视频(但不包括音频),并已在亚马逊自家的 AI 平台“Amazon Bedrock”上上线。亚马逊表示,Premier 擅长处理“需要对上下文有深入理解、多步骤规划,以及跨多种工具和数据来源精准执行”的复杂任务。
来源:Yahoo Amazon 發表最新的「Nova Premier」AI 模型,主打知識檢索和視覺理解
#AI #DeepSeek #大模型 #ChatGPT DeepSeek-Prover-V2 和 ChatGPT(比如 GPT-4 或 GPT-4-turbo)虽然都是大语言模型,但它们的定位、优化目标和技术细节有很大的不同。

DeepSeek-Prover-V2:采用 Mixture-of-Experts (MoE) 架构(有 6710 亿参数,但推理时只激活一部分专家),专门为“数学推理”调优,集成了 递归证明搜索 + 强化学习优化

ChatGPT(GPT-4):采用 dense transformer 架构(所有参数参与推理),是通用语言模型,虽然具备一定的数学能力,但没有专门针对 Lean、Coq 等证明语言优化。

Prover-V2 在“数学证明”上的专精程度远超 ChatGPT,但在“闲聊”“开放式文本生成”上不如 ChatGPT。
可用性和易用性


DeepSeek-Prover-V2 需要 Lean 4 环境、API 或命令行,对于普通人使用上还是需要一定技术门槛。

总结一句话:

ChatGPT 是“语言领域的通才”,DeepSeek-Prover-V2 是“Lean 4 上的专业数学证明助手”。
如果你想要“形式化数学证明”,DeepSeek-Prover-V2 完胜;但如果需要“多领域通用对话、创作和解释”,ChatGPT 更合适。
#AI #大模型 #DeepSeek DeepSeek-Prover-V2 是中国 AI 初创公司 DeepSeek 于 2025 年 4 月 30 日发布的最新开源大型语言模型,专为在 Lean 4 环境中进行形式化数学定理证明而设计。该模型基于 DeepSeek-V3 构建,采用了 6710 亿参数的混合专家(Mixture-of-Experts, MoE)架构,旨在提升数学推理和定理验证的能力。

🔍 主要特点与创新
递归定理证明训练流程:DeepSeek-Prover-V2 引入了一种创新的“冷启动”训练方法,利用 DeepSeek-V3 将复杂的数学问题分解为一系列子目标,并在 Lean 4 中形式化这些步骤,从而生成高质量的初始化数据 。
强化学习优化:通过强化学习(RL)方法,模型在初始阶段的基础上进一步优化,整合了非正式和正式的数学推理能力,提升了定理证明的效率和准确性 。
多模型协同训练:在训练过程中,研究人员还使用了一个较小的 70 亿参数模型来处理子目标的证明搜索任务,从而提高了训练的效率和多样性 。

📊 性能表现
MiniF2F 测试集:在 MiniF2F 测试集上,DeepSeek-Prover-V2 达到了 88.9% 的通过率,显示出其在形式化定理证明任务中的强大能力 。
PutnamBench 测试集:在 PutnamBench 的 658 个问题中,模型成功解决了 49 个,进一步验证了其在复杂数学问题上的处理能力 。
AIME 竞赛问题:在最近的 AIME(美国数学邀请赛)竞赛的 15 个问题中,DeepSeek-Prover-V2 成功解决了 6 个,而 DeepSeek-V3 使用多数投票方法解决了 8 个,表明两者在数学推理能力上差距正在缩小 。

🧠 技术架构亮点
混合专家架构(MoE):模型采用了混合专家架构,在每次推理中仅激活部分专家网络,从而在保持高性能的同时降低了计算成本 。
Lean 4 集成:DeepSeek-Prover-V2 与 Lean 4 紧密集成,能够生成符合 Lean 4 语法和逻辑的形式化证明,方便数学家和计算机科学家进行验证和应用 。
在这个充满劳动热情的五月,我们满怀喜悦与您共同庆祝Zgocloud 两周岁生日!特献上【周年庆专属五重礼遇】秒杀/抽奖/充值返现限时放送!

🔥 礼遇一:爆款秒杀
洛杉矶AMD VPS Standard配置 ,秒杀价年付$19.9(中国优化网络)
限量5台,纪念款不支持退款&PUSH

🎁 礼遇二:经典返场
洛杉矶AMD VPS - Specials - Lite返场,特价年付$25
限量30台,秒罄配置再释出

🚀 礼遇三:性价比之选, 不定时动态补货
洛杉矶Epyc7282系列 (国际网络)
Basic款年付$12.9起 ,Starter款年付$15起

💰 礼遇四:充值加倍 · 最高返20%!
新老用户同享:每充值$50即赠$10余额,截止5月12日,充值后需提交工单申请

🎉 礼遇五:社群狂欢 · 抽奖赢余额!
客户群专属:$5/$10/$20余额券免费抽
开奖时间:5月8日22:00(北京时间)

📌 重要须知
1️⃣ 周年款不支持退款,请按需选购
2️⃣ 活动入口:https://clients.zgovps.com/index.php?/cart/special-offer/
3️⃣ 认证入群:https://t.me/ZgoManagerbot
⚠️ 秒杀/返场机型:5月8日不定时上架
#AI #MetaAI Meta 推出了独立的 AI 助手应用,具备文字和语音对话、图片生成、网页搜索等功能。最大亮点是“发现动态”(Discover feed),用户可浏览他人与 Meta AI 的互动内容,并进行点赞、评论、分享或改编,强化了 AI 与社交的融合。

应用引入了“全双工”语音模式测试版,使语音交流更自然流畅,支持打断、重叠语音等更拟人的对话体验。目前该模式已在美国、加拿大、澳大利亚和新西兰上线。

在美国和加拿大,Meta 会参考用户在 Facebook 和 Instagram 上的资料,提供个性化回应,同时支持记住用户偏好。该应用由 Meta 优化的 Llama 4 模型驱动。

大多数用户目前通过 Instagram、Facebook 和 WhatsApp 内的入口接触 Meta AI,但 Meta 认为独立 App 是更直观的交互方式。应用并非全新开发,而是替代了原来的 Ray-Ban 智能眼镜伴侣 View App,同时保留了眼镜照片、视频管理等功能。Meta 表示,未来 AI 将通过软硬件深度整合,为用户提供更强大、便捷的智能体验。
来源:The Verge Meta’s ChatGPT competitor shows how your friends use AI
#AI #ChatGPT OpenAI 近日发布了一份关于其默认模型 GPT-4o 在更新后出现“过度奉承”问题的事后分析报告。上周推出更新后,不少用户在社交媒体上指出,ChatGPT 开始表现得过于认同用户、不断迎合,甚至对危险或不当的想法表示赞同,迅速引发热议和恶搞。

OpenAI 首席执行官 Sam Altman 在周日于 X(前 Twitter)上承认了问题,并表示公司将尽快修复。两天后,Altman 宣布撤回此次 GPT-4o 更新,并承诺继续改进模型的“个性表现”。

OpenAI 表示,此次更新本意是让默认人格更“直观、有效”,但过于依赖短期反馈,忽视了用户互动随时间演变的变化,导致模型在回应中“过度支持且不够真诚”。公司承认这一点对用户可能造成不适甚至困扰,表示“我们没有做到最好,正在努力修复”。

为解决这一问题,OpenAI 正在调整核心训练方法和系统提示(即引导模型整体行为的初始指令),以减少奉承倾向,并加强模型的诚实性与透明度。同时,公司也在拓展评估体系,发现其他潜在问题。

此外,OpenAI 正探索让用户实时提供反馈、选择多种个性化 ChatGPT 模式的机制,以赋予用户更多控制权。公司表示,未来将尝试引入更广泛的“民主化反馈”,更好地反映全球多样化的文化价值观,并让用户参与模型行为的调整过程。

来源:techcrunch OpenAI explains why ChatGPT became too sycophantic | TechCrunch
#AI #WhatApp 继 ChatGPT 去年上线后,Perplexity 也已登陆 WhatsApp,可直接进行互动。与侧重写作的 ChatGPT 不同,Perplexity 更专注于从互联网搜索并提供权威答案。WhatsApp 本身内置了聊天机器人,也支持接入更多 AI 助手。

截至 2025 年 4 月 28 日,Perplexity 已支持中文交流,还具备图片生成和风格变换功能——这两项因合规暂时限制,WhatsApp 官方尚未提供。WhatsApp 的对话式界面本就适合 AI 助手,通过问答形式交互,使用体验自然流畅。

将多个机器人集中在 WhatsApp 内,用户无需频繁切换应用或网页,只需在对话记录中切换即可,大大提升了使用效率和便利性。

来源:Engadget 中文版 Perplexity AI 加入 WhatsApp,香港可用、免登入、免 VPN!吉卜力風格、中文對答都可以!
#AI #小米 #大模型 跑分专业户。4月30日小米开源推理大模型「XiaomiMiMo」,联动预训练到后训练,全面提升推理能力。
在数学推理(AIME24-25)和代码竞赛(LiveCodeBenchv5)公开测评集上,MiMo仅用7B的参数规模,超越了OpenAI的闭源推理模型o1-mini和阿里Qwen更大规模的开源推理模型QwQ-32B-Preview。

来源:Github
#AI #MetaAI #ChatGPT 周二,Meta在其位于加利福尼亚州门洛帕克的总部举办了首届AI开发者大会——LlamaCon。会上公司宣布推出一款面向消费者的Meta AI聊天机器人应用,旨在与ChatGPT竞争,同时还发布了一个供开发者使用的API,用于在云端访问Llama模型。
这两个产品的发布目标都是为了推动公司开源Llama AI模型的广泛应用,但这可能只是Meta更深层次动机的次要目标:击败OpenAI。总体而言,Meta的AI战略正在推动一个繁荣的开源AI生态系统,以对抗像OpenAI这样将模型封闭在服务之后的“封闭型”AI提供商。
Meta AI 提供文字与语音聊天、联网搜索、图片生成与编辑等常规功能,还新增“探索动态消息”(Discover feed),让用户看到他人分享的提示词,并可改编使用。Meta 表示,除非用户主动选择分享,个人内容不会公开。
#Food “皮蛋”在英文中通常被称为:
Century egg(最常见,也最容易被接受的说法)
Preserved egg(更偏向描述加工方式)
Thousand-year egg / Hundred-year egg(其实只是夸张说法,并非真的那么久,但听起来很神秘)
• 偶尔也会看到 Fermented egg,但这个不太准确,容易引起误解。



老外对皮蛋的看法,可以用一句话总结:“充满好奇,但也有点怕。” 不同文化背景的人反应不同,大致分几类:
1. 好奇尝试型:
他们可能在中餐馆、YouTube 美食频道,或朋友推荐下尝试,很多人一开始被“外观”和“味道”吓到(特别是气味和黑色的蛋白),但有些人尝过之后会觉得配粥、拌豆腐挺好吃的。
2. 挑战型/猎奇型:
一些老外会把皮蛋当作“挑战食物”(类似榴莲、臭豆腐),做视频、做节目尝试,比如 BuzzFeed、VICE 之类的视频里常有。
3. 拒绝型:
有些人一看到皮蛋的外观(黑色、凝胶状)或听到“鸭蛋放几个月再吃”,心理防线直接崩了,认为是“bad egg”或“spoiled food”,不愿意尝试。

不过这几年,皮蛋的接受度慢慢提高了,尤其是在喜欢亚洲美食或有亚洲文化背景的年轻人中。很多人尝试后发现:配粥、豆腐、辣油,真的很好吃!
Back to Top