Aibonacci🍭🔑

1.3K posts

Aibonacci🍭🔑 banner
Aibonacci🍭🔑

Aibonacci🍭🔑

@Aibonacci

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

Katılım Mart 2023
2.2K Takip Edilen116 Takipçiler
Sabitlenmiş Tweet
Aibonacci🍭🔑
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.
English
1
0
2
543
Aibonacci🍭🔑
Aibonacci🍭🔑@Aibonacci·
@nasqret haha thanks ,professor! glad you like it 😄 I'm actually working on a more interesting version — might be able to finish and share it tomorrow!
English
0
0
1
24
Aibonacci🍭🔑
Aibonacci🍭🔑@Aibonacci·
hey @nasqret, I just turned “RAUZY” into a big colorful mosaic using Rauzy tiles!🤣
English
2
0
2
1.1K
Aibonacci🍭🔑
Aibonacci🍭🔑@Aibonacci·
😛dscovered a boundary automaton for the Rauzy fractal that appears to differ from the classical boundary structure. Its most striking feature is that the boundary can grow progressively, almost like a streamed fractal unfolding in real time. 2.7M points in demo.
English
0
0
2
183
Aibonacci🍭🔑
Aibonacci🍭🔑@Aibonacci·
👋👋👋
Bartosz Naskręcki@nasqret

AI technology is on the rise. So are its applications in industry, science, and society at large. At leidendeclaration.ai we, a group of 16 scientists, including mathematicians, computer scientists, philosophers, and historians, have drafted a declaration calling for action on the challenges posed by the use of artificial intelligence in mathematical research. Over several months, we carefully weighed the promises and risks of introducing AI into research workflows and beyond. The declaration has already been endorsed by international communities, most prominently by the International Mathematical Union, as well as by a large group of mathematicians and other scientists. We invite our colleagues to sign the declaration and support its recommendations on how AI should be adopted in our workflows, and how we should establish and maintain relationships with AI labs and industry. One of its central points is the need to preserve balance, rigor, and sound judgment while acknowledging the extraordinary pace of development in the AI community. We hope this declaration, a deeply human act, will serve as a guiding document for those who recognize the human imperative and the need for governance in scientific discovery, especially mathematical discovery.

ART
0
0
3
60
郭宇 guoyu.eth
郭宇 guoyu.eth@turingou·
使用 codex 的用户只有 ChatGPT 用户的 0.6% 如果你在 codex 消耗过 10 亿 token,我猜你应该属于人类中的极小一部分…一切才刚刚开始…
Simon Smith@_simonsmith

With Codex at 5 million users, they’ve hit about 0.6% of ChatGPT’s roughly 900 million users. We are so, so early. The vast majority of people have no idea what’s already possible to do with AI, while a tiny minority is automating their personal lives and work.

中文
65
22
302
107.1K
Aibonacci🍭🔑
Aibonacci🍭🔑@Aibonacci·
《如果山海经是真实纪录片》第2集《西王母之国》。 不是电影人不追求完美,只探索coding with hyperframe @HyperFrames_ 的极限能力。每一处不完美,都记录着自回归agent的成长。@Miguel07Code
中文
0
0
3
93
Aibonacci🍭🔑
Aibonacci🍭🔑@Aibonacci·
听说巴别塔竖起来了,发个中文推,看看有多少英日韩西文读者能看到:闲暇时,又用hyperframes @HyperFrames_ 加上自己开发的capcut特效插件做了一个实验短视频,主题就选《山海经》吧。想象空间还是挺大的。@Miguel07Code
中文
0
1
4
161
Aibonacci🍭🔑
Aibonacci🍭🔑@Aibonacci·
another surprisingly tight closed-form-style approximation to Catalan’s constant: C ≈ 187/4 − 181π/4 + ((43√5 − 315)π²)/48 + (3π ln 2)/2 + 40π ln 3 = 0.91596559417721901708… True value: C = 0.91596559417721901505… absolute error ≈ 2.03 × 10⁻¹⁸.
Aibonacci🍭🔑 tweet media
Română
0
0
0
37
Smartpig
Smartpig@Smartpigai·
Codex + HyperFrames插件,真的把AI视频生成卷疯了 还在剪映里一帧一帧手动抠?醒醒,在Codex只需要敲一行字+插件,一句话就能生成任何视频,动效、转场、字幕、配音全自动,秒改秒出还支持批量 下面这个视频就是Codex生成的 自媒体人和内容创作者快来学Codex,效率直接拉高十倍
中文
90
156
855
69.9K
Aibonacci🍭🔑
Aibonacci🍭🔑@Aibonacci·
found last night. Taniguchi’s constant, defined by an Euler product over primes, C_T = ∏ₚ(1 − 3/p³ + 2/p⁴ + 1/p⁵ − 1/p⁶), admits a striking golden-ratio approximation: C_T ≈ 796/6007 · (3π − φ²π²/6) = 0.678234491917508324… error ≈ 1.16 × 10⁻¹³.
Aibonacci🍭🔑 tweet media
English
0
0
2
70
Kol Tregaskes
Kol Tregaskes@koltregaskes·
This is my lowest payout yet. And for the first time since I joined the revenue programme, I won’t be getting paid at all - I’ve slipped under the threshold. I knew this stretch could be rough, but this is properly grim. Halfway through, I moved from my usual news curation to more original posts and commentary. The results look good post by post, but there are simply fewer of them. Still, when the algo keeps shifting every few weeks, it’s hard to tell what’s actually working - and what’s not. How did you do in the last pay period?
Kol Tregaskes tweet media
English
4
1
22
976
Aibonacci🍭🔑
Aibonacci🍭🔑@Aibonacci·
hey kol @koltregaskes try this amazing plugin of codex/cc (hyperframes). i made a tiktok-style lyric subtitle player with hyperframe. built 10 preset themes for different moods / vibes / moments when listening to music. and of course, you can always let codex / claude code remix and generate even more custom themes for yourself. enjoy it. @HyperFrames_ @Miguel07Code @liu8in
English
3
0
6
503