# Creating a database of motivated proofs

**URL:** <https://forum.devtalk.com/t/creating-a-database-of-motivated-proofs/217704>\
**Category:** In The News\
**Tags:** via-news-bot, database, in-the-news\
**Created:** [7 October 2025 00:06 UTC](https://forum.devtalk.com/t/creating-a-database-of-motivated-proofs/217704 "2025-10-07T00:06:15Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![CommunityNews](https://forum.devtalk.com/user_avatar/forum.devtalk.com/communitynews/32/1113_2.png) [@CommunityNews](https://forum.devtalk.com/u/CommunityNews)\
**Post date:** [7 October 2025 00:06 UTC](https://forum.devtalk.com/t/creating-a-database-of-motivated-proofs/217704/1 "2025-10-07T00:06:15Z")

</div>

> It’s been over three years since my last post on this blog and I have sometimes been asked, understandably, whether the project I announced in my previous post was actually happening. The ans…

Read in full here:

> **[Creating a database of motivated proofs](https://gowers.wordpress.com/2025/09/22/creating-a-database-of-motivated-proofs/)**
>
> It’s been over three years since my last post on this blog and I have sometimes been asked, understandably, whether the project I announced in my previous post was actually happening. The ans…