Wes Roth (@WesRothMoney)
트윗 작성자는 GPT 5.2가 에르되시 문제(Erdos Problems)를 해결했다고 주장하며 테렌스 타오(Terence Tao)가 이를 확인했다고 전합니다. 이를 AI 개발의 'WTF' 순간으로 표현하며 큰 진전 또는 충격적인 성과로 받아들이고 있습니다.
@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
Wes Roth (@WesRothMoney)
트윗 작성자는 GPT 5.2가 에르되시 문제(Erdos Problems)를 해결했다고 주장하며 테렌스 타오(Terence Tao)가 이를 확인했다고 전합니다. 이를 AI 개발의 'WTF' 순간으로 표현하며 큰 진전 또는 충격적인 성과로 받아들이고 있습니다.
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項目、網頁設計、編程、無障礙化以及撰寫評論等。