< prev 6 / 12 more >

• 1Advancing mathematics research with AI-driven formal proof search (science.org)
  by 01-_-1 hour ago | 0 comments
• 2The very bad ad for the very first laptop (buttondown.com)
  by rfarley041 hour ago | 0 comments
• 1Cited but Not Consulted: A Counterfactual Audit of Legal Chain-of-Thought (arxiv.org)
  by sbulaev1 hour ago | 0 comments
• 27LLMs Aren't Inevitable (deadsimpletech.com)
  by rizsyed11 hour ago | 15 comments
• 1Vega: A decision model that rolls a ball down a hill (nandakishorm.com)
  by yarapavan1 hour ago | 1 comments
• 1AI model submitted false tip about unsolved murder, Philadelphia police say (6abc.com)
  by geox1 hour ago | 0 comments
• 1If LLMs Can Decide Without Fine-Tuning, Do We Still Need Models Like Jev? (itsodeleo.github.io)
  by LeoisNotAI1 hour ago | 1 comments
• 1Custom Agents Are Antipatterns (simianwords.bearblog.dev)
  by simianwords1 hour ago | 0 comments
• 1Show HN: AntiPDF – PDF as it should have been all along (antisoftworks.com)
  by civnode1 hour ago | 0 comments
• 1The Beam Book, Second Edition (happihacking.com)
  by Tomte1 hour ago | 0 comments

< prev 6 / 12 more >