hachyderm.io is one of the many independent Mastodon servers you can use to participate in the fediverse.
Hachyderm is a safe space, LGBTQIA+ and BLM, primarily comprised of tech industry professionals world wide. Note that many non-user account types have restrictions - please see our About page.

Administered by:

Server stats:

9.9K
active users

Cassandrich

@gwozniak @jwcph @aral @fredb @martin Mathematics is one place where there might be some useful results, specifically because proofs are testable.

However most interesting advances in mathematics are choosing the right definitions to build stuff from, not proving something that was hard to prove. And I'm skeptical shuffling existing proof techniques according to statistical models will yield a lot of new results.