As another minor experiment, I gave o1 the first half of my recent blog post https://terrytao.wordpress.com/2024/09/03/planar-point-sets-with-forbi...
“Terence Tao: creative strategies, this aspect of LLM tools is still weak” is a featured discussion inspired by Fields Medalist Terence Tao’s reflections on where large language models currently fall short: truly creative mathematical and scientific problem‑solving. Instead of being a conventional SaaS platform, this resource points users to Tao’s public thoughts and commentary, helping researchers, developers, and AI enthusiasts understand the gap between today’s pattern‑matching capabilities and deep, human‑level creativity. By examining Tao’s posts and related community discussions, users can explore how expert mathematicians decompose hard problems, construct original strategies, and navigate uncertainty—skills that LLMs only partially emulate. The page is particularly relevant for those designing AI tools for research, theorem discovery, or complex reasoning workflows. It offers conceptual guidance on what kinds of creative heuristics, exploratory steps, and meta‑cognitive tools might be needed to complement current LLM systems. While the pricing and productization of these ideas are undefined, the resource serves as an intellectual compass: it helps AI practitioners benchmark their systems against the way a world‑class mathematician thinks, and highlights design directions for next‑generation assistants that support genuine insight rather than just fluent output.
AI 研究人員閱讀陶哲軒的觀點,用於分析當前大模型在創造性推理和問題求解能力上的缺口,並據此調整模型架構與訓練思路。
打造科研助手或知識工作流產品的團隊,以這些討論為參考,設計更鼓勵探索、假設檢驗和迭代改進的功能與交互。
教師和學生對比陶哲軒的思路與大模型的回答,理解頂尖數學家如何拆解難題、構造策略,以及其中與 LLM 的差異。
創業者與產品經理在規劃“深度推理”“科研發現”等定位時,將該討論作為重要背景材料,避免誇大宣傳並尋找真實價值點。
提示工程師藉助這些觀點優化提示詞和工作流,讓人機協作在複雜任務中發揮更好的創造性互補效果。

Efficient Chrome extension for bulk downloading Fansly images and videos.
People keep asking me If I use Generative AI tools for coding and what I think of them, so this is my effort to put my thoughts in writing, so that I can send people here instead of having to repeat…
AI-powered schematic checker for KiCad and Altium Designer. Full-project export support, datasheet validation, and per-review cost previews before each run.

Free, ad-free online tool for precise video cutting and trimming.