logoalt Hacker News

ares623today at 8:01 AM2 repliesview on HN

Here we go. Another tweet that can move hundreds of billions of dollars on the market and to justify a bail out. No accountability. Just the thrill to be the one to be able to say “first”.


Replies

ComplexSystemstoday at 10:30 AM

Are you kidding? This is an incredible result. Stuff like this is the most important stuff happening in AI right now. Automated theorem proving? It's not too far to say the entire singular point of the technology was to get us to this.

show 2 replies
bogdantoday at 8:19 AM

Seriously, blame the investors.

show 1 reply