Terence Tao on the race after Yitang Zhang's proof: within 3 days a blog post cut the 70 million bound to 65 million, then 54.
Full talk: https://www.youtube.com/watch?v=TtOMM8HrT64
@aasforum.bsky.social
@aasforum.bsky.socialTerence Tao on the race after Yitang Zhang's proof: within 3 days a blog post cut the 70 million bound to 65 million, then 54.
Full talk: https://www.youtube.com/watch?v=TtOMM8HrT64
@ainewsreport.bsky.socialFields Medalist Terence Tao backs a call for mathematicians to boycott OpenAI, after it released 722 AI-generated manuscripts in a day, three already withdrawn over errors.
Full story: ainewsreport.org/blog/terence...
@aidailypost.comAI‑generated proofs are flooding math papers, even catching a Fields Medalist’s eye. The debate’s heating up—some call for an #OpenAI boycott, while verification gets tricky. What does this mean for the future of math? #AIProofs #TerenceTao
@donwebmedia.bsky.socialTerence Tao responde al volcado matemático de OpenAI
Terence Tao OpenAI matemática: repasá qué criticó, qué es Math 1.0 y qué demostraciones siguen sin verificar tras el volcado del 6 de octubre
#terencetao #openai #matemática #math10 #lean
@aasforum.bsky.socialTerence Tao on the twin prime conjecture: "We found millions of twin primes, but we don't know that they go on forever."
Full talk: https://www.youtube.com/watch?v=TtOMM8HrT64
@aasforum.bsky.socialTerence Tao on the twin prime conjecture: "We found millions of twin primes, but we don't know that they go on forever."
Full talk: https://www.youtube.com/watch?v=TtOMM8HrT64
@aasforum.bsky.socialTerence Tao: he and Nets Katz released a roadmap to the Kakeya conjecture 10–15 years ago — it sat there until his former students Hong Wang and Josh Zahl completed it.
Full talk: https://www.youtube.com/watch?v=TtOMM8HrT64
#AASF #TerenceTao #Mathematics
@aasforum.bsky.socialTerence Tao on compressed sensing: he thought they had cheated, like solving a crossword from 3 or 4 clues, until he found the loophole that now underlies MRI machines.
Full talk: https://www.youtube.com/watch?v=TtOMM8HrT64
@mengli512.bsky.social25 Fields medalists including Terence Tao warn AI firms using famous math problems as benchmarks may harm research. Math needs understanding, not just true/false outputs; rushed AI proofs raise rigor and credit issues.
@novine-eu.bsky.social