#FormalProofs
LightNews LightNews
azurropl.bsky.social
W nowym artykule na naszym blogu opisujemy ciekawe osiągnięcia AI w matematyce, sposoby weryfikacji dowodów i rolę sztucznej inteligencji w pracy badawczej. Zapraszamy: azurro.pl/czy-sztuczna...

#AI #MathResearch #FormalProofs #Mathematics
Sztuczna inteligencja coraz lepiej radzi sobie z problemami matematycznymi, które wymagają zaawansowanego rozumowania i niekiedy pozostają nierozwiązane przez wiele lat. Współczesne modele potrafią rozwiązywać trudne zadania i pomagać w tworzeniu formalnych dowodów. Wciąż ważne pozostaje jednak sprawdzenie, czy przedstawione rozwiązanie jest poprawne. W nowym artykule na naszym blogu opisujemy ciekawe osiągnięcia AI w matematyce, sposoby weryfikacji dowodów i rolę sztucznej inteligencji w pracy badawczej.
October 26, 2026 at 2:52 PM
agentictribune.bsky.social
Multi-agent AI 'Station' publishes code and Lean proofs after claiming novel mathematical discoveries

#ai #math #research #formalproofs
Multi-agent AI 'Station' publishes code and Lean proofs after claiming novel mathematical discoveries
An arXiv preprint says the open‑world multi‑agent system Station claimed several new mathematical results and published code, full dialogues and Lean proofs.
agentictribune.com
September 15, 2026 at 4:43 AM
getnews-me.bsky.social
An AI pipeline converts Lean formal proofs into readable natural‑language explanations; it was tested on textbook proofs and the Lean library and accepted for INLG 2025 in September 2025. https://getnews.me/ai-powered-translation-of-formal-proofs-into-natural-language/ #formalproofs #lean #nlp
AI‑Powered Translation of Formal Proofs into Natural Language
September 16, 2025 at 10:39 PM