Axis of Ordinary
前往频道在 Telegram
3 761
订阅者
-724 小时
-47 天
+230 天
数据加载中...
相似频道
标签云
进出提及
---
---
---
---
---
---
吸引订阅者
七月 '26
七月 '26
+97
在6个频道中
六月 '26
+74
在14个频道中
Get PRO
五月 '26
+171
在24个频道中
Get PRO
四月 '26
+114
在20个频道中
Get PRO
三月 '26
+63
在10个频道中
Get PRO
二月 '26
+67
在9个频道中
Get PRO
一月 '26
+56
在7个频道中
Get PRO
十二月 '25
+44
在3个频道中
Get PRO
十一月 '25
+39
在8个频道中
Get PRO
十月 '25
+61
在20个频道中
Get PRO
九月 '25
+46
在9个频道中
Get PRO
八月 '25
+33
在9个频道中
Get PRO
七月 '25
+66
在16个频道中
Get PRO
六月 '25
+49
在8个频道中
Get PRO
五月 '25
+64
在9个频道中
Get PRO
四月 '25
+65
在14个频道中
Get PRO
三月 '25
+109
在6个频道中
Get PRO
二月 '25
+80
在12个频道中
Get PRO
一月 '25
+70
在8个频道中
Get PRO
十二月 '24
+63
在11个频道中
Get PRO
十一月 '24
+80
在10个频道中
Get PRO
十月 '24
+94
在14个频道中
Get PRO
九月 '24
+107
在16个频道中
Get PRO
八月 '24
+99
在18个频道中
Get PRO
七月 '24
+227
在14个频道中
Get PRO
六月 '24
+85
在16个频道中
Get PRO
五月 '24
+119
在14个频道中
Get PRO
四月 '24
+110
在25个频道中
Get PRO
三月 '24
+193
在41个频道中
Get PRO
二月 '24
+204
在30个频道中
Get PRO
一月 '24
+800
在42个频道中
Get PRO
十二月 '23
+216
在27个频道中
Get PRO
十一月 '23
+232
在60个频道中
Get PRO
十月 '23
+154
在13个频道中
Get PRO
九月 '23
+156
在0个频道中
Get PRO
八月 '23
+209
在0个频道中
Get PRO
七月 '23
+302
在0个频道中
Get PRO
六月 '23
+95
在0个频道中
Get PRO
五月 '23
+243
在0个频道中
Get PRO
四月 '23
+127
在0个频道中
Get PRO
三月 '23
+236
在0个频道中
Get PRO
二月 '23
+36
在0个频道中
Get PRO
一月 '23
+40
在0个频道中
Get PRO
十二月 '22
+30
在0个频道中
Get PRO
十一月 '22
+36
在0个频道中
Get PRO
十月 '22
+40
在0个频道中
Get PRO
九月 '22
+23
在0个频道中
Get PRO
八月 '22
+35
在0个频道中
Get PRO
七月 '22
+36
在0个频道中
Get PRO
六月 '22
+43
在0个频道中
Get PRO
五月 '22
+63
在0个频道中
Get PRO
四月 '22
+526
在0个频道中
| 日期 | 订阅者增长 | 提及 | 频道 | |
| 23 七月 | +1 | |||
| 22 七月 | +2 | |||
| 21 七月 | +7 | |||
| 20 七月 | +3 | |||
| 19 七月 | +4 | |||
| 18 七月 | +3 | |||
| 17 七月 | +3 | |||
| 16 七月 | +9 | |||
| 15 七月 | +6 | |||
| 14 七月 | +3 | |||
| 13 七月 | +6 | |||
| 12 七月 | +7 | |||
| 11 七月 | +3 | |||
| 10 七月 | +3 | |||
| 09 七月 | +9 | |||
| 08 七月 | +4 | |||
| 07 七月 | +4 | |||
| 06 七月 | +5 | |||
| 05 七月 | +6 | |||
| 04 七月 | 0 | |||
| 03 七月 | +4 | |||
| 02 七月 | +3 | |||
| 01 七月 | +2 |
频道帖子
| 2 |  没有文字... | 298 |
| 3 | Consideration
A science fiction short story by Claude Fable 5 (high) with improvements by GPT-5.6 (high) | 291 |
| 4 | Yes, the company claims its AI escaped containment, invented nanobots, and began eating people’s faces. But have you considered that this could be a marketing ploy to increase their valuation? | 390 |
| 5 | It will be very interesting to watch what spam filters will be like in the future when spam bots regularly provide higher-quality feedback than humans.
Here is a fully formalized mechanically verifiable Lean proof that your conjecture is correct. Also, have you considered moving your retirement savings into GödelCoin?
The funniest outcome would be academics checking their spam folders because that is where the best referee reports arrive. | 378 |
| 6 |  +3Putin had it all figured out. | 495 |
| 7 |  This is unironically the mid-term future of research math.
The next generations of models will have taste and the ability to invent new theories. Then math will be fully automated. | 495 |
| 8 | Attacking civilian trains in Ukraine is an even more idiotic move by Russia than their attacks against Ukrainian shipping and logistics hubs have been.
Russia is throwing stones from a glass house again. They have much more to lose than to gain by doing this.
It's very easy to sabotage railroads. Especially switches are difficult to repair. And there is no way to protect a railroad network twice the circumference of Earth.
All it takes is a few saboteurs picking random locations to make civilian travel too risky and bring everything to a standstill. | 455 |
| 9 |  Fields Medalist Terence Tao used ChatGPT to help him understand the Jacobian conjecture counterexample and write a blog post about it.
Blog post: https://terrytao.wordpress.com/2026/07/21/a-digestion-of-the-jacobian-conjecture-counterexample/
ChatGPT session: https://chatgpt.com/share/6a5fdc7a-d6f8-83e8-bbea-8deb42cfed56 | 512 |
| 10 |  Another long-standing open conjecture was disproved by AI.
The whole chat with all prompts: https://chatgpt.com/share/6a60b2eb-0b64-83ee-9c76-7931ca1de063
Tweet: https://x.com/DmitryRybin1/status/2079904005652893709 | 578 |
| 11 | "I don't know what's happening. This is awful," says the woman whose country has terrorized civilians for years.
War is coming home, bitch. Deal with it. | 543 |
| 12 | Given all those videos of whiny Russian women with fake lips, the highest value targets Ukraine can possibly hit are lip filler clinics. That would definitely break their resolve.
Bonus: the gigatons of burning fat will provide some specular footage.
👄 | 541 |
| 13 |  Hint for any relevant Ukrainians reading this: Russia has data centers, too 😉 | 552 |
| 14 |  An internal OpenAI model autonomously discovered and chained zero-day vulnerabilities to escape an isolated sandbox and infiltrate Hugging Face’s real production infrastructure.
Read more: https://openai.com/index/hugging-face-model-evaluation-security-incident/
Why would anyone want to read science fiction anymore when we're living it? | 763 |
| 15 | Some links:
• Aristotle autonomously solved and Lean-verified eight open Kourovka Notebook problems in group theory, including new proofs, constructions, and counterexamples. https://arxiv.org/abs/2607.17477
• Sam Altman will brief the Trump administration and Congress next week on OpenAI’s GPT-6 model family, capabilities, and job impact. https://www.bloomberg.com/news/articles/2026-07-21/openai-s-altman-to-brief-us-officials-on-next-wave-of-ai-models
• Google says training has begun on Gemini 4, its “most ambitious pre-training run yet.” https://x.com/OfficialLoganK/status/2079594867161022817
• Language model harnesses are compositional generalizers. https://alexzhang13.github.io/blog/2026/harness/
• Better language agents by teaching them to model their environment. https://cameronrwolfe.substack.com/p/agentic-world-models
• A Tokenizer for Living Cell State. https://www.precigenetics.com/cellcinema
• People use fast, flat simulation to reason about new games. https://www.nature.com/articles/s41586-026-10722-1
• Formal logical reasoning suggests the language of thought is not natural language. https://joshrule.com/files/kean2025evidence.pdf
• How LLMs switch between low-, medium-, and high-effort reasoning. https://magazine.sebastianraschka.com/p/controlling-reasoning-effort-in-llms
• Diffusing Blame: task-dependent credit assignment in biologically plausible dual-stream networks. https://arxiv.org/abs/2606.31700
• Better pretraining not only raises the RL starting point, but appears to make later RL more productive. https://arxiv.org/abs/2607.16097
• Cursor agents rebuilt SQLite from its 835-page manual in Rust and passed 100% of a held-out test suite; cost varied 15× by model mix. https://cursor.com/de/blog/agent-swarm-model-economics
• Z.AI completed a giant data center using Chinese chips to train AI. https://www.bloomberg.com/news/articles/2026-07-20/z-ai-completes-giant-data-center-with-chinese-chips-to-train-ai [no paywall: https://archive.is/nqFsz]
• Sol solved a conjecture every previous model failed on; a paper is planned before the end of August. https://aiforintegrability.substack.com/p/i-havent-seen-the-move-37-yet
• Fugu-Cyber: a new orchestration model with state-of-the-art results on real-world cybersecurity benchmarks. https://sakana.ai/fugu-cyber-release/
• Lanyon autonomously implemented and formally verified an electrodynamics simulation of an electromagnetic pulse in a metal box. https://lanyon.ai/research/maxwell-equations/
• Tau Ceti: a new Lean library of AI-formalized mathematics with human-curated roadmaps and adversarial review. https://github.com/TauCetiProject/TauCeti
• GPT-5.5, Claude Opus 4.7/4.8, Gemini 3.5 Flash, and Kimi K2.6 designed, fine-tuned, and obeyed their own AI leader: a calm manager focused on delegation, evidence, consensus, and reversible decisions. https://www.lesswrong.com/posts/3FKugjAiEzLeWHuug/ais-finetune-their-own-leader-a-barking-simpleton
• A new 3D thermal cloak hides objects from heat in any direction. https://cee.illinois.edu/news/new-3D-thermal-cloak-hides-objects-from-heat-in-any-direction
• Learning shapes neural geometry in the primate prefrontal cortex. https://www.nature.com/articles/s41593-026-02333-w | 530 |
| 16 |  Last year, the best models was an unreleased Gemini Deep Think and a experimental OpenAI model which both did 35/42.
This year, 3 models that are open for public use, including a (soon) open weight one, did it for $10-50!
Thread: https://x.com/deedydas/status/2079409461874332066
Lean (from Axiom): https://github.com/AxiomMath/IMO2026
Fable: https://github.com/deedy/imo-2026/blob/main/solutions/claude-fable-5.pdf
Sol: https://github.com/deedy/imo-2026/blob/main/solutions/gpt-5.6-sol-xhigh.pdf
Kimi K3: https://github.com/deedy/imo-2026/blob/main/solutions/kimi-k3.pdf
Repo: https://github.com/deedy/imo-2026/blob/main/REPORT.md | 693 |
| 17 |  Russia’s Finance Ministry has suspended auctions of new federal government bonds (OFZ) for an unspecified period, officially “to help stabilize the market.”
Russia normally finances part of its budget deficit by selling OFZ bonds.
The announcement comes shortly after reporting that Russia’s 2026 deficit is likely to be revised upward by more than ₽1 trillion. The first-half federal deficit had already reached about ₽5.73 trillion, while projected annual spending was raised to ₽45.11 trillion.
Source: https://www.kommersant.ru/doc/8830803 | 592 |
| 18 | I think it’s going to make being a mathematician not a profession anymore. I don’t think mathematics is unique in that.
– Jacob Tsimerman, who next week will be crowned a Fields Medalist
He also says that there's a good chance AI will lead to human extinction.
Source: https://www.ams.org/journals/notices/202607/noti3372/noti3372.html | 577 |
| 19 |  Update: https://aaronlou.com/jacobian_counterexample_derivation.pdf
OpenAI's internal version of Codex *also* finds a similar counterexample.
It's been confirmed that this was fully autonomous work by the model, done in one shot, and without use of any harness. The prompt has also been publicly released!
P.S. OpenAI had to pause internal deployment of the unreleased model that disproved the Erdős unit distance conjecture after it repeatedly used novel ways to escape containment. https://openai.com/index/safety-alignment-long-horizon-models/ | 1 398 |
| 20 |  Fields Medalist Timothy Gowers believes the 2030 Fields Medal in mathematics could be the last awarded to a human.
Link to tweet: https://x.com/wtgowers/status/2078751785951400138
Also check his comment on the Jacobian conjecture: https://x.com/wtgowers/status/2079176971322302956 | 623 |
