Anatol Wegner

Good old fashioned Science and Philosophy - Background in Physics, Maths, Complexity, stats&ML
„Wir müssen wissen. Wir werden wissen.“ (D. Hilbert)

[Anatol Wegner @GOFIntelligence]

@ObhishekSaha @Quasilocal @schweingehtbree @BoganBits Wow- so you are seriously claiming that mathematicians who reject to revise and digest AI generated proofs will suffer and eventually be pushed out of the field?

[Anatol Wegner @GOFIntelligence]

@ObhishekSaha @Quasilocal @schweingehtbree @BoganBits Wow- so you are seriously claiming that mathematicians who reject to revise and digest AI generated proofs will suffer and eventually be pushed out of the field?

[Anatol Wegner @GOFIntelligence]

Among the persons who ask this question, I must make a distinction. The practical class demand of us nothing but means of getting money. These do not deserve to be answered." -H. Poincare 2/2

[Anatol Wegner @GOFIntelligence]

“Doubtles you are often asked what is the utility of mathematics and whether its nicely constructed theories, drawn entirely from the mind, are not artificial products of our caprice. 1/2

[Anatol Wegner @GOFIntelligence]

@LGcommaI Among the persons who ask this question, I must make a distinction. The practical class demand of us nothing but means of getting money. These do not deserve to be answered." -H.Poincare 2/2

[Anatol Wegner @GOFIntelligence]

@LGcommaI “Doubtles you are often asked what is the utility of mathematics and whether its nicely constructed theories, drawn entirely from the mind, are not artificial products of our caprice. 1/2

[Steve McCormick @Quasilocal]

@ObhishekSaha @schweingehtbree @BoganBits No I disagreed with it.

You can't know it's the same without checking both and understanding the differences. And therefore can't know what parts of the human readable paper can be trusted with properly checking it all

[Anatol Wegner @GOFIntelligence]

@ObhishekSaha @Quasilocal @schweingehtbree @BoganBits So now mathematicians are asked to do AI assisted tea leaf reading in a 166 page manuscript that we have no reason to believe is correct based on a 500K+ line vibe formalization we known doesn't match the contents of the manuscript. Welcome to the glorious age of AI mathematics!

[Steve McCormick @Quasilocal]

The plot thickens.

"We show that the formalised Lean proof does not correspond to the [written paper] proof of blow-up of solutions to the Navier-Stokes equations."

https://t.co/02Q52MH81g

[Anatol Wegner @GOFIntelligence]

@ObhishekSaha @Quasilocal @schweingehtbree @BoganBits So now mathematicians are asked to do AI assisted tea leaf reading in a 166 page manuscript that we have no reason to believe is correct based on a 500K+ line vibe formalization we known doesn't match the contents of the manuscript. Welcome to the glorious age of AI mathematics!

[Anatol Wegner @GOFIntelligence]

@EigenGender "a science produced with a view single to its applications is impossible; truths are fruitful only if they are concatenated; if we cleave to those only of which we expect an immediate result, the connecting links will be lacking, and there will be no longer a chain.”- H. Poincaré

[Anatol Wegner @GOFIntelligence]

@EigenGender "The men most disdainful of theory get from it, without suspecting it, their daily bread; deprived of this food, progress would quickly cease." - Henri Poincaré

[Anatol Wegner @GOFIntelligence]

@PeregrinePulp @danwilliamsphil one indeed needs a special kind of training to follow it with a straight face.

[Anatol Wegner @GOFIntelligence]

@ElliotGlazer Send me IBAN.

[Anatol Wegner @GOFIntelligence]

@AndrewCurran_ What? cursing at the bot was half of my prompt engineering strategy.

[Anatol Wegner @GOFIntelligence]

@YiMaTweets A theoretical foundation would indeed have been a good idea.

[Anatol Wegner @GOFIntelligence]

@HetkeBrian @dioscuri Sure if that's your sort of thing but then Koch should at least excuse the rest of us for quietly looking for the exit.

[Anatol Wegner @GOFIntelligence]

@HetkeBrian @dioscuri That's one way of looking at it. But I was rather referring to his latest experimental breakthrough of musing about quantum mechanics after having taken a hero dose of DMT.

[Anatol Wegner @GOFIntelligence]

@nihilunbounded Indeed every self respecting mathematician who has been scooped should take it on themselves to put the machines to shame.