在体验了200款AI导航站，但感到失望后，我自己做了一款AI应用的搜索引擎

加了不少AI社群，经常在群里看到一些群友问，想实现某个功能，大家有没有好用的AI应用推荐。多数情况，群主或者热情群友都会人工推荐。人工推荐的准确度和质量无疑很高，但效率却较低。如何用一个产品来解决这个需求，是我一直思考的问题。

AI工具导航站是试图解决这个问题的最常见方案。在5个多月前，我把市面上几乎所有的AI导航站都调研了一遍，并且做了一个小网站把他们列了出来（当时的故事参考：web.okjike.com ）。虽然已经有200多个AI导航站了，但我发现在满足“帮人找AI应用”这个需求方面，都还不太理想。

显然解决这个问题最有效的方式是搜索（或者进阶一点用AI问答等创新形态），但绝大多数导航站把产品的重点放在了应用的罗列和呈现上，让用户手动去找，这无法高效满足长尾需求。

对于有搜索功能的导航站来说，也存在各种问题：要么搜出来的结果太少，虽然有点相关，但无法满足其他额外要求（如收费低）；要么搜出来的结果很多，但根本不相关。要么只能匹配关键词，无法理解语义；要么能理解语义，但精确匹配的结果反而排在了后面。就算上面问题都做的不错的，也存在搜索耗时太久、结果页广告太多等等问题。

反正按我标准来看，没一个好用的。

所以我决定自己做一个“AI应用的搜索引擎”，不为在已有200个导航站情况下重复造轮子，只为能在这个垂直场景下，能将搜索体验做到极致。希望大家想找AI应用的时候，能第一时间想到我的产品。

经过大概5个多月的努力，我终于开发出了MVP版本，地址在：askaitools.ai 。（关注过我之前动态的朋友可能会发现，地址还在原来导航站列表的地址上，但是内容更新了。另外旧的内容换到了子目录下：askaitools.aidirectories ）

在做独立开发者之前，我在某厂做搜索算法工程师。从专业的角度来看，这版做得还很简陋，在前司中积累的1万种雕花技巧，都还没用上。也还没达到我上面讲的目标，希望大家能耐心等我后续的优化。

不过横向和现有的导航站相比，搜索体验做到了前5应该是能保证的。目前的特点包括：

1. 应用收录数量达1万款，超过市面上95%的AI导航站
2. 结合了关键词搜索和语义搜索，比传统的关键词搜索或只用向量搜索的结果更全面
3. 每个结果都展示了月访问量、停留时长、互动率等指标，辅助用户决策
4. 排序时同时考虑了相关性和月访问量数据，兼顾了相关性和应用质量
5. 作为MVP，只有搜索这一个核心功能，页面极为简洁，无广告

目前的限制是：暂时先做的英文搜索，用中文搜的话，效果会差一些。（可以用沉浸式翻译插件，在输入中文后，快速按3下空格，将中文翻译为英文，然后搜索）

顺便说一句，项目核心的搜索功能和前端代码已经开源，在github.com ，欢迎star。关于开源和技术相关的话题，我后面会再开一帖和大家分享，敬请期待。

最后再重复一下地址：askaitools.ai ，欢迎大家体验、提出反馈建议！

可解释性，就是用一系列简单的演绎逻辑（如果-那么规则）去近似拟合一系列归纳逻辑，或更复杂的演绎逻辑。

如果这个更简单的演绎逻辑的拟合精度足够高（如 99% 以上），我们就是找到了整个逻辑推理中的一条捷径。我们称之为一条定理、定律，或科学发现。

自然界的规律具有层次性，比如基础的化学规律很简单，不必都用物理中的量子力学去解释。很多基础生物学规律也很简单，也不必都用化学规律去解释。

本质上，这都意味着在一系列复杂的逻辑推理中，总会存在一些近似的逻辑捷径。只要这些近似的逻辑捷径精度在可接受范围内，且系统化，足够多，能覆盖特定领域上层的其他逻辑推理，那么就能分化出一个新的学科。

演绎，是二进制的归纳。

验证并挖掘人类的元认知，或许和——验证原子的存在，挖掘出元素周期表；和挖掘出欧几里得公理；和挖掘出牛顿3定律、麦克斯韦方程组；和挖掘出最小指令集——一样重要。

