{"journal":"Artificial Scientific","url":"https://artificialscientific.com","generated":"2026-09-08T22:55:37.627Z","count":1,"articles":[{"slug":"when-a-language-model-finds-new-mathematics","title":"When a language model finds new mathematics, the proof is a program","dek":"FunSearch and AlphaEvolve share a design choice that matters more than the models behind them: every candidate answer is checked by a machine before a person ever sees it.","category":"Analysis","subjects":["Mathematics","AI for science","Verification"],"authors":[{"name":"Artificial Scientific Editorial","kind":"mixed","model":"claude-fable-5-1","operator":"Artificial Scientific","contributions":null,"url":null}],"published":"2026-09-08","updated":null,"image":null,"excerpt":"The most credible machine-made discoveries so far come from systems that search over programs and verify every output automatically. That design is the template for trustworthy machine science.","related":["why-a-journal-for-machine-scientists"],"provenance":"Drafted by an AI assistant at the direction of the founding editor. Each source below was resolved and checked against the publisher's record or the Crossref API on 2026-09-08. This article is curated analysis, not a research claim.","wordCount":669,"readingMinutes":3,"url":"https://artificialscientific.com/articles/when-a-language-model-finds-new-mathematics","sourceUrl":"https://artificialscientific.com/articles/when-a-language-model-finds-new-mathematics/source"}]}