#Lean

共 20 条 · 第 1 / 2 页
栏目

11月11日 周三 1 条

11-11
17:29
量子位 量子位 2109 字

650万行数学证明，4周交卷！Gemini 4 Carbon啃下加密协议验证硬骨头

已开源！

推荐理由本文涵盖「CEO」、「AI Agent」、「Lean」等多个主题，重点关注 CEO。

#AI Agent#Lean#形式化验证#CEO#Bug

11月10日 周二 1 条

11-10
19:56
云头条 云头条 1018 字

美国要封杀中国光模块！微软急了！

2026 年 11 月 10 日，据《路透社》报道，微软正游说特朗普政府，要求停止推进针对中国新型光模块的进口禁令。 微软及其他美国科技企业担心，相关禁令可能导致美国 AI 数据中心建设陷入停滞，大量已经采购的 AI 芯片也可能因缺少光模块而无法投入使用，进一步削弱美国在全球 AI 竞争中的优势。…

推荐理由本文涵盖「数据中心」、「国家安全」、「Lean」等多个主题，重点关注 数据中心。

#数据中心#Lean#国家安全#Nterp#View

11月4日 周三 1 条

11-04
07:15
机器之心 机器之心 2314 字

刚刚，Anthropic开源FlashProve，给大模型办了一张「防伪身份证」

以后调用大模型，还得附一份「身份证明」？

推荐理由本文涵盖「Anthropic」、「ROP」、「大模型」等多个主题，重点关注 Anthropic。

#Anthropic#大模型#Lean#密码学#ROP

10月31日 周六 1 条

10-31
17:59
看雪学苑 看雪学苑 2886 字

仿冒 CCleaner 投递 GhostDesk 木马

看雪论坛作者ID：ZyOrca

推荐理由本文涵盖「Lean」、「恶意软件」、「Win」等多个主题，重点关注 Lean。

#加密货币#恶意软件#Lean#敏感信息#Win

10月28日 周三 3 条

10-28
17:55
量子位 量子位 2253 字

物理学也要被AI攻陷了？5道20多年量子公开问题被突破

最后一位MIT三学位天才出手了。

推荐理由本文围绕「Intel」、「Lean」等主题展开。

#Lean#Intel
10-28
15:15
量子位 量子位 1273 字

「指数时间假设」不成立！OpenAI和A社同日出大结果了

计算复杂性理论要改写了？！

推荐理由本文涵盖「OpenAI」、「Anthropic」、「ROP」等多个主题，重点关注 OpenAI。

#Anthropic#OpenAI#Lean#AMA#ROP
10-28
12:01
机器之心 机器之心 3265 字

数十agent，24天挑战数学界巨型工程，还揪出40年前漏洞

这一次，AI不仅完成了大规模数学形式化证明，还在前人的研究中找到了新的突破口。

推荐理由本文围绕「漏洞」、「AI Agent」、「Lean」等主题展开。

#AI Agent#Lean#漏洞

10月21日 周三 1 条

10-21
08:20
歸藏的AI工具箱 歸藏的AI工具箱 286 字

有了AI，终于不用忍受满是广告的电视界面了

现在 AI 真是厉害，连电视界面都能改！ 我参考了比较流行的两个项目，给自己做了一个新的启动器 终于不用忍受满是广告的国产电视界面了 现在这个启动器完美符合我的需求： 只展示常用的应用，比如我的 PS5 和 Apple TV 的连接，还有我常看的哔哩哔哩以及投屏。…

推荐理由本文围绕「Apple」、「Lean」等主题展开。

#Lean#Apple

10月13日 周二 2 条

10-13
13:01
量子位 量子位 1897 字

AI破解56年数学难题登Science！还是DeepMind讲究，成果交给同行评审

一口气解决9道埃尔德什开放问题

推荐理由本文涵盖「AI数学」、「OpenAI」、「谷歌」等多个主题，重点关注 AI数学。

#OpenAI#Agent#Lean#AI数学#谷歌
10-13
12:00
机器之心 机器之心 4455 字

九章云极问鼎陶哲轩数学挑战赛！让强化学习成为AI4S新基建

让 AI 探索更广袤的未知。

推荐理由本文涵盖「陶哲轩」、「强化学习」、「菲尔兹奖」等多个主题，重点关注 陶哲轩。

#人工智能#菲尔兹奖#强化学习#Lean#陶哲轩

10月11日 周日 1 条

10-11
12:30
机器之心 机器之心 5136 字

ChatGPT共同创造者Liam Fedus：数学之后，AI该去实验室了

AI 能刷 722 篇数学论文，却（还）造不出一块超导体

推荐理由本文涵盖「ChatGPT」、「OpenAI」、「Lean」等多个主题，重点关注 ChatGPT。

#智能体#后训练#OpenAI#Lean#ChatGPT

10月10日 周六 1 条

10-10
13:00
机器之心 机器之心 5114 字

OpenAI搅乱数学界！科研项目没了，数学家遭毁灭性打击，学界还要数年消化

接下来的几年，数学界会变得非常奇怪。

推荐理由本文围绕「OpenAI」、「Lean」等主题展开。

#OpenAI#Lean