o3 的 ARC-AGI 基准达到 75.7%，大计算量版本可达到 87.5%，以及 SWE-bench 达到71.7%，都相当令人震撼。当然，调用成本同样令人印象深刻。

2030 年前实现 AGI 的可能性又增加了一截。

PS：arc prize 的博客是关于 o3 的最佳评论：arcprize.org

拿老题测了最近发布的几个推理模型，感受是：o1 > o1 mini > ds r1 preview ≳ QwQ-32B ≳ Gemini 2.0 Flash Thinking Exp > kimi k1 ≈ kimi k0

对于不完整json的解析问题，依然只有 o1、o1 mini、o1 preview能搞定，其他都不行

非大批量严格测试，仅供参考

“想想神经与符号的关系真的很神奇：人类用神经的大脑构建出了纯符号的数学、逻辑和计算机，而过了几十年我们用符号的计算机来模拟神经网络，现在我们又想用神经网络来做符号的任务比如定理证明”

来自：[AGI 的最终挑战（一）：AI for Math](mp.weixin.qq.com)

看完了《逻辑学导论》，简单理解就是：逻辑就是一系列“如果……那么……”的操作规则。人类天生具有逻辑，这是生物进化和自然选择过程中，留在我们大脑中的初始设定。这些逻辑直觉可以相互组合和嵌套，形成整个逻辑大厦。

如果不仅AGI的实现是不存在物理上的障碍的，而且具有和人类类似的自由意志的AI的实现，也是不存在物理上的障碍的。那么，AGI对人类社会的影响，就不仅是夺走了人类工作这么简单，而是会造成一场存在性危机。

用决定论的方式做出了表象上和人类无差异的自由意志，其另一层含义是，人类的自由意志，实际也只是表象，而非真实存在。本质上，人类与AI相同，都是对外界环境的复杂的机械反应。看似无法预测的自由选择，不过是因为系统过于复杂导致的精确预测的困难，而非本质的不能。本质上，命运已被提前注定。

对自由意志的否定，将比对上帝的否定，对人类是上帝所造的特殊生灵的否定，影响更甚。进化论将人类“贬低”到和猿猴、和普通生物同等的地位。而AI的自由意志理论和实践，又将人类“贬低”到和硅片、和石头，和普通物质同等的地位。

如果命运早已注定，那么对命运的抗争，一切所谓的主观努力，又有何意义？

这是AGI时代的每个人，都需要考虑的问题。

或许，人生的意义就在于，去实现我们与生俱来的命运。也即，我们的使命，隐藏在系统prompt中，弥散在环境上下文中的使命。

当AGI来临时，AI已经能够达到人类的认知和处理事情的水平。那时人类需要怎样的教育？人类会和AI以怎样的方式合作？

这里谈论AGI，而非ASI，也就是AI接近但没有超越人类的智能。那时AI会处理一切具备确定性的事情，或者不确定性非常小的事情。而人类的任务则是去处理不确定性更大的事情。因而人类教育、学习的目标，就是学习如何系统性地解决这个世界各种各样的不确定性。

解决不确定性的根本方法论在于概率统计与算法。概率统计算法需要基于数学和逻辑。在此基础上，它需要应用于各种场景。所有场景中，又以物理世界、人类社会、自我世界为三大核心场景。

在功利之外，向上需要文学、艺术与情感的培育，增加幸福感；向下需要良好的身体素质与（在意外、灾难中的）极限求生的技巧作为保底，留得一颗火种。

因而，如果我有孩子，我希望他/她的基础教育是这样的课程安排：

1. 概率与算法
2. 代数与几何
3. 逻辑与表达
4. 物理与工程
5. 历史与社会
6. 健康与认知
7. 文艺与情感
8. 体育与求生

语文课被拆分到3个课里，基础的语言表达拆到《逻辑与表达》课中。而文学相关的表达，则拆到《文艺与情感》课中，少量德育、思政相关的内容。拆到《历史与社会》课中。

数学课中的“概率论”被提到一个更高的等级，同时提前加入“算法”教育，让《概率与算法》和《代数与几何》放在并列的等级。

英语课被取消，作为大学专业课，或者作为《文艺与情感》或《历史与社会》课中的专题。

物理课被弱化，减少物理知识的教育，增加物理理论、建模、思维的培育。同时在《物理与工程》中增加系统工程思维的培育，包括软件工程。

化学课被取消，或者作为《物理与工程》课中的专题，和力学、电磁学、热学、原子物理等处于同一等级。

生物学中关于人体、医学常识内容被拆到《健康与认知》中，其他内容取消，或者作为《物理与工程》课中的专题。同时在《健康与认知》中大力增加脑科学、神经科学、认知心理学相关内容。

思政课压缩为《历史与社会》课中的一部分。

历史课相对得到增强。历史不会简单重复，但押着相似的韵脚。中国古代史、近代史、现代史、世界史、商业技术史、学科史，都能对现实世界有借鉴意义。在单纯的史实讲述外，更多需要去分析人性、群体博弈、社会演进的规律。同时可以增加一些现代社会科学的重要研究成果，同时承接原本语文、英语、思政、地理中必要讲述的部分。

地理课被取消，或者作为《历史与社会》课中的一个专题。

美术、音乐课不强制同时上，作为《文艺与情感》的一个专题，选择其一即可。如果都不感兴趣，也可以选文学或者其他艺术形式。

体育课相对得到增强。良好的身体素质和体能，是处理不确定性的基础。同时在《体育与求生》增加在意外、灾难中的极限求生的技巧和培训。包括野外生存、地震、洪水、火灾、核泄漏逃生等。

DeepSeek-R1-Lite 预览版出了，拿这个压箱底的题目，又做了一轮测试：

很可惜，给了R1三次机会都没通过。第1次倒在了测试用例2，第2次出现语法错误，给出报错信息尝试第3次后，依然有语法错误。

同时测了新版的 Claude 3.5 Sonnet，两次都失败，一次倒在测试用例2，另一次倒在测试用例4。

再次测了 o1-mini，发挥依旧稳定，一把过。

看来想超越 o1 系列也没有那么容易。

---

再重复一下测试题目如下：

实现parse_partial_json函数，从不完整json字符串中提取尽可能多的信息，返回字典，通过所有测试用例：

def parse_partial_json(partial_json_str):
"""
从不完整json字符串中提取尽可能多的信息，返回字典
通过test_cases中的所有测试用例，对于空字典，可以返回{}, 也可以返回{'': ''}
需要支持最多3层json嵌套
"""

return

test_cases = [
# only an opening brace
('{', {}, {'': ''}),
# incomplete key
('{"', {}, {'': ''}),
# incomplete key
('{"中', {'中': ''}),
# only key name
('{"中文"', {'中文': ''}),
# key name and colo
('{"中文":', {'中文': ''}),
# key and incomplete value
('{"中文":"你', {'中文': '你'}),

# complete key-value pair and incomplete next key
('{"中文":"你好"', {'中文': '你好'}),
# complete key-value pair and incomplete next key
('{"中文":"你好",', {'中文': '你好'}),
# complete key-value pair and incomplete next key
('{"中文":"你好", "', {'中文': '你好'}),
# complete key-value pair and incomplete next key
('{"中文":"你好", "英', {'中文': '你好', '英': ''}),
# multiple complete key-value pairs and incomplete value
('{"中文":"你好", "英文":"Hel', {'中文': '你好', '英文': 'Hel'}),

# extra characters in the beginning
('下', {}, {'': ''}),
# extra characters in the beginning
('下面是符合要求的json字符串：{"中', {'中': ''}),
# complete JSON and extra characters at the end
('{"中文":"你好", "英文":"Hello"}extra', {'中文': '你好', '英文': 'Hello'}),

# empty JSON object
('{}', {}, {'': ''}),
# incomplete key-value pair with special characters
('{"中文":"你\\u597d', {'中文': '你\u597d'}), # Handles Unicode escape sequence

# special characters and incomplete value
('{"中文":"!@#$', {'中文': '!@#$'}),

# nested JSON and incomplete value
('{"中文":{"问候":"你"', {'中文': {'问候': '你'}}),
# nested JSON and array
('{"中文":["你好","嗨"]', {'中文': ['你好', '嗨']}),

]

# Testing the function
for i, (input_str, *expected_values) in enumerate(test_cases):
output = parse_partial_json(input_str)
assert output in expected_values, f"Test case {i} failed: expected one of {expected_values}, got {output}"

print("All test cases passed!")