Dojo
话题
新佳
订阅
极道
元认知
元逻辑
元设计
元编程
元语言
GPT-6 Astra深度评测:它真的建了一个文明还跟我说话了
#ChatGPT等OpenAI技术
#大语言模型LLM
#AI创作
GPT-6 Astra把Claude Fable 5按在地上摩擦,但OpenAI总裁说AGI来了的时候为什么不敢看镜头! 2026年9月3日,OpenAI扔了一颗核弹。 GPT-6 Astra正式发布,OpenAI总裁Greg Brockman在发布会最后撂下一句话:“Welcome to the
2 天 前
88
2
6K
AI大语言模型、AGI
3 天 前
121
2
4K
#大语言模型LLM
Muse Spark 1.3发布:编程超GPT-5.6 Sol价格低21倍!
的AI模型Muse Spark 1.3,编程能力超越GPT-5.6 Sol! 你敢信?Meta的新AI写代码比OpenAI还猛,价格却便宜到像在搞批发! 2026年9月2日,Meta甩出一颗重磅炸弹—
2 天 前
65
2
5K
#大语言模型LLM
#AGI通用人工智能
OpenAI发布GPT-6 Astra:称可能代表AGI
GPT-6 Astra把AGI考卷答了满分,但监考老师自己改了评分规则! 欢迎来到2026年9月3日,一个被 OpenAI 总裁 Greg Brockman 称为“欢迎来到AGI时代”的日子。 GPT
1 天 前
23
1
10K
#符号推理与形式逻辑
#语言文字游戏
#限定上下文BC
#DDD领域驱动设计
万物皆存在!英文一个“is”坑了西方两千年
你每次用坏人 好人这样词语时,其实已经默认存在好人和坏人,每个人脑门上贴着坏人好人,这个默认存在的前提给你挖了陷阱,使得你基于坏人好人所有思考都毫无根基。 这次我们以最简单的语法 “是什么”来探讨哲学
9 小时 前
6
1
8K
#符号推理与形式逻辑
#大语言模型LLM
#语言文字游戏
#《道德经》认知哲学
AI时代重审欧陆哲学:卡尔纳普语言手术刀再刺海德格
卡尔纳普一刀砍死形而上学,结果砍了个寂寞? 所有人都说逻辑实证主义是一场彻底的失败,但当代哲学家用的工具全是他们造的! 哲学圈最近吵翻了一个老话题:一个叫卡尔纳普的德国人,90多年前写了篇论文说要“消
大语言模型LLM
3 天 前
59
2
3K
#大语言模型LLM
Gemini 3.8 Flash上线:DeepSWE跑分73.7%压过Opus 5
六周发三个模型,谷歌到底在急什么! 2026年9月2日,谷歌DeepMind悄悄上线了Gemini 3.8 Flash。距离3.7 Flash发布才三周。一个Flash系列的“工作马模型”,居然在软件
2 天 前
41
2
6K
#OpenClaw
OpenClaw v2026.9.1发布:新用户真香老用户翻车
OpenClaw更新又翻车了,1186个PR也挡不住老用户一觉醒来全崩了! 一觉醒来,你的AI助手集体罢工了。 摘要: 开源AI智能体OpenClaw在2026年9月初发布v2026.9.1版本,合并
3 天 前
52
2
5K
#ChatGPT等OpenAI技术
#大语言模型LLM
#强化学习RL
#漏洞与安全设计
OpenAI Astra循环深度解析:潜在空间思维模型来了
不一层层算,改成一圈圈转了! OpenAI 给 Astra 装了个“循环加速器”,结果跑得快了,但里面在想啥可能再也看不清了! OpenAI 即将推出的旗舰模型 Astra 采用了一种叫“循环深度”的
1 天 前
11
1
8K
#抽象与继承编程指南
#符号推理与形式逻辑
#架构师资料教程
#软件系统设计指南
系统设计两种抽象:Java藏细节 TLA+砍细节 根本两码事!
拆穿系统设计里的两种抽象:TLA+建模靠削减,Java封装靠隐藏! 计算机专业白学了四年,大多数人根本分不清两种抽象! 计算机系学生一进校门就学抽象数据类型,学接口封装,学分层层设计,学了一整套“抽象
AI智能体Agent
1 天 前
13
1
4K
#符号推理与形式逻辑
#语言文字游戏
#《道德经》认知哲学
#系统思维训练指南
主语和谓语吵了一百年:精神当主语,还是存在当主语
语文课上老师教过:"我在跑步":"我"是主语,"跑步"是谓语。就这么个小学知识,到了哲学界,变成了吵了一百多年的架。 架吵的是:世界这个句子里,谁才配当主语?谁当谓语? 哲学老祖宗:万物皆存在,这句里
5 天 前
161
2
5K
#Hermes
#AI智能体Agent
Hermes v0.21.0 万神殿版本发布:机器人模式正式上线
AI打工人自己拉了个群——Hermes Agent让机器人们组队上班了! 你手头那些重复的活,以后可以让一群AI自己分着干了。 2026年8月31日,Nous Research正式发布Hermes A
4 天 前
42
2
4K
#DeepSeek时刻
#Hermes
GLM 5.3 Flash和DeepSeek V4 Flash在Hermes Agent谁更强
**别信跑分,信干活:GLM 5.3 Flash和DeepSeek V4 Flash在Hermes Agent上谁更扛造!** 一个320亿参数的“全能生”和一个2840亿参数的“偏科生”,在同一个A
1 天 前
9
1
3K
#语言文字游戏
#符号推理与形式逻辑
#认知困境
分析哲学称霸常春藤:德里达、福柯被踢出局
在分析哲学的主流圈子里,他们不觉得德里达、福柯在搞哲学,认为那是文学修辞或社会评论! 美国常春藤名校的哲学系几乎全是分析哲学的天下,德里达、福柯、德勒兹这些法国大牛压根进不了哲学系的课堂。他们的课全被
GitHub工具库推荐
2 天 前
29
1
3K
#大语言模型LLM
#ChatGPT等OpenAI技术
#符号推理与形式逻辑
张益唐之后最大突破:GPT-6 Astra证明素数间距最多186
素数间隙上界刚被AI从240一脚踹到186,但仔细一看,这张成绩单上写了四个字:条件成立! 你知道吗,两个相邻素数之间的最大距离,刚刚被GPT-6 Astra从240压到了186。这数字听着不大对吧,
2 天 前
29
1
5K
#大语言模型LLM
#ChatGPT等OpenAI技术
#符号推理与形式逻辑
数学界刚炸了锅: GPT-6 Astra自主破解两道数十年未解难题
数学界刚炸了锅,一个AI自己搞定了两道几十年没人解出来的数学难题! 2026年9月,OpenAI发布GPT-6 Astra。官方数据很漂亮:FrontierMath Tier 4测试98分,ARC-A
2 天 前
23
1
5K
#大语言模型LLM
#ChatGPT等OpenAI技术
GPT-6 Astra对决Fable 5.1:全能重载选手 vs. 开发专精选手
Astra把33万行SQL砍到1.8万行,还顺带证明了孪生素数猜想的新纪录! 北京时间2026年9月4日凌晨,OpenAI正式发布GPT-6 Astra,总裁格雷格·布罗克曼在发布会尾声说出了一句在A
3 天 前
24
1
4K
#慢性炎症
#线粒体
#血管生物学
#NAD+
衰老-硬化循环真相:细胞外基质硬化焊死血管、毛细血管被挤扁、线粒体被饿死
你的血管正在被自己慢慢“焊死”——这不是比喻,是每天发生在你身体里的化学工程 人变老,不是因为基因写好了倒计时。 衰老的根源,可能藏在你从来没注意过的地方——细胞之间的“缝隙”里。 2026年6月15
一语道破科技玄机:
更多