frozenseven

3 ms·

1.
Xiaomi MiMo-v2.6 Breaks Cover: A 1T-Class Chinese Lab Trains in Public(forkast.news)
3 points by frozenseven 8d ago|0 comments
2.
by frozenseven 8d ago
Model collapse is an induced phenomenon, not something you'll ever see in practice. Of course naive predictions of an impending 'collapse' go back to at least GPT-3 (that's over 6 years ago), yet models continue to get s
3.
by frozenseven 8d ago
Instantly reminded me of this: https://www.youtube.com/watch?v=_67JbvXLrmw (I'm not hating on Buffet/Berkshire)
4.
by frozenseven 8d ago
>Sorry. See the edit at the top if you haven't already. Sorry about what? Getting caught? You entire post is based on a nasty lie about Victor and his work.
5.
by frozenseven 8d ago
Cool. Then don't use LLMs and keep waiting for that prophesied "model collapse" to happen. See how that works out for you.
6.
by frozenseven 9d ago
Discussion is indeed impossible if you're trying to insist that this garbage anti-AI letter is anything other than just that.
7.
by frozenseven 15d ago
Knowledge is not a private guild. And this revolution will not stop just because you're upset. What can be solved, will be solved. And that's a good thing.
8.
by frozenseven 15d ago
I never want to hear anything akin to " math is for everyone! " from this sector of the "math community" ever again. Mathematics is getting solved by AI. And this is a good thing.
9.
by frozenseven 17d ago
So far it's just anonymous accounts on X and Reddit during the past few days, no "official leak" or anything like that. But the rumors about Navier-Stokes being solved started the same way. If somebody really solved it, the i
10.
by frozenseven 18d ago
There was a recent rumor about the Hodge Conjecture. I'd keep an eye on that one. But like the other person who replied, I'm also rooting for Yang-Mills. That has massive potential for unlocking a series of physics results.
11.
by frozenseven 18d ago
And don't forget, this is the worst it'll ever be.
12.
List of mathematical discoveries by artificial intelligence(en.wikipedia.org)
5 points by frozenseven 18d ago|0 comments
13.
by frozenseven 21d ago
Disappointing to see Michael Levin's name on this.
14.
by frozenseven 22d ago
Weights: https://huggingface.co/Extropic-AI Code: https://github.com/extropic-ai/sparse-transformers
15.
Z1T: Sparse Transformer‑Like Models for Probabilistic Hardware(extropic.ai)
3 points by frozenseven 22d ago|1 comments
16.
by frozenseven 23d ago
Release the Kraken!
17.
Lean AI Formalization Leaderboard(lean-lang.org)
1 points by frozenseven 24d ago|0 comments
18.
by frozenseven 24d ago
This should probably be primary: https://news.ycombinator.com/item?id=49541149
19.
by frozenseven 24d ago
>Give GPT-3.5 a 1M context window and a modern harness, and you won't see any meaningful difference with Opus 5. >models are currently regressing. Opus 5 is much much worse than Opus 4.6 I'm in sheer awe at these takes. Lite
20.
by frozenseven 24d ago
Announcement / benchmarks: https://x.com/Alibaba_Qwen/status/2094968708288680276
21.
by frozenseven 25d ago
Great article. I was waiting for someone to eventually do an assessment on this grifter.
22.
Creating Post-Training Datasets for Research-Level Mathematics(matharena.ai)
3 points by frozenseven 29d ago|0 comments
23.
by frozenseven 29d ago
Every doomer claim of this sort has not only failed to come true, but the exact opposite has happened. For instance, see the tsunami of new incredible results in mathematics.
24.
by frozenseven 29d ago
"Vibecoded" science is well on its way to being better than your "real Science™". Withholding the future is not an option.
25.
Agnes AI Releases Agnes 2.5 Pro Beta(artificialanalysis.ai)
3 points by frozenseven 29d ago|1 comments
26.
by frozenseven 1mo ago
And in other news (elliptic curve of rank 31): https://news.ycombinator.com/item?id=49412774 Announced by the same people, basically at the same time.
27.
by frozenseven 1mo ago
Wow! And it's only been a few days since one with rank 30 was found.
28.
by frozenseven 1mo ago
Well, suit yourself. At the rate we're going, the Millennium Prize Problems will start falling before the year is over.
29.
by frozenseven 1mo ago
Yes, that's correct. Intelligence is not magic.
30.
by frozenseven 1mo ago
>Calling it an "AI" is indeed an act of marketing Again, this is literally the name of the field (and the tech). It's been around longer than you and probably your parents. Dartmouth workshop (1956): https://en.

More ›