frozenseven

15 ms·

1.
by frozenseven 5d 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.
2.
by frozenseven 5d 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.
3.
by frozenseven 7d 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
4.
by frozenseven 8d 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.
5.
by frozenseven 8d ago
And don't forget, this is the worst it'll ever be.
6.
List of mathematical discoveries by artificial intelligence(en.wikipedia.org)
5 points by frozenseven 8d ago|0 comments
7.
by frozenseven 11d ago
Disappointing to see Michael Levin's name on this.
8.
by frozenseven 12d ago
Weights: https://huggingface.co/Extropic-AI Code: https://github.com/extropic-ai/sparse-transformers
9.
Z1T: Sparse Transformer‑Like Models for Probabilistic Hardware(extropic.ai)
2 points by frozenseven 12d ago|1 comments
10.
by frozenseven 13d ago
Release the Kraken!
11.
Lean AI Formalization Leaderboard(lean-lang.org)
1 points by frozenseven 14d ago|0 comments
12.
by frozenseven 14d ago
This should probably be primary: https://news.ycombinator.com/item?id=49541149
13.
by frozenseven 14d 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
14.
by frozenseven 15d ago
Announcement / benchmarks: https://x.com/Alibaba_Qwen/status/2094968708288680276
15.
by frozenseven 15d ago
Great article. I was waiting for someone to eventually do an assessment on this grifter.
16.
Creating Post-Training Datasets for Research-Level Mathematics(matharena.ai)
3 points by frozenseven 19d ago|0 comments
17.
by frozenseven 19d 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.
18.
by frozenseven 19d ago
"Vibecoded" science is well on its way to being better than your "real Science™". Withholding the future is not an option.
19.
Agnes AI Releases Agnes 2.5 Pro Beta(artificialanalysis.ai)
3 points by frozenseven 20d ago|1 comments
20.
by frozenseven 24d 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.
21.
by frozenseven 24d ago
Wow! And it's only been a few days since one with rank 30 was found.
22.
by frozenseven 27d ago
Well, suit yourself. At the rate we're going, the Millennium Prize Problems will start falling before the year is over.
23.
by frozenseven 27d ago
Yes, that's correct. Intelligence is not magic.
24.
by frozenseven 28d 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.
25.
by frozenseven 28d ago
>Does not matter. It is still an LLM. Cool. So now you can accept that "LLMs" are an obvious example of AI. >You and your idols are, for sake of marketing. Let's be very clear here. Terence Tao is arguably the greatest
26.
by frozenseven 28d ago
We can meaningfully talk about (1) the existence of a field and (2) the said field hitting its stride. The title of Tao's article denotes the latter. And oh, what a stride it is: https://vibemathed.com/stats
27.
by frozenseven 28d ago
>The LLM name denotes a very specific mechanism.. No, not really. This is just the term that stuck around. The "large" is now up to five orders of magnitude larger and "language model" has gone far beyond any simple n
28.
by frozenseven 28d ago
Of course it's been "used" to talk about those things, because all of those things are examples of AI. Always have been.
29.
by frozenseven 28d ago
Chasing these 'trivialities' is a good thing, imo. The Busy Beaver game has lead to a better understanding of complexity theory and automata. Also, direct "hands on" work on improving proof assistants and related tools.
30.
by frozenseven 28d ago
Out-of-hand dismissal of Terence Tao is certainly a take. And the term "artificial intelligence (AI)" has been the name of the field for 70 years and counting. If anything, "LLM" is a misnomer that's been lingering

More ›