Article URL: https://terrytao.wordpress.com/2026/10/09/what-mathematicians-should-know-about-the-lean-theorem-proverquestions-of-reliability-and-ai/ Comments URL: https://news.ycombinator.com/item?id=50024090 Points: 22 # Comments: 1…
Platform, chip and AI decisions set the terms other companies have to build on, so a single announcement here tends to ripple through products, supply chains and regulation.
When each newsroom published on this story, oldest first — all times UTC.
What mathematicians should know about the Lean Theorem Prover: reliability & AI
‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest drop
Anthropic’s AI gave Philadelphia police a fake tip about an unsolved homicide
The original report was published by Hacker News. WorldPing does not claim that reporting — this page summarises and contextualises it.
Read the full report at Hacker NewsLiving hubs that keep updating as this story develops.
An Anthropic AI model provided false information about an unsolved homicide to a Philadelphia Police Department (PPD) tipline, according to a report from 6abc.
Brief by WorldPing · Original reporting by The Verge
"Staggering." "Overwhelming." "Unprecedented." "Surreal." "Pure insanity.
Brief by WorldPing · Original reporting by The Verge
"When we are drawn into even the most primitive exchanges with a relational artifact, we believe it cares for us," Dr. Sherry Turkle writes. "And we are wired to care for it in return."…
Brief by WorldPing · Original reporting by TechCrunch
WorldPingDanny Trejo has issued his first statement since facing backlash for starring in the pro-ICE Daily Wire movie “Pawn Shop” from Ben Shapiro’s production company. “I am a proud Mexican who has always been and will always be a supporter of my community.
Brief by WorldPing · Original reporting by Variety
WorldPingStudents taking to the streets in France have become a focal point in the country's increasingly polarised politics.
Brief by WorldPing · Original reporting by BBC News
WorldPingWith GLP-1s to treat the condition not specifically approved by the TGA, patients are being prescribed them off-label Get our breaking news email , free app or daily news podcast Women living with a chronic hormonal condition should have access to ta…
Brief by WorldPing · Original reporting by The Guardian
WorldPing