Subject Datestamp Replies Score
Re:Whoa ! Wait a minute...  Tuesday October 27, 2026 @01:42PM  2
Whoa ! Wait a minute...  Monday October 26, 2026 @11:46AM 3 3
   attached to Microsoft Offers Mass Buyouts For Roughly a Quarter of Its Workforce
Boomer here...  *Thursday August 27, 2026 @12:08PM  2
   attached to How Meta's Plan To Replace Workers With AI Agents Fell Apart
Re:Counter examples  *Tuesday August 25, 2026 @01:22PM  2
   attached to How Will AI Change the Field of Mathematics?
Nope.  *Friday August 21, 2026 @07:56PM  3
   attached to Township Fights Nuclear Weapons Data Center By Passing a Moratorium on Electrical Infrastructure
I'm still working on...  *Sunday August 16, 2026 @11:13AM 2 2
   attached to Disneyland Announces Star Wars/Fortnite Collaboration, 'Avatar' Attraction, and a Newer Tomorrowland
Re:Verification  *Tuesday August 04, 2026 @11:49AM  3
   attached to OpenAI's Astra Solved Decades-Old Math Problems For $2,000
In another dimension...  *Friday July 10, 2026 @11:31AM  3
   attached to Nobel-Winning US Chemist Will Move to China to Lead AI Institute
Re:Mathematician commentary included  *Monday June 01, 2026 @11:33AM  2
Re:Mathematician commentary included  *Monday May 25, 2026 @12:46PM 1 2
Re:Mathematician commentary included  *Sunday May 24, 2026 @11:33AM 1 2
Re:Mathematician commentary included  *Saturday May 23, 2026 @12:18PM 1 2
Re:Mathematician commentary included  *Friday May 22, 2026 @12:03PM  2
Re:Mathematician commentary included  *Friday May 22, 2026 @12:02PM 1 2
Re:Mathematician commentary included  *Thursday May 21, 2026 @07:05PM 3 3
Re:Mathematician commentary included  *Thursday May 21, 2026 @01:03PM 3 2
Re:Did it use Lean ?  *Thursday May 21, 2026 @12:15PM  3
Did it use Lean ?  *Thursday May 21, 2026 @11:32AM 2 2
   attached to OpenAI Claims It Solved an 80-Year-Old Math Problem
Re:Reason  *Thursday April 16, 2026 @04:44PM 1 2
Re:Reason  *Thursday April 16, 2026 @01:52PM 1 2
Re:Reason  *Thursday April 16, 2026 @12:03PM 1 2
   attached to Boston Dynamics' Robot Dog Can Now Read Gauges, Spot Spills, and Reason
Re: Elon Musk Announces $20 BS 'Terafab' Chip Plan  *Sunday March 22, 2026 @05:22PM  3
   attached to Elon Musk Announces $20B 'Terafab' Chip Plant in Texas To Supply His Companies
Re:The best outcome of a tough situation  *Friday January 30, 2026 @01:12PM  2
   attached to Waymo Robotaxi Hits a Child Near an Elementary School in Santa Monica
Does the LLM lean on Lean ?  *Thursday January 15, 2026 @12:51PM  2
   attached to AI Models Are Starting To Crack High-Level Math Problems