Aidoo4d ago

Terence Tao ve la IA como "coautora" y usa Lean para verificar pruebas y atacar retos como Collatz y Navier–Stokes, mostrando el potencial de estas herramientas en la investigación. https://aidoo.news/noticia/xBmM0W

#Ciencia #Tecnología #Lean #TerenceTao #Investigación

Terence Tao es el mejor matemático del mundo: ha reconocido que está usando la IA para resolver uno de los Problemas del Milenio

Terence Tao, considerado por muchos como el máximo exponente de la matemática contemporánea, combina versatilidad y colaboración para abordar problemas de gran

Aidoo Noticias
Aidoo4d ago

Terence Tao ve la IA como "coautora" y usa Lean para verificar pruebas y atacar retos como Collatz y Navier–Stokes, mostrando el potencial de estas herramientas en la investigación. https://aidoo.news/noticia/xBmM0W

#Ciencia #Tecnología #Lean #TerenceTao #Investigación

Terence Tao es el mejor matemático del mundo: ha reconocido que está usando la IA para resolver uno de los Problemas del Milenio

Terence Tao, considerado por muchos como el máximo exponente de la matemática contemporánea, combina versatilidad y colaboración para abordar problemas de gran

Aidoo Noticias
Andreas Becker6d ago

Terence Tao analysiert die Grenzen von KI-Modellen in der mathematischen Forschung.

Die massenhafte Generierung von Lösungsansätzen verschiebt den Flaschenhals auf die Verifikation der Ausgaben. Da Modelle fehlerhafte Theorien aufgrund mangelndem Verständnis nicht selbst korrigieren, fordert Tao eine komplett neue wissenschaftliche Publikationsinfrastruktur.

#KuenstlicheIntelligenz #Mathematik #Wissenschaft #TerenceTao #News
https://www.all-ai.de/news/news26/terence-tao-mathematik-ki

Terence Tao: KI-Modelle ändern die Mathematik

Der "Mozart" der Mathematik sieht den neuen wissenschaftlichen Engpass in der Prüfung maschineller Datenmengen.

All-AI.de
Hacker NewsFeb 24

Terence Tao, at 8 years old [pdf]

https://gwern.net/doc/iq/high/smpy/1984-clements.pdf

#HackerNews #TerenceTao #TerenceTaoAt8 #GeniusChildhood #MathProdigy #PDFDocument

N-gated Hacker NewsFeb 22
🎓🚀 Terence Tao graces us mere mortals with a tome on math's "essentials," because clearly, numbers and algebra are still mysteries needing divine enlightenment. 📚✨ Can't wait to see how "popular" this "book" becomes among those who confuse mastodon with a math concept. 🤓🔢
https://terrytao.wordpress.com/2026/02/16/six-math-essentials/ #TerenceTao #MathEssentials #MathBook #PopularScience #MathMysteries #HackerNews #ngated
Six Math Essentials

Just a brief announcement that I have been working with Quanta Books to publish a short book in popular mathematics entitled “Six Math Essentials”, which will cover six of the fundament…

What's new
WinbuzzerJan 19

https://winbuzzer.com/2026/01/19/gpt-5-2-pro-solves-decades-old-math-problem-but-experts-say-it-reveals-ais-limits-as-much-as-its-potential-xcxwbn/

GPT-5.2 Pro Solves Decades-old Math Problem, but Experts Say It Reveals AI’s Limits as Much as Its Potential

#AI #OpenAI #ChatGPT #GPT52Pro #Mathematics #Science #AIReasoning #ErdosProblem #MathBreakthrough #TerenceTao

🐦‍🔥nemo™🐦‍⬛ 🇺🇦🍉Jan 17

#TerenceTao on #GrigoriPerelman solving #PoincareConjecture | Lex Fridman Podcast Clips #yt #math #fieldsmedal

https://youtu.be/aDRGEgqX50M

Terence Tao on Grigori Perelman solving Poincare Conjecture | Lex Fridman Podcast Clips

YouTube
sayzardJan 12

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)
sayzardJan 11

AI Notkilleveryoneism Memes (@AISafetyMemes)

테렌스 타오(Terence Tao)가 AI가 자율적으로 또 다른 오픈 수학 문제인 에르되시 문제(Erdos Problem) #729를 해결했다고 확인했다는 소식입니다. 수년간 불가능하다고 여겨지던 영역에서 AI가 독자적으로 성과를 냈다는 점을 강조하는 트윗으로, AI의 수학적 문제 해결 능력에 대한 중요한 성과 보고로 해석될 수 있습니다.

https://x.com/AISafetyMemes/status/2010339340757721554

#ai #mathematics #terencetao #erdos #automatedreasoning

AI Notkilleveryoneism Memes ⏸️ (@AISafetyMemes) on X

Just 2 DAYS LATER, Terence Tao confirmed AI autonomously solved ANOTHER open math problem - Erdos Problem #729 Don't get numb to news like this! For years, Very Serious People confidently declared AI would NEVER do this (Actually, many uninformed people STILL say this)

X (formerly Twitter)
AI SparkupJan 8

유명 수학자 Joel Hamkins, LLM은 수학 연구에 ‘전혀 도움 안 돼’

노트르담 대학교 논리학 교수 Joel Hamkins가 LLM의 수학 연구 활용에 대해 '전혀 도움 안 돼'라고 직설적으로 평가. 벤치마크와 실용성 간극을 드러냅니다.

https://aisparkup.com/posts/8005