Aibonacci🍭🔑

from 0 and 1 to golden growth🍓Aibonacci(/eɪ-bəʊ-ˈnɑːtʃi/)🍭🔑

[Aibonacci🍭🔑 @Aibonacci]

We’re designing and testing agents for mathematical discovery.
Some lessons learned:
1️⃣ Don’t aim for “Riemann Hypothesis–level” problems yet — the mathematical language and tools to solve them probably don’t exist yet.

2️⃣ Learn to break big problems into small ones. Even if they look unrelated, follow your intuition — the hidden links between math branches are often surprising.

3️⃣ Don’t chase proofs directly. Lean is for proving, not for discovering. Finding a good problem is more valuable than solving one.

4️⃣ A good conjecture should be falsifiable. Use code to test its possible truth, not to prove it. Experimentation > formalism.

[Aibonacci🍭🔑 @Aibonacci]

@EinNewton @tianyi 很便宜🤣

[Aibonacci🍭🔑 @Aibonacci]

用deepseek hardness(#dsh)，从直播素材里剪辑了一个15秒的抖音成片。
才花了0.03$🤣 @tianyi 加油，等正式版发布。

[Aibonacci🍭🔑 @Aibonacci]

https://t.co/87m0nBB6qX

[Aibonacci🍭🔑 @Aibonacci]

家娃竟然用zcode+GLM-5.3做了个手绘风格的画板出来，关键还是fully agent-native。

趁她睡觉，偷偷做了个测试：黎曼手稿（还有茶渍🤣），效果还挺炸裂的。期待GLM-5.5 @jietang @louszbd

[Aibonacci🍭🔑 @Aibonacci]

made by zcode.

[Aibonacci🍭🔑 @Aibonacci]

家娃竟然用zcode+GLM-5.3做了个手绘风格的画板出来，关键还是fully agent-native。

趁她睡觉，偷偷做了个测试：黎曼手稿（还有茶渍🤣），效果还挺炸裂的。期待GLM-5.5 @jietang @louszbd

[Aibonacci🍭🔑 @Aibonacci]

嗯，又搞了一个视觉增强（codex级）deepseek plugin，以后自动剪视频就用它了。#dsh

[Aibonacci🍭🔑 @Aibonacci]

做了个dsh plugin，给deepseek harness补上了视觉能力（gpt-5.6-luna）

#dsh

[Aibonacci🍭🔑 @Aibonacci]

@jietang congrats!👋 any models in the works to rival gpt-5.6 sol pro and fable in math and science? also, will the coding plan work with the deepseek harness?

[Aibonacci🍭🔑 @Aibonacci]

独木不成林，开源双子星！

[Z.ai @Zai_org]

Introducing GLM-5.3: Built to Code. Ready for Cyber Defense.

- Top-tier coding and agentic capabilities, achieved through post-training on the 743B base model
- A major leap in cybersecurity, setting a new standard among open models

Tech Blog: https://t.co/ekQkO83jCv

[Aibonacci🍭🔑 @Aibonacci]

@jietang when 5.5

[Aibonacci🍭🔑 @Aibonacci]

@ZixuanLi_ 5.5

[Aibonacci🍭🔑 @Aibonacci]

用了一下deepseek harness(#dsh)，虽然槽点不少，但跟我的harness好像很搭，应该要投入一些精力了。

[Aibonacci🍭🔑 @Aibonacci]

https://t.co/qRJyGYohXQ

[Aibonacci🍭🔑 @Aibonacci]

github上的dsh-plugin话题开放了，deepseek harness的内测账号已经开始逐步开源自己的plugin了。@koltregaskes

[Aibonacci🍭🔑 @Aibonacci]

deepseek-harness正式开源了！@koltregaskes

[Aibonacci🍭🔑 @Aibonacci]

github 链接：
https://t.co/vwPwSxeIQh

[Aibonacci🍭🔑 @Aibonacci]

https://t.co/7NjVgreKHW

[Aibonacci🍭🔑 @Aibonacci]

"@所有人
大约8:25左右DeepSeekHarness发布，届时自己的插件可以开源了。麻烦带上 dash-plugin #dshplugin 的 topic。"

倒计时了！

[Aibonacci🍭🔑 @Aibonacci]

github上的dsh-plugin话题开放了，deepseek harness的内测账号已经开始逐步开源自己的plugin了。@koltregaskes

[Aibonacci🍭🔑 @Aibonacci]

"@所有人
大约8:25左右DeepSeekHarness发布，届时自己的插件可以开源了。麻烦带上 dash-plugin #dshplugin 的 topic。"

倒计时了！

[Aibonacci🍭🔑 @Aibonacci]

@deepseek_ai when #dsh ?

[Aibonacci🍭🔑 @Aibonacci]

这次是真的deepseek v4 pro正式版