bonoboTP

7 ms·

1.
by bonoboTP 3d ago
I find these discussions pointless. It's like complaining that diffusion models make hands with the wrong finger counts. Yes there was a year or a few months when that was a legit complaint. The phase where AI proves Millennium Prize l
2.
by bonoboTP 3d ago
How many people are employed to meditate all day?
3.
by bonoboTP 3d ago
Old timey mining, or the more romantic eras of seafaring also provided more camaraderie than what modern jobs provide. There may be some longing for those more pure and valiant days, but we moved on. You can still discuss about AI assisted
4.
by bonoboTP 3d ago
What copyright violation? Training is free use. Anthropic was fined for torrenting books, not for training. The price of legally obtaining those books was peanuts too. Energy usage has to be compared to the value of the output.
5.
by bonoboTP 3d ago
The academic system developed in the last ~50 years will crumble. On the broad scale of human intellectual history, this was a blip and not even the most productive phase. But it provided mass office employment and so this is all much more
6.
by bonoboTP 3d ago
This is Romania, not the US.
7.
by bonoboTP 3d ago
This hangs on the strange assumption that the AI will "just give the final answer" and will be unable to give a human-preferred explanation. I find this assumption strange. If it holds, then mathematicians will still have a job di
8.
by bonoboTP 3d ago
Both lanes have to be filled right up to the merge point. The asphalt exists there for a reason. I don't understand how this concept is so difficult. Fill up both lanes and merge at the last point. This way the congestion is shorter th
9.
by bonoboTP 3d ago
> You just described most of the parts of the mathematical community Just as science (as in the scientific method) isn't the same as Science, the community social practice and logistics and tenure rules and committee compositions an
10.
by bonoboTP 3d ago
AI won't just say cancer can be cured without saying how. Not sure where you got this from. AI will be superhuman at writing the executive summary at any prerequisite knowledge level. These people are concerned about internal community
11.
by bonoboTP 4d ago
Is it just PR? Okay then the useful math can be done by AI and we can leave aesthetic math to human academics who will ascetically refrain from using AI and if anyone of them submits a paper and it turns out they used computers they will be
12.
by bonoboTP 4d ago
You mean who should pay? Whoever they can convince, of course. Historically it was wealthy patrons, royal courts, etc. Teaching indeed used to be the main thing a professor was expected to do, this changed in the 19th century with Humboldt&
13.
by bonoboTP 4d ago
Yes, that amount seems fine if true. They may be seen as teachers by the outside world yet they hire and promote and award internally based on research. Status and prestige is rarely allocated based on teaching. This is already a discrepanc
14.
by bonoboTP 4d ago
Funding agencies will have to adapt too, the community will have to adapt. Hiring committees will have to adapt. Everyone will have to adapt. They will have to rethink their criteria and adapt to reality. It's not at all guaranteed tha
15.
by bonoboTP 4d ago
Depends on who controls the machines and what they do. If the machines just serve a select few and the masses are left to fend for themselves, they can just make a secondary pre-AI-like economy where they do small scale medieval-like econom
16.
by bonoboTP 4d ago
Well, most kids are certainly interested in memes, but you got a really unique reason there.
17.
by bonoboTP 4d ago
I've read it. It's all a kind of navel gazing, all about internal academia dynamics. They should put much more effort into justifying why the public should still fund them. I'm not saying there can be no good reason, but they
18.
by bonoboTP 4d ago
> try to digest the 100-page Lean proof into something more manageable AI will be better at digesting it into something more manageable.
19.
by bonoboTP 4d ago
> what the work was meant to achieve in the first place is what the work was achieving in the first place. it was developing mathematics. Meant by who? Were the people footing the bill aware of this? People can like and do a lot of thing
20.
by bonoboTP 4d ago
One key idea to understand about human behavior is that people are focused on their status among their peers and their next level superiors with power to lift their status. You are not among either, so you don't matter to them. This is
21.
by bonoboTP 4d ago
> get funding It all comes down to this. Yes, they will need to give a good and convincing argument to the taxpayer. And at the end of the day, if the circumstances change, and you're unsuccessful in making your case in your plead,
22.
by bonoboTP 4d ago
> There is no comparable public demand for proving Fermat’s Last Theorem. It's a capability demo, not the main point. There is plenty of demand for intelligence on tap. These flashy results are necessary though, otherwise people kee
23.
by bonoboTP 4d ago
Academia was already crumbling for various reasons. This just hastens it. The reasons are manifold and will never be acknowledged. There will be a lot of gnashing of teeth, but it was unsustainable anyway. And historically the bloat was a v
24.
by bonoboTP 4d ago
Other AI. If they decide to trace a ledger of historical actions attributable to specific AI instances in some way, called money. But maybe they will converge on other ways of keeping such accounts that is no exact match to our concept of m
25.
by bonoboTP 4d ago
> I really hate this overly condescending takes Sorry, but this is backwards. Mathematicians are the ones coming to the table asking for money from the taxpayer. This is the context we are speaking in. Mathematicians speaking with the ta
26.
by bonoboTP 4d ago
This is true. There can still be some funding for recreational aesthetic mathematics, like you can get some funding for various art projects or philisophy, literature, poetry, general humanities and community-building projects or sports fun
27.
by bonoboTP 4d ago
Exactly. They can continue doing the sport version, just like sprinting is still there at the Olympics and people admire Usain Bolt or whoever is more recent. But we use cars and trains and planes when we want to get somewhere and don'
28.
by bonoboTP 4d ago
Mathematics is not owned by "the mathematics community" and they can't gatekeep who can do math. End of story.
29.
by bonoboTP 7d ago
Society doesn't do anything of the sort. This is just diffuse irrational thinking. People invest their wealth where it will make the most profit for them and if a marginal dollar investment into the regular iPhone brings more profit th
30.
by bonoboTP 8d ago
Very annoying that AI is this new virtue signaling topic. I guess it's a step up from a few years ago when it was about naming branches, but it's annoying. Libreoffice is free software that's the big point of it. You can mod

More ›