@BretDevereaux enter ability to project power, set ranks across nations, and keep hardware running in a prolonged conflict
even ww1 artillery would probably be enough
@rieszspieces@torgeirlysen@chaotictransfem Why would proofs be the only thing we value?
A bunch of sloppy proofs that need to be checked and turned into useful stuff seems like a tons of reasons to give funding with clear goals.
@rieszspieces@chaotictransfem Ideas are the hard part in AI world, someone who can come up with novel well defined ideas that clearly define problems to be solved is increasingly valuable
@m4h007 People will read them if they find use, and won’t if they don’t…
If nobody acknowledges them, someone can parse it, rewrite in a better way, and have that be acknowledged.
@rieszspieces@chaotictransfem and during those months of work don't you think people will extract new techniques / ideas?
or do you think it would be better for them to approach the problem without the paper...? which they totally can, nobody is forcing anyone to engage with them.
goodhart's law: "when a measure becomes a target, it ceases to be a good measure"
GDP maxxing one shot so many western leaders
yes it is very possible to fill an economy with measurable economic activity that raises GDP while making end results worse.
current UK economy is:
~ 80% services
~ 12% industry
~ 6% construction
~ 1% agriculture
if one country can build a factory for $1B and another spends $3B because of lawyers, consultants, permits, and compliance, the second country records more GDP while producing the same factory slower.
Mathematician Terence Tao:
"we have to slow down AI. the pace is insane, and there's no reason to be this fast — no reason at all"
It's amazing how willing we are to change everything without any idea what happens afterward
These are extremely nonlinear dynamics
@GaryMarcus if the proof is incomprehensible then doing the work to unwind it should yield interesting insights.
i struggle to see any issue with using oracles to get answers faster.
it must be a group-think moment, they cannot seriously believe that AI is going to harm humanities exploration of math.
they can use a the 'true/false' generated to help narrow the search space for fertile ground of new ideas. furthermore the third paragraph gives plenty of noble role left for mathematicians...
Twenty-five Fields Medal winners have published a joint declaration warning about what they see as a severe misalignment between AI companies and the mathematics community.