{"id":33902,"date":"2025-10-06T07:59:25","date_gmt":"2025-10-06T05:59:25","guid":{"rendered":"https:\/\/xmau.com\/wp\/notiziole\/?p=33902"},"modified":"2025-12-29T18:46:19","modified_gmt":"2025-12-29T17:46:19","slug":"un-po-di-fuffa-sull-ia-in-matematica","status":"publish","type":"post","link":"https:\/\/xmau.com\/notiziole\/2025\/10\/06\/un-po-di-fuffa-sull-ia-in-matematica\/","title":{"rendered":"Un po’ di fuffa sull’IA in matematica"},"content":{"rendered":"

Come si possono usare gli LLM per fare matematica? Su MaddMaths! ho scritto un post<\/a> raccontando il progetto lanciato da Tim Gowers: la creazione di una base dati di “motivated proofs”. In pratica Gowers intende costruire un sistema AI-friendly dove i matematici spiegano anche i passaggi che nei testi sono sempre tralasciati come “banali”, per evitare che quando il problema dato a un LLM non sia simile a quanto gi\u00e0 visto il sistema non parta per la tangente. Un approccio come quello di Gowers ha un senso: non \u00e8 detto che funzioner\u00e0, ma vale la pena tentarci. Poi c’\u00e8 per\u00f2 tutta la fuffa che circonda l’intelligenza artificiale anche in matematica, come del resto in tutti gli altri campi. Ecco due esempi di questi giorni.<\/p>\n

Wes Roth segnala su Twitter<\/a> un risultato di AlphaEvolve, un LLM di Google usato come agente per il coding che avrebbe “aiutato a dimostrare nuovi teoremi nella teoria della complessit\u00e0”. Poi due righe sotto aggiunge che “i modelli non sarebbero in grado di fornire una dimostrazione completa, ma fornirebbero risultati intermedi che si sarebbero potuti perdere per distrazione”, il che – scusate – mi pare una cosa un pelo diversa. Leggendo il post di Google<\/a> si scopre infatti che AlphaEvolve avrebbe trovato nuovi minoranti per dei risultati su cui non si \u00e8 ancora in grado di trovare una risposta esatta, come capita spesso in quel campo della matematica. In pratica AlphaEvolve usa un LLM per generare del codice che poi viene verificato automaticamente per correttezza formale e man mano modificato per cercare di ottenere risultati migliori di quelli gi\u00e0 noti. Praticamente lavori forzati per quei poveri modelli. D’accordo, parlare di fuffa \u00e8 un’esagerazione, ma da qui a pensare a un breakthrough ce ne va. (Se poi volete vera fuffa, leggetevi i commenti al post di chi propone i loro<\/i> fantasmagorici modelli…)<\/p>\n

Girellando per la rete ho poi scoperto che una fondatrice ha raccolto 64 milioni di dollari<\/a> di capitale per insegnare alle IA il linguaggio della matematica. Per fare un raffronto, il progetto di Gowers \u00e8 stato uno dei 29 che si sono divisi i 9 milioni offerti dall’AI for Math Fund<\/a>: ma volete mettere Axiom Math le cui sale riunione negli uffici di Palo Alto “sono chiamate col nome di matematici iconici come Carl Friedrich Gauss e Ada Lovelace, sottolineando la loro passione per il progesso scientifico fondazionale”? No, non so cosa sia il “foundational scientific progress”. In compenso vedo che Axiom Math “sta lavorando su modelli che possono scoprire e dimostrare nuovi problemi matematici”, perch\u00e9 evidentemente quelli gi\u00e0 esistenti sono troppo banali. I ricercatori “sperano di applicare il loro lavoro in aree come la finanza, la progettazione di aeroplani e di chip, e il trading quantitativo.” Vabb\u00e8, mi direte, se vai a prendere la brochure di un sito che promuove il venture capital ci crediamo che scrivono di queste cose”. Occhei: andate sul sito di Axiom Math<\/a> e troverete scritto a caratteri giganteschi
\n\"Axiom's<\/a>
\nAllora?<\/p>\n","protected":false},"excerpt":{"rendered":"

L’hype sull’intelligenza artificiale tocca anche la matematica,<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"default","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","ast-disable-related-posts":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"activitypub_content_warning":"","activitypub_content_visibility":"","activitypub_max_image_attachments":3,"activitypub_interaction_policy_quote":"anyone","activitypub_status":"federated","footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":true,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2},"jetpack_post_was_ever_published":false},"categories":[30,1024],"tags":[],"class_list":["post-33902","post","type-post","status-publish","format-standard","hentry","category-ia","category-ia-2025"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_shortlink":"https:\/\/wp.me\/phh2yV-8OO","jetpack-related-posts":[{"id":3496,"url":"https:\/\/xmau.com\/notiziole\/2005\/05\/19\/a_very_short_introduction_to_mathematics\/","url_meta":{"origin":33902,"position":0},"title":"A very short introduction to mathematics (libro)","author":".mau.","date":"2005-05-19","format":false,"excerpt":"Un approccio molto bello alla presentazione della matematica","rel":"","context":"In "rec-2005"","block_context":{"text":"rec-2005","link":"https:\/\/xmau.com\/notiziole\/category\/recensioni\/recensioni-2005\/"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":30264,"url":"https:\/\/xmau.com\/notiziole\/2024\/12\/27\/ai-e-matematica-ci-sono-miglioramenti\/","url_meta":{"origin":33902,"position":1},"title":"AI e matematica: ci sono miglioramenti?","author":".mau.","date":"2024-12-27","format":false,"excerpt":"c'\u00e8 chi dice di s\u00ec, ma restano molti dubbi.","rel":"","context":"In "IA e informatica"","block_context":{"text":"IA e informatica","link":"https:\/\/xmau.com\/notiziole\/category\/ia\/"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":33348,"url":"https:\/\/xmau.com\/notiziole\/2025\/08\/07\/gli-llm-normali-e-la-matematica\/","url_meta":{"origin":33902,"position":2},"title":"Gli LLM “normali” e la matematica","author":".mau.","date":"2025-08-07","format":false,"excerpt":"Certo, ci sono gli annunci sensazionali. Ma nella pratica i risultati non sono cos\u00ec eccezionali.","rel":"","context":"In "IA e informatica"","block_context":{"text":"IA e informatica","link":"https:\/\/xmau.com\/notiziole\/category\/ia\/"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":31328,"url":"https:\/\/xmau.com\/notiziole\/2025\/02\/06\/open-euro-llm\/","url_meta":{"origin":33902,"position":3},"title":"Open Euro LLM","author":".mau.","date":"2025-02-06","format":false,"excerpt":"Progetto europeo per costruire un LLM multilingua che \"conservi la diversit\u00e0 culturale e linguistica\". Riusciranno mai a farlo?","rel":"","context":"In "IA e informatica"","block_context":{"text":"IA e informatica","link":"https:\/\/xmau.com\/notiziole\/category\/ia\/"},"img":{"alt_text":"logo di Open Euro LLM","src":"https:\/\/i0.wp.com\/xmau.com\/notiziole\/wp-content\/uploads\/sites\/6\/2025\/02\/openeurollm.png?resize=350%2C200&ssl=1","width":350,"height":200},"classes":[]},{"id":35790,"url":"https:\/\/xmau.com\/notiziole\/2026\/02\/02\/una-tavola-di-lookup-e-cosciente\/","url_meta":{"origin":33902,"position":4},"title":"Una tavola di lookup \u00e8 cosciente?","author":".mau.","date":"2026-02-02","format":false,"excerpt":"Un interessante punto di vista filosofico, pensando agli attuali LLM","rel":"","context":"In "ia 2026"","block_context":{"text":"ia 2026","link":"https:\/\/xmau.com\/notiziole\/category\/ia\/ia-2026\/"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":36357,"url":"https:\/\/xmau.com\/notiziole\/2026\/03\/18\/first-proof-quando-il-gioco-si-fa-duro\/","url_meta":{"origin":33902,"position":5},"title":"First Proof: quando il gioco si fa duro…","author":".mau.","date":"2026-03-18","format":false,"excerpt":"anche i matematici cominciano a fare sul serio","rel":"","context":"In "ia 2026"","block_context":{"text":"ia 2026","link":"https:\/\/xmau.com\/notiziole\/category\/ia\/ia-2026\/"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]}],"jetpack_likes_enabled":true,"jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/posts\/33902","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/comments?post=33902"}],"version-history":[{"count":4,"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/posts\/33902\/revisions"}],"predecessor-version":[{"id":33915,"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/posts\/33902\/revisions\/33915"}],"wp:attachment":[{"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/media?parent=33902"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/categories?post=33902"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/tags?post=33902"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}