from Hacker News

artninja1988

joined 8/15/23, 7:59 PM has 919 karma

• The abc conjecture almost always – autoformalized

  by artninja1988 on 6/12/25, 7:04 PM, with 0 comments

• Trinity: An autoformalization system for verified superintelligence

  by artninja1988 on 6/12/25, 7:02 PM, with 0 comments

• Opportunity Costs of State and Local AI Regulation

  by artninja1988 on 6/10/25, 12:46 PM, with 0 comments

• Towards an Even Larger Video Game Dataset: Inverse Dynamics Models for Bootstrap

  by artninja1988 on 5/30/25, 8:25 PM, with 0 comments

• EA Cancels Black Panther Game, Closes Cliffhanger Games

  by artninja1988 on 5/28/25, 8:49 PM, with 0 comments

• LipSync Enters Administration

  by artninja1988 on 5/24/25, 10:32 AM, with 0 comments

• Questioning Representational Optimism in Deep Learning

  by artninja1988 on 5/20/25, 11:24 AM, with 0 comments

• Trump Signs the Take It Down Act into Law

  by artninja1988 on 5/19/25, 7:49 PM, with 0 comments

• Absolute Zero: Reinforced Self-Play Reasoning with Zero Data

  by artninja1988 on 5/10/25, 4:06 PM, with 0 comments

• Analyzing o3 and o4-mini with ARC-AGI

  by artninja1988 on 4/22/25, 7:22 PM, with 1 comments

• Arc AGI 2025

  by artninja1988 on 3/24/25, 8:26 PM, with 2 comments

• My Thoughts on the Future of "AI"

  by artninja1988 on 3/16/25, 4:02 PM, with 0 comments

• Anthropic DMCAs decompiled Claude-code

  by artninja1988 on 3/13/25, 7:35 AM, with 0 comments

• Arc Prize Side Quest: SnakeBench

  by artninja1988 on 2/15/25, 12:56 PM, with 0 comments

• Copyright reform is necessary for national security

  by artninja1988 on 2/1/25, 9:11 PM, with 109 comments

• AI for Math Fund

  by artninja1988 on 12/6/24, 9:32 PM, with 0 comments

• Fish Speech 1.5

  by artninja1988 on 12/4/24, 9:48 PM, with 2 comments