yabs.io

Yet Another Bookmarks Service

Viewing mzimmerm's Bookmarks

ChatGPT poprvé vyřešil nevyřešený matematický problém. Vědci mluví o průlomu | cdr.cz

[https://cdr.cz/clanek/chatgpt-poprve-vyresil-nevyreseny-matematicky-problem-vedci-mluvi-o-prulomu?sznclid=CmNuNzkyPTg7OTk9OTI9MzM8Mzg6Ozh2fjc7PT89PjkyOjoyJDs8PHZ-bzc7PT0_Ozw9OT8zJD4_P3ZpNz04PTNIOUlJPUg5STI-OjJJOjw_Ojs9OTM8MjM9MjM5&utm_source=www.seznam.cz] - 2026-04-06 19:29:37 - public:mzimmerm

ai, math, proof - 3 | id:1538820 -

Lean (proof assistant) - Wikipedia

[https://en.wikipedia.org/wiki/Lean_(proof_assistant)] - 2026-03-24 20:52:26 - public:mzimmerm

good, type, proof, program, math, lean, language, best, assist, ai - 10 | id:1538719 -

Lean is a language that supports theorem prooving. It has, among other features, dependend data types - types that allow to check state transition

we just arrived at the “WTF“ moment in AI - YouTube

[https://www.youtube.com/watch?v=N8I2wYXt4m8] - 2026-01-12 22:17:24 - public:mzimmerm

bimodcrit, erdos, math, proof, tomas, ai - 6 | id:1538051 -

AI creates proofs of Erdos's theorems

With marked bookmarks

Mark all

| (+) | |

Viewing 1 - 3, 3 links out of 3 links, page: 1

Follow Tags

Manage

proof - Please Log In To follow this tag

Export:

JSON XML RSS