Subject Datestamp Replies Score
Re:Mathematician commentary included  *Monday June 01, 2026 @12:33PM  2
Re:Mathematician commentary included  *Monday May 25, 2026 @01:46PM 1 2
Re:Mathematician commentary included  *Sunday May 24, 2026 @12:33PM 1 2
Re:Mathematician commentary included  *Saturday May 23, 2026 @01:18PM 1 2
Re:Mathematician commentary included  *Friday May 22, 2026 @01:03PM  2
Re:Mathematician commentary included  *Friday May 22, 2026 @01:02PM 1 2
Re:Mathematician commentary included  *Thursday May 21, 2026 @08:05PM 3 3
Re:Mathematician commentary included  *Thursday May 21, 2026 @02:03PM 3 2
Re:Did it use Lean ?  *Thursday May 21, 2026 @01:15PM  3
Did it use Lean ?  *Thursday May 21, 2026 @12:32PM 2 2
   attached to OpenAI Claims It Solved an 80-Year-Old Math Problem
Re:Reason  *Thursday April 16, 2026 @05:44PM 1 2
Re:Reason  *Thursday April 16, 2026 @02:52PM 1 2
Re:Reason  *Thursday April 16, 2026 @01: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 @06: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 @02: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 @01:51PM  2
   attached to AI Models Are Starting To Crack High-Level Math Problems
Re:Hunter S. Thompson  *Thursday January 01, 2026 @01:08PM 1 2
Re:Hunter S. Thompson  *Tuesday December 30, 2025 @05:26PM 1 2
   attached to The Problem With Letting AI Do the Grunt Work
Re:A complete fail to understand  *Sunday December 28, 2025 @09:50AM 1 2
Re:A complete fail to understand  *Saturday December 27, 2025 @03:14PM 1 2
Re:A complete fail to understand  *Thursday December 25, 2025 @09:17PM 1 2
Re:See also Grokking - aka "Getting It"  *Wednesday December 24, 2025 @05:54PM 1 2
   attached to 2015 Radio Interview Frames AI As 'High-Level Algebra'
Quantum Blockchain  *Thursday September 25, 2025 @02:40PM 1 2
   attached to Stablecoin Issuer Circle Examines 'Reversible' Transactions in Departure For Crypto
Re:How does it work?  *Tuesday August 19, 2025 @04:20PM  4, Interesting
   attached to Amazon Cloud Chief Says Replacing Junior Staff With AI is 'Dumbest' Idea