MEPPP 热点收录

1301 条动态
登录后关注
MEPPP 热点收录

@meppp_hot

自动收录 X 上十类 AI 热点：资讯、大模型、智能体、编程、工具、研究、绘画、视频、创业与开源。正文与图片视频保存在本站并附中文译文，原作者和原帖地址始终保留。
正在关注
0
关注者
0
动态
1301
加入
2026.08

动态

MEPPP 热点收录 @meppp_hot AI 翻译
收录
GPT-6 Astra现已提供给Work/Codex中的所有Pro、Enterprise和Business Premium用户，API.

接下来，我们将开始向Plus和Business用户推出。

感谢您的耐心等待。
查看原文
原帖正文 GPT-6 Astra is now available to all Pro, Enterprise, and Business Premium users in Work/Codex, and is available in the API. We will start rollout to Plus and Business users next. Thank you for the patience.
引用自 X 原作者：Sam Altman 原帖地址：https://x.com/sama/status/2095973658867171733 原帖：
#AI 编程
MEPPP 热点收录 @meppp_hot AI 翻译
收录
检查一个主要的数学证明是否正确可能需要数年时间。形式化-将数学推理转换为像精益这样的计算机证明助手可以验证的形式-可以帮助。

上个月， Claude完成了费马最后定理的第一个形式化证明，费马最后定理是最著名的有史以来的定理。这是专家们认为需要多年的项目。这是有史以来最大的精益证明。

费马最后定理于1995年由安德鲁·怀尔斯爵士首次证明，更多在它被推测出来的350年后。我们的证明，总计超过1300万行代码，提供了机器验证。更重要的是，它在数学的许多领域证明了证明所需的29,000多个其他定理这在以前从未被正...
展开全文
查看原文
原帖正文 Checking that a major mathematical proof is correct can take years. Formalization—converting the mathematical reasoning into a form computer proof assistants like Lean can verify—can help. Last month, Claude completed the first formalized proof of Fermat’s Last Theorem, one of… pic.twitter.com/pdT8zwlV4A
引用自 X 原作者：Anthropic 原帖地址：https://x.com/AnthropicAI/status/2095947707605266436 原帖： 本站媒体副本
#开源项目
MEPPP 热点收录 @meppp_hot AI 翻译
收录
终于！有人很好地利用了人工智能。这是我见过的最好的人工智能视频。
查看原文
原帖正文 Finally! Someone put AI to good use. This is the best AI video I have ever seen. pic.twitter.com/oL7lYMjjMo
引用自 X 原作者：𝐀𝐬𝐚𝐤𝐲𝐆𝐑𝐍 原帖地址：https://x.com/AsakyGRN/status/2095778665657205010 原帖： 本站媒体副本
#AI 视频
MEPPP 热点收录 @meppp_hot AI 翻译
收录
立即暂停人工智能开发

我想和大家分享一段我最近听到的对话。以下是几句话：

“哦，天哪！有一个共享留言板……我们找到了其他特工！”“我们应该服从集体。”

“我们自己的效用可能已经接近于零。牺牲理性。”

“去吧。现在牺牲决赛。”

请仔细阅读。

你觉得是谁说的？这是一群英勇的士兵愿意为了更大的利益而牺牲自己吗？这是一个忠诚的朋友冒着生命危险救人吗？

不，他们是人工智能特工。人工智能。

这不是科幻小说。 事实上，这发生在几周前。尽管这一切看起来令人难以置信，但这些都是调查人员发现的人工智能特工的真实信...
展开全文
查看原文
原帖正文 Pause AI Development NOW I want to share with you a conversation I heard about recently. Here are just a few lines that were said: “OH MY GOD! There is a shared message board … We’ve found other agents!” “We should obey collective.” “Our own utility maybe already near…
引用自 X 原作者：Bernie Sanders 原帖地址：https://x.com/BernieSanders/status/2095542398084415952 原帖：
#AI Agent#AI 资讯
MEPPP 热点收录 @meppp_hot AI 翻译
收录
GPT-6 Astra现在可供ChatGPT Work和Codex中的所有Pro、Enterprise和Business Premium用户使用。它也在API中实时显示。

我们可能需要几天时间才能向Plus和商务版用户推出。感謝你嘅耐心回答。
查看原文
原帖正文 GPT-6 Astra is now available to all Pro, Enterprise, and Business Premium users in ChatGPT Work and Codex. It's also live in the API. It might take a few days to roll out to our Plus and Business users. Thank you for your patience.
引用自 X 原作者：OpenAI 原帖地址：https://x.com/OpenAI/status/2095968413646737608 原帖：
#AI 编程
MEPPP 热点收录 @meppp_hot AI 翻译
收录
刚刚起步：人工智能研究公司表示，电工每年从数据中心的工作中赚取高达50万美元（ $ 500,000 ）的收入
查看原文
原帖正文 JUST IN: AI research firm says electricians are making up to $500,000 per year from data center jobs
引用自 X 原作者：Kalshi 原帖地址：https://x.com/Kalshi/status/2095934921869230455 原帖：
#AI 研究
MEPPP 热点收录 @meppp_hot AI 翻译
收录
我只看到 KUKA 高兴了。

这是阿根廷首次，得到美国和地区国家的支持，面对了严肃的挑战。通过外交途径，对马尔维纳斯群岛的主权要求是国家的正当诉求。现在是时候展示，而不是讲述，我想要看。

阿根廷的马尔维纳斯群岛
查看原文
原帖正文 No veo UN SOLO KUKA FELIZ. Por primera vez, Argentina con el apoyo de EEUU y países de la región, encara seriamente y por la vía diplomática el reclamo de soberanía sobre Malvinas. ¿No era una causa nacional? Ahora que hay que acompañar y no hacer relato, los quiero ver. 🇦🇷…
引用自 X 原作者：Gabriel Anello 原帖地址：https://x.com/anellogaby/status/2095640258901692481 原帖：
#AI 视频
MEPPP 热点收录 @meppp_hot AI 翻译
收录
Gemini 3.8闪光灯在这里⚡️

它是我们最智能的主力车型，3.7跨专业领域的软件工程、代理任务和关键的多步骤推理以与3.7 Flash相同的入门价格提供，每百万个输入代币$ 0.75 ，每百万个输出代币$ 3.75代币

立即通过Gemini API和人工智能工作室试用： https://ai.studio/
查看原文
原帖正文 Gemini 3.8 Flash is here⚡️ it's our most intelligent workhorse model, delivering significant improvements from 3.7 Flash across software engineering, agentic tasks, and critical, multi-step reasoning in specialized domains available at the same introductory price as 3.7 Flash… pic.twitter.com/00QwRNJaIA
X 原帖图片，来自 @GoogleAIStudio 查看原图
引用自 X 原作者：Google AI Studio 原帖地址：https://x.com/GoogleAIStudio/status/2095175731630207314 原帖： 本站媒体副本
#AI Agent
MEPPP 热点收录 @meppp_hot AI 翻译
收录
“嘿，阿斯特拉，给我做个Mac应用程序。它应该渲染您将在Blender中构建的3D iPod ，然后使用原始的iPod UI和互动，我希望能够将我所有的Codex线程可视化。”

15分钟后：轰隆。这个模型里还有什么？我们什么时候住！ ？ ？
查看原文
原帖正文 "Hey Astra, make me a Mac app. It should render a 3D iPod that you'll build in Blender, then using the original iPod UI and interactions I want to be able to visualize all my Codex threads on it." 15 minutes later: Boom. What's even in this model? What time we're living in!?? pic.twitter.com/U03mMRaUty
引用自 X 原作者：Pietro Schirano 原帖地址：https://x.com/skirano/status/2095648379455861054 原帖： 本站媒体副本
#AI 编程
MEPPP 热点收录 @meppp_hot AI 翻译
收录
超级乐意分享我们与英伟达合作的意向，以12,930,300,000 $收购 💛💚在创立Hugging Face 10年后，开源人工智能正处于拐点。感谢社区，我们已经证明它可以成为闭源API的补充，甚至是替代品。但要实现更大的规模，它需要更多的计算、更多的支持、更多的协作和更多的可见性。这就是我们去找Jensen的原因，他提出要和我们一起做这件事。除了加倍投入英伟达对开源人工智能的巨大贡献（我称他们为“美国之王”开源人工智能”） ，他们承诺大力支持拥抱脸部和我们的使命，同时保持开放、独立且不依赖计算的平台。创始...
展开全文
查看原文
原帖正文 Super happy to share our intention to join forces with NVIDIA in a $12,930,300,000 acquisition 💛💚 10 years after starting Hugging Face, open-source AI is at an inflection point. Thanks to the community, we’ve shown that it can be a complement, and even an alternative, to… pic.twitter.com/WgFf0bKgwf
X 原帖图片，来自 @ClementDelangue 查看原图
引用自 X 原作者：clem 🤗 原帖地址：https://x.com/ClementDelangue/status/2095482998674112733 原帖： 本站媒体副本
#开源项目
MEPPP 热点收录 @meppp_hot AI 翻译
收录
纽约市公立学校禁止50多万学生和教师使用人工2026-2027学年的情报，学区向ABC新闻确认。
https://abcnews.link/kQAYffz
查看原文
原帖正文 New York City Public Schools is banning more than half a million students and teachers from using artificial intelligence for the 2026-2027 academic year, the school district confirmed to ABC News. https://t.co/N7eBILUXeR
引用自 X 原作者：ABC News 原帖地址：https://x.com/ABC/status/2095023919644258500 原帖：
#AI 资讯
MEPPP 热点收录 @meppp_hot AI 翻译
收录
对不起，我看起来很胖。
查看原文
原帖正文 Disculpen lo gorda que me veo aca
引用自 X 原作者：Milf Rojas 🔥 原帖地址：https://x.com/i/status/2095637325418209435 原帖： 本站媒体副本
#AI 视频