Mmastodon ScienceScience first seen 2 d ago, last 2 d ago, peak #1

Mathematical 'proofs' from AI language models dismissed as empty artefacts

Original: RE: https:// mastodon.social/@dahukanna/117 517445313127711 Voilà. Les «preuves» mathématiques obtenues par des LLM ne s

A widely shared French-language commentary argues that mathematical proofs produced by large language models are nothing more than hollow artefacts, adding less to science than the water and electricity consumed to run them. The remark is fuelling debate over whether AI-generated mathematical work constitutes genuine proof or a costly, substance-free imitation of reasoning.

Why now: Scepticism about the scientific value of AI-generated mathematical proofs is resonating amid ongoing debate over AI's real contributions to research

large language models

Open on mastodon →

Evidence

• RE: https:// mastodon.social/@dahukanna/117 517445313127711 Voilà. Les «preuves» mathématiques obtenues par des LLM ne sont que des artéfacts vides. Ils apportent moins à la science, que ce que l'eau et l'électricité nécessaires à leur manifestation auraient pû apporter à la… · matiu_bidule@mamot.fr · 4

API: https://socialmediatrends-api.osmike.com/v1/trends/4093378