Recent Posts

• The abc conjecture almost always – autoformalized
  by artninja1988on 6/12/2025, 7:04:21 PM with 0 comments
• Trinity: An autoformalization system for verified superintelligence
  by artninja1988on 6/12/2025, 7:02:00 PM with 0 comments
• Opportunity Costs of State and Local AI Regulation
  by artninja1988on 6/10/2025, 12:46:53 PM with 0 comments
• Towards an Even Larger Video Game Dataset: Inverse Dynamics Models for Bootstrap
  by artninja1988on 5/30/2025, 8:25:36 PM with 0 comments
• EA Cancels Black Panther Game, Closes Cliffhanger Games
  by artninja1988on 5/28/2025, 8:49:26 PM with 1 comment
• LipSync Enters Administration
  by artninja1988on 5/24/2025, 10:32:47 AM with 0 comments
• Questioning Representational Optimism in Deep Learning
  by artninja1988on 5/20/2025, 11:24:07 AM with 0 comments
• Trump Signs the Take It Down Act into Law
  by artninja1988on 5/19/2025, 7:49:02 PM with 1 comment
• Absolute Zero: Reinforced Self-Play Reasoning with Zero Data
  by artninja1988on 5/10/2025, 4:06:18 PM with 0 comments
• Analyzing o3 and o4-mini with ARC-AGI
  by artninja1988on 4/22/2025, 7:22:43 PM with 1 comment
• Arc AGI 2025
  by artninja1988on 3/24/2025, 8:26:11 PM with 1 comment
• My Thoughts on the Future of "AI"
  by artninja1988on 3/16/2025, 4:02:48 PM with 0 comments
• Anthropic DMCAs decompiled Claude-code
  by artninja1988on 3/13/2025, 7:35:12 AM with 0 comments
• Arc Prize Side Quest: SnakeBench
  by artninja1988on 2/15/2025, 12:56:17 PM with 0 comments
• Copyright reform is necessary for national security
  by artninja1988on 2/1/2025, 9:11:50 PM with 14 comments
• AI for Math Fund
  by artninja1988on 12/6/2024, 9:32:04 PM with 0 comments
• Fish Speech 1.5
  by artninja1988on 12/4/2024, 9:48:22 PM with 2 comments