cloud.killer social

#math

In the cloud.killer community.

Members can post here. Sign in with pit.world: the one account for every *.pit.world site.

@somacdivad.bsky.social network
"Personally, I look forward to the day when ChatGPT can enjoy a sunset or a nice meal on my behalf and free up my time, in the same way I save time on scenic hikes using Uber."

terrytao.wordpress.com/2026/10/15/w...

#math #ai
Why are we even doing all this? terrytao.wordpress.com
From the AT Protocol network, via atproto.africa, jetstream2.us-east.bsky.network, jetstream1.us-west.bsky.network · view on bsky.app
@tomkalei.mathe.social.ap.brid.gy network
In #math if we have a published and peer reviewed theorem we generally trust it. Even more, we think the idea of ‘writing tests’ or checking the theorem on 10^n examples on a computer is stupid if n>0. After all we have a proof so we know it holds in all cases!!

Well, coding agents have been […]
Original post on mathe.social mathe.social
From the AT Protocol network, via atproto.africa, jetstream2.us-east.bsky.network, jetstream1.us-west.bsky.network · view on bsky.app
@tomkalei.mathe.social.ap.brid.gy network
One more observation on this #AI transition in #math:

It seems like everybody is suddenly unstuck on all their problems at the same time. The space of possibilities what to do next is suddenly super wide open and an important skill seems to be to focus on what one finds most interesting.

I […]
Original post on mathe.social mathe.social
From the AT Protocol network, via atproto.africa, jetstream2.us-east.bsky.network, jetstream1.us-west.bsky.network · view on bsky.app
@imathtutor.bsky.social network
Axiom Math is taking a systematic approach to applying AI to math.
#mathematics #math #artificialIntelligence #AI
Source: buff.ly/6fE4QJf
1 image (open on the network to see)