WhyDo
9.1K posts

WhyDo
@WDBTHtGP
Video game enjoyer & reviewer. Sponsored by human suffering. Currently enjoying(!) Rivals 2. https://t.co/DQTUhK4SFC
Flavortown Katılım Aralık 2015
1.7K Takip Edilen18.6K Takipçiler
Sabitlenmiş Tweet
WhyDo retweetledi
WhyDo retweetledi
WhyDo retweetledi

Don't listen to the #Highguard haters about the artstyle as the game has a beautiful Impressionist look with minimum settings and DLSS on
English
WhyDo retweetledi

This is the biggest engineering undertaking we have done on the game so far. And the first time I saw Armando playable, it kind of blew my mind. I'm hopeful that we can grow the modding scene into something special just like with the first Rivals of Aether.
Rivals of Aether II@RivalsOfAether
Want to make YOUR OWN CHARACTERS in Rivals II? Workshop Beta is officially here! Play as our new example character Armando or get started on your own today
English

@danfornace If I could redesign Kragg, I would balance his platforms by making it so you have to earn your resources, such as by mining for them. This could be tied into his powerful jump cancelable sideB as well. Finally, Kragg is a beetle so maybe he could fly using beetle wings ('Elytra')
English

WhyDo retweetledi
WhyDo retweetledi

@UltraDev4 this person is using a Mario profile picture without permission @Nintendo @NintendoAmerica @FBI
English

@VictorTaelin Do you think it's possible that sheer scale COULD solve this eventually?
Imo, while AI does struggle with 'insight', clearly a large model has more of it than a tiny one.
Meanwhile the human brain has insight, but also likely astronomically more compute than even the biggest LLMs
English

correct take. yes I'm skeptical LLMs will create new, insightful math because that requires OOD thinking, which they suck at. but LLMs can solve very hard mathematical *problems* (that's different), which is really cool - as long as they don't require "new, insightful definitions"
some mathematical problems require "new, insightful definitions", and they're hard specifically because of that. it is never that they're inherently "heavy" in some computational sense, but that they require "imagination" and "creativity" to conceptualize marvelous structures that nobody has looked at before.
for example, the proof of Fermat's Last Theorem required the development of entirely new mathematical machinery - elliptic curves, modular forms, and the Taniyama-Shimura conjecture - concepts that didn't exist when the problem was first posed.
so, if we had LLMs in 1650, no matter how hard they tried to solve FLT - even if you let it compute for centuries - it would never be able to do so, because it would be thinking in the box of the mathematical structures that existed back then, and there is literally no path to a solution.
now, the day LLMs start inventing genuinely new mathematical structures, that's when they'll be able to prove "hard" theorems. that's the only and one thing separating them from being able to do that.
now, this exposes the most difficult question:
what is even a "new, insightful mathematical concept"?
many things count as a "new concept". I can easily write some random words in Lean, and I'll have made a completely new mathematical concept that nobody has made before. and LLMs can do that too. that's easy enough.
the "insightful" part is what matters here
what makes something "insightful" or "interesting"?
why are complex numbers more interesting than random definitions?
how do we objectively measure how insightful a Lean definition is?
alz@alz_zyd_
Many people think LLMs still can't do math, but instead call specialized "math engines". What many do not realize is that no such "math engine" actually exists
English
WhyDo retweetledi

@kaminski_dan @Judasjackrabbit Does getting told your gameplay isn't raw enough constitute racial discrimination? Deep questions to answer here; we must gain the knowledge to do it
English

@Judasjackrabbit @WDBTHtGP remember why we decided to go to law school: litigating Ryugacord application denials
English

@BMZbrawler Don't worry pal, that was just the body double I hired to divert the wrath of Mii players
English
WhyDo retweetledi
WhyDo retweetledi














