Robuta

https://mathstodon.xyz/@tao/115855840223258103 Terence Tao: "Recently, the application of AI tools to Erdos pr…" - Mathstodon Jan 7, 2026 - Recently, the application of AI tools to Erdos problems passed a milestone: an Erdos problem (#728 https://www.erdosproblems.com/728) was solved more or less... terence taothe application https://socioproctology.blogspot.com/2021/07/terence-tao-imbecility-of-arrows-theorem.html Poetry as Socio-proctology: Terence Tao & the imbecility of Arrow's theorem The 'masked man' or 'intensional fallacy' arises when we treat something which can be named as if it is already known. We can give a name- e... terence tao https://www.heidelberg-laureate-forum.org/laureate/terence-tao/ Terence Tao - Heidelberg Laureate Forum terence taoheidelberglaureateforum https://math.bot/blog-terence-tao-at-imo-2024-ai-and-mathematics-50540 Terence Tao at IMO 2024: AI and Mathematics Unlock math solutions instantly with our free AI-powered Math Solver. Get step-by-step guidance on equations, word problems, and more, anytime, anywhere with... terence taoimoaimathematics https://www.revolutioninai.com/2026/03/openai-spud-model-gpt6-terence-tao-math-proof-2026.html OpenAI's "Spud" Model Is Done Training — And Terence Tao Just Proved Why This Time Might Be... https://lexfridman.com/terence-tao-transcript Transcript for Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI | Lex... This is a transcript of Lex Fridman Podcast #472 with Terence Tao. The timestamps in the transcript are clickable links that take you directly to that point in... the future of ai https://blog.aitoearn.ai/terence-tao-is-back-math-sanctuary-ipam-gets-a-narrow-5-year-lifeline-but-fundin/ Terence Tao Is Back! Math Sanctuary IPAM Gets a Narrow 5-Year Lif Dec 3, 2025 - Terence Tao secures 5-year NSF lifeline for IPAM amid severe funding cuts, highlighting urgent need for fundraising to sustain math research.