Jinjing

[Sanjeev Arora @prfsanjeevarora]

A blog to follow! I learned a lot from @SadhikaMalladi's explorations and explanations, even when she was in her first year in PhD.

[财经天下 @Caijingtianxia]

30 个看似『违规』实则合规的 AI 神器

1. https://t.co/g9XhBFoNwb — 免费无限生图，质量能打 Midjourney

2. https://t.co/yjvkt6IWgc — 实时出图，边想边生成

3. https://t.co/G8K5qSC9bt — 图片无损放大，细节自动补充

4. https://t.co/BgHP89abLB — 一键抠图、补光、去物体

5. https://t.co/Bwu6fnlcb9 — 5 秒复制任何人声线

6. https://t.co/vL3u1g70HA — 歌词转完整歌曲

7. https://t.co/6VUAjbh1JY — 文生视频天花板，Gen-3 免费

8. https://t.co/AVOSR79L4Q — 快手可灵，中文视频最流畅

9. https://t.co/7ahD5P8G5M — 照片加语音变数字人

10. https://t.co/ELvRgzcHem — 静图变说话视频

11. https://t.co/JeWQOAw6Hd — AI 编程，免费额度够用

12. https://t.co/NqFGSDl5pm — 说话建网站，无需代码基础

13. https://t.co/aPUU3RGmRC — Vercel 前端生成器，描述成页面

14. https://t.co/6gAyeUcaQv — 浏览器编码、AI 助手、秒部署

15. https://t.co/VbCf9j8HTc — 文本转信息图表

16. https://t.co/bdwG825m7Z — 一键生成 PPT，拯救苦手

17. https://t.co/MPNDaLT7py — Notion AI 的写、改、译能力

18. https://t.co/WYdDj4QpkF — 草图变网页，秒成现实

19. https://t.co/Kahizkzb70 — AI 搜索，问题秒答+来源标注

20. https://t.co/4EKUDwhRmH — 程序员专用搜索，代码秒解

21. https://t.co/P3q88p23Rj — 会议边开边录，免费月 300 分钟

22. https://t.co/nhpfsUpwpY — 自动剪短视频，秒找爆点

23. https://t.co/Z8E8ACSKVA — 一站用 GPT-4o、Claude、Gemini

24. https://t.co/3HmiHcm2Rt — 开源模型试玩基地

25. https://t.co/vM5DYQoBBq — 一键抠图，瞬间出效果

26. https://t.co/On0Vzg0r7U — AI 擦除照片杂物

27. https://t.co/ZVl27FNyVp — AI 换脸，分钟级快速

28. https://t.co/jDIgro3miF — AI 音乐识别和推荐

29. https://t.co/LellGHyj16 — 写作神器，免费版日常够用

30. https://t.co/wzKg3dJeht — Anthropic 官方助手，长文处理顶级

[Antonio Lupetti @antoniolupetti]

Since I started building Algebrica in 2023, I have collected, read, and consulted hundreds of mathematics books, university lecture notes, papers, and many other resources, both in print and digital form. My goal has always been to build a knowledge base that brings together what I consider the best explanations available for each mathematical topic.

The bibliography on this page is my attempt to reconstruct the books, lecture notes, and other references that I have consulted while writing Algebrica. It is also a living bibliography that continues to grow as I discover new resources and revisit existing ones.

I hope it can become a useful reference for anyone looking for reliable mathematical resources to study a topic in greater depth.

https://t.co/Z9dEWkME7I

[Ryan Williams @rrwilliams.bsky.social @rrwilliams]

I enjoyed this conversation with Ryan!

[Frank Nielsen @FrnkNlsn]

"An Elementary Introduction to Information Geometry"

👉 https://t.co/8KEScZpX1P

[Dr. Yu-Dai Tsai @YuDai_Tsai]

Beauty & The Math: Quantum Number Theory (Test Run)

https://t.co/RJRVFuElk5

Slides are preliminary.

Comments and suggestions are more than welcome.

[Physics In History @PhysInHistory]

Peter Shor's Lecture Notes on Quantum Computing 📑

Lecture 1 --- Introduction and History
Lecture 2 --- The Superposition Principle
Lecture 3 --- Unitary Evolution and the Bloch Sphere
Lecture 4 --- Quantum Measurements
Lecture 5 --- Joint Quantum Systems and Tensor Products
Lecture 6 --- More Tensor Products (Measurements of Joint Systems)
Lecture 7 --- Classical Boolean circuits
Lecture 8 --- Reversible Boolean circuits
Lecture 9 --- Quantum gates I
Lecture 10 --- Quantum gates II
Lecture 11 --- Quantum Teleportation
Lecture 12 --- Density Matrices I
Lecture 13 --- Density Matrices II
Lecture 14 --- The GHZ Experiment (theory)
Lecture 15 --- Quantum Optics and the GHZ Experiment
Lecture 16 --- The Deutsch-Jozsa Algorithm
Lecture 17 --- Classical computational complexity theory
Lecture 18 --- Simon's algorithm
Lecture 19 --- The quantum Fourier transform
Lecture 20 --- Phase Estimation
Lecture 21 --- Quantum factoring algorithm
Lecture 22 --- The Number Theory Needed for the Factoring Algorithm
Lecture 23 --- The Discrete Log Algorithm
Lecture 24 --- Grover's search algorithm
Lecture 25 --- Proof that Grover Search is Optimal
Lecture 26 --- Lecture on Hamiltonian Simulation; Notes Unwritten
Lecture 27 --- Introduction to Quantum error correcting codes --- the 9-qubit code
Lecture 28 --- More on the 9-qubit code
Lecture 29 --- The 7-qubit Quantum Hamming Code
Lecture 30 --- Quantum CSS Codes
Lecture 31 --- The BB84 Quantum Key Distribution Protocol and the Proof of Its Security

https://t.co/vVYT2ZfOYO

[灰狐 @huihoo]

陶哲轩也着迷于数学形式化证明
也为数学研究指明了新的方向和领域
Lean + LLM ≈ 数学形式化证明
他的经典之作《Analysis I》也有了 Lean 形式化版本
https://t.co/qUNdnlGpWu
这里有份PDF: 基于 Lean 的数学形式化简介
https://t.co/u3co7MMEP2

[Jealousy 尼卡 @eastweb3eth]

跟着 特朗普和国会高官 买股票，你还会亏嘛？

刚刚发现了一个超牛逼的网站，这个网站追踪了 特朗普和美国国会高官 的全部股票持仓，而且是实时的。

除此之外，还有 吉姆·克莱默追踪器 和 内幕交易 追踪。 可以说是我发现功能最强大网站。

网站地址：https://t.co/pJ1Rn0qwcc

本文非投资建议，大家投资股票请DYOR

我是尼卡，平时会持续分享 AI、美股、Web3 相关有用又有趣的工具和项目，感兴趣的话欢迎关注，下次见～

[Frank Nielsen @FrnkNlsn]

Great blog post on "Taxonomy of Principal Distances & Divergences" by Hamidreza Hashempoor from Institute for AI, University of Stuttgart.

Worth checking out!

https://t.co/ExabfkR2H1

[Alex Kontorovich @AlexKontorovich]

My prediction from last summer was that the number of frontier AI models getting a gold medal at this summer’s IMO will be… zero! The reason is that they won’t bother to compete, it’ll simply be beneath them. If anyone can now push a button on Codex / Claude Code and get a perfect score, what’s the point? No, they’ll just leave the 17 year olds to take the test on their own. (The open source models will still compete for another year or so. That’s my guess!)

Similarly, I think the labs pushing “research math” is also a fad that will expire soon enough. Think about it. GPT solved a major problem (Erdos unit distance); what they’re not reporting is the 1000 other problems they attacked and failed to make progress. [That’s not exactly deception; I also don’t report the dozens of things I tried to prove and failed…] They’re also not reporting the millions of dollars all of this cost them, and for what? Right now the “for what” is advertising: they’re signaling that they’re the best model for math, so you should use them for whatever your reasoning task is. Math departments also spend millions of dollars and produce theorems, but that is their actual end goal. A tech company is happy with a million-dollar theorem only if it predicts a billion-dollar application somewhere else. Once the bubble bursts, investors will want “real” applications from AI, new drugs, self driving / flying cars, etc etc. Nobody will care that the systems are also useful at proving theorems. Nobody but us mathematicians. So like the IMO, I think the frontier labs will get bored of theorems, and will leave us humans alone to keep doing math (and they’ll give us an amazing tool with which to do it!).

Does that make sense? What do you think?

[Kevin Patrick Murphy @sirbayes]

My talk at MIT, on "Agentic AI systems: from scruffy to neat", is now available. I cover 3 examples of agentic systems - Bayesian linguistic forecaster, autoharness, and code world models - which combine LLMs, code and planners in different ways. Links below.

[Bill Ackman @BillAckman]

.@BernieSanders , it is a time to celebrate. @elonmusk has created enormous value for society by building @SpaceX, driving down the cost of rocket launches and creating a global satellite communication network that has brought high speed, low-cost internet and communication access to hundreds of millions and eventually billions of people along with critical advantages for our military and our nation’s defense.

SpaceX and its technologies will cause an acceleration in the growth of wages and wealth creation globally, including in some of the poorest communities in the U.S. and around the world.

Access to low-cost, high speed communications everywhere will allow children around the world to be educated, families to build businesses, and life-saving medical knowledge and care to be available everywhere.

SpaceX will materially bring down the cost of compute, advancing AI and humanity.

Meanwhile, 4,000 SpaceX employees yesterday became millionaires, including hourly wage employees who you claim you are trying to help.

The Elon Musks of the world drive growth, global GDP, and provide access to goods and services at lower cost that would otherwise not exist.

Elon’s nominal trillionaire status is due to his ownership of SpaceX, Tesla, Neuralink, the Boring Company and his other initiatives that have brought new technologies that improve our everyday lives.

Elon is not sitting on a trillion dollar pile of cash, jewelry and gold. He is using his controlling stakes in his companies to advance mankind. Elon’s companies don’t pay dividends. They reinvest all of their capital to accelerate innovation and value creation.

Elon is working 24/7 for all of us. He deserves respect and appreciation, not smears.

Bernie, your socialism would never allow a SpaceX to be built. Socialism has only proven to impoverish mankind and lead to death and destruction.

We need to create the conditions for more SpaceXs to be built, not attack the great entrepreneurs who are helping to advance our country.

[GOLD @Honcia13]

学生党/老师/家长强烈推荐！

超级实用的在线纸张生成器 —— PaperMe
这个网站真的太香了，能一键生成各种格式的纸张，
免注册、完全免费：横线纸、方格纸、点阵纸
音乐五线谱、吉他谱、尤克里里谱
中文学习神器：拼音田字格、米字格、回宫格
还可以自由调节行距、颜色、页边距等参数

生成后直接导出 PDF / SVG / PNG，打印就能用！
特别适合小朋友练字、学生做笔记、老师出作业、音乐爱好者练谱等场景。
网站地址（直接用）：
https://t.co/nvYqMiKNtS
收藏了！以后再也不用到处找模板或买本子了。

[Ash Jogalekar @curiouswavefn]

The ultimate faculty recruitment list: Hermann Weyl recommending physicists and mathematicians for the IAS in 1945. The competition is so stiff that Eugene Wigner and Hans Bethe are considered second-tier.

[Thomas Bloom @thomasfbloom]

I have started a collection of essays, blog posts, etc discussing AI in mathematics.

I do not agree with everything written, but all are valuable to read - the more different views the better!

Please reply with your own suggestions.

https://t.co/Pqk4WnkSis

[Smartpig @Smartpigai]

每次有人问我“视频用啥下载”，我都懒得再解释了，直接一次性整理好，你自己存👇

1、X / 推特视频下载
https://t.co/kpPSahQuqI

2、 抖音 / TikTok 去水印
https://t.co/6R5ukv4Zex

3、Instagram / Facebook 视频
https://t.co/xIssJnIgoO

4、全平台通用（国内平台）
https://t.co/Qvp7h92Ntr

5、视频去水印
https://t.co/FR0i3ahHtc

6、图片去水印
https://t.co/G8GzXL6QoY

7、YouTube 专业下载（开源）
https://t.co/LFmsZd57RK

8、懒人桌面工具
https://t.co/n4VKGXW3jw

全部免费，够用了。别再来问我用啥下载视频了。

[Paul Halpern @phalpern]

The weird, colourful garden where CERN's obsolete particle detectors enjoy their quiet retirement

#Science #Physics

[暖暖爱AI @nuannuan_share]

免费下载海量电子书的网站：

Planet eBook
https://t.co/8MPaKcBIJE

主打经典文学电子书，适合找英文名著。
OceanofPDF
https://t.co/nwENnM9v3a

小说类资源比较多，适合找热门读物和网红书。
Free Computer Books
https://t.co/zGcR74I2fN

专门收录计算机、编程、技术类书籍。
Z-Library
https://t.co/6saUyH8wGj

书库很大，找书效率高，很多冷门书也能搜到。
Bookboon
https://t.co/1GsjnV8ccZ

偏教材和职场学习资源，商科内容比较多。
Project Gutenberg
https://t.co/eB4BQrmKCx

老牌免费电子书网站，经典版权过期作品很全。
ManyBooks
https://t.co/LaWJKYmjgm

分类做得很细，找小说和通俗读物很方便。
PDF Drive
https://t.co/8IFviBtDI3

像书籍搜索引擎一样，适合直接搜 PDF 资源。
DigiLibraries
https://t.co/xAgNz9Rr2k

收录了不少公共领域作品，适合补经典阅读。
Open Library
https://t.co/ZsIGNrrYTh

可以在线借阅和检索图书，适合当电子图书馆用。

[半格 / HalfBit @justhalfbit]

https://t.co/CwHcPYXKgm