Top
Best
New

Posted by smilelamp 17 hours ago

Mathematics has changed. Let's act like it(terrytao.wordpress.com)
319 points | 356 commentspage 4
sashank_1509 10 hours ago|
Mathematicians can just say no to this technology.

1. Make mathematics a closed community, only people who join this community can read and work on its stuff. I imagine a VPN that contains all maths knowledge that only members can view, similar to how big tech handle their codebases. It needs to be hard to copy and paste that stuff into the open internet and doing so should involve serious punishments like jail time, similar to posting say proprietary Google code on the internet.

2. Anyone caught using AI is excommunicated from the society, his access to the VPN permanently revoked, and his work is never interacted with again.

3. There will be a bit of a disruptive period as maths moves from open to closed model. During that time AI will keep solving more problems, but as long as mathematicians stop contributing more open problems, at some point AI will stop (either because it has solved all open problems, or it can’t make progress anymore because scaling is no longer economical).

I think Association for Human Mathematics should do this, I think they will be surprised by how much funding the public is willing to allocate to this (public hates AI), because fundamentally humans like thinking about and doing maths, and do not mind dedicating a bit of the surplus produced from society to let others do this, similar to arts. Just because I can prompt a better melody from Suno, doesn’t mean humans will stop wanting to make music.

Of course other mathematical associations can and should form, which fully embrace AI. But if the VPNs secure, these associations will not be competing as they won’t even have shared consensus of what problems to solve. They both will still need to compete to get public funding, which is fine, I think AI math will have a harder time justifying their funding since anyone can prompt a robot.

dyauspitr 2 hours ago|
This is the dumbest, most troglodyte “solution” to this frontier pushing development. WHO does this benefit besides a handful of mathematicians?
ur-whale 16 hours ago||
Wake me up when AI solves Collatz.
ath3nd 15 hours ago||
[dead]
Artoooooor 16 hours ago||
[flagged]
Athanase000 15 hours ago|
Can we stop with this ridiculous narrative? That didn't happen.
pkal 15 hours ago||
Can you elaborate or provide a good source to explain why this is not the case?
cubefox 14 hours ago||
The original OpenAI blog post.
optimalsolver 16 hours ago||
Three years ago people were laughing at LLM arithmetic mistakes. Today the Simons Foundation is starting up a fund to keep professional mathematicians from suiciding:

https://www.simonsfoundation.org/news/simons-foundation-laun...

Anyone still pretending this is normal technology is completely delusional. We're in the beginning of a singularity takeoff.

wonnage 16 hours ago||
> Under a partnership, the Simons Foundation, Anthropic and OpenAI will commit $15 million in combined funding and resources. The foundation will manage and award funding, including through an open call for proposals, to support workshops and initiatives that help researchers evaluate recent AI-assisted results, learn and use new tools, share perspectives and shape collective standards for AI use.
kaffekaka 16 hours ago||
"Normal technology"?
dyauspitr 2 hours ago||
Like a toaster that just toasts bread.
qasg17 16 hours ago|
Have the pro-AI people finally found a new mathematician? Otherwise it is always the same 10 people on Tao's blog citing each other.

This guest author runs a seminar to lure people into AI:

https://math.uchicago.edu/~fcale/AI.html

UltraSane 16 hours ago|
Lure people? It isn't a cult.