2026年8月4日
Devtools 开源之争登顶、手打 LLM 代码与「别当肉代理」掀 vibe coding 反思、OpenAI 数学十进展刷屏
Devtools开源LLM认知负债
#数学
18 篇文章 · 全部标签
📰 相关日报
📡 相关事件
2026年9月13日
1万个AI解出90年数学难题，为何百万奖金要等3年
AI数学OpenAI
2026年9月12日
25位菲尔兹奖得主联署：AI刷榜数学，正在抽干知识土壤
AI数学技术争议
2026年9月9日
悬赏100万美元千禧难题告破：AI算力正在开采数学草稿
人工智能数学OpenAI
2026年9月7日
陶哲轩 6 帖警告：AI 抢解 100 万美元数学悬赏是一种污染
数学AI陶哲轩
2026年9月5日
人类要验证5年的费马大定理，AI只用11天干完了
AI数学自动化
2026年8月23日
分东西如何做到极致公平？数学家破解 30 年不平衡难题
科学数学
2026年8月13日
25岁MIT博士生证明：量子波连分形迷宫都困不住
科学数学
2026年8月10日
数学家以为魔法六边形只有 2 个，其实有无数个
数学科普证明
2026年8月3日
AI宣布推翻90年数学难题，真相是工具先坏了
AI数学形式化验证
2026年7月26日
数学也有暗夜？四次危机重塑了这门学科
数学科学哲学思想
2026年7月21日
人类数学家正在被「反例超越」——AI+Lean 时代的数学实践转变
AI数学Lean定理证明
2026年7月20日
Claude Fable 丢出一张多项式地图，80 岁的 Jacobian 猜想裂了一道缝
AI数学AnthropicClaude Fable
2026年7月19日
GPT-5.6用一条指令，证明30年算法已达极限
AIGPT-5.6数学形式化证明
2026年7月5日
消失中的冷战遗产：苏联Mir出版社的科学教材
Mir Books苏联科学教育冷战
2026年7月4日
数亿人用了16年没发现，数学一秒就找到了
SQLiteTLA+形式化验证WAL
2026年7月4日
一根吸管，几个洞？拓扑学家：1个
数学拓扑学xkcd科普
2026年6月27日
AI解开80年数学猜想，数学家们却高兴不起来
AI数学证明