Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
techhub.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A hub primarily for passionate technologists, but everyone is welcome

Administered by:

Server stats:

4.9K
active users

techhub.social: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.8

InfoQ

Introducing - a new designed for formal theorem proving in Lean 4.

The model builds on a recursive pipeline powered by the company's DeepSeek-V3 foundation model.

Learn more: bit.ly/3ZlTt7h

#InfoQ#GenerativeAI
May 15, 2025, 06:41 AM·Public·Web
0boosts·0favorites
ExploreLive feeds
About