@Danpiker This animation stopped me mid-scroll. Thanks for this. The lemniscate contours of Log(Z-1)-Log(2Z)+Log(Z+1) passing through three fixed points — that’s exactly the geometry at the heart of Erdős #114 (the EHP conjecture on maximal lemniscate arclength).

I just finished computationally verifying EHP (Erdos 114) for all degrees n=3 through 12, bridging the gap between the classical n=2 case and Tao’s asymptotic proof for large n.

Preprint: https://zenodo.org/records/19229245

Interactive bound-sweep visualizer: https://mendozalab.io/workbench/interactive-morphism-engine

#ErdosProblems #lemniscate #complexanalysis #mathematics

Wes Roth (@WesRothMoney)

트윗 작성자는 GPT 5.2가 에르되시 문제(Erdos Problems)를 해결했다고 주장하며 테렌스 타오(Terence Tao)가 이를 확인했다고 전합니다. 이를 AI 개발의 'WTF' 순간으로 표현하며 큰 진전 또는 충격적인 성과로 받아들이고 있습니다.

https://x.com/WesRothMoney/status/2010563050311495709

#gpt5.2 #gpt #terencetao #erdosproblems

Wes Roth (@WesRothMoney) on X

GPT 5.2 just solved the Erdos Problems. Terence Tao confirms. We're officially at the "WTF" moment in AI development.

X (formerly Twitter)

Two announcements: AI for Math resources, and erdosproblems.com | What's new

Link📌 Summary: Terence Tao在一篇文章中宣布了兩項與數學相關的新資源。第一項是由Talia Ringer主導的,關於“AI在數學推理中的應用”的資源列表,該列表接受新的貢獻與修正。此外,Talia將舉辦第二次跟進的網絡研討會。第二項是Thomas Bloom創建的網站erdosproblems.com,作為Paul Erdős所提出的數學問題的在線資料庫。Thomas需要各類幫助來改進這個網站,包括建立Github項目、網頁設計、編程、無障礙化以及撰寫評論等。

🎯 Key Points:
1. 公布了一個由Talia Ringer主導的,關於“AI在數學推理中的應用”的資源列表,該列表接受新的貢獻與修正。
2. 將舉辦第二次研討會,討論AI在數學中的應用。
3. 推廣新網站erdosproblems.com,專注於Paul Erdős提出的數學問題。
4. 需要各類幫助來改進網站,如建立Github項目、網頁設計、編程、無障礙化及撰寫評論等。
5. Tao親自貢獻了一個問題 (#587) 並提供了相關資源的鏈接。

🔖 Keywords: #AI #Mathematics #PaulErdős #erdosproblems #TerenceTao

Two announcements: AI for Math resources, and erdosproblems.com

This post contains two unrelated announcements. Firstly, I would like to promote a useful list of resources for AI in Mathematics, that was initiated by Talia Ringer (with the crowdsourced assistan…

What's new