New Reward Bounties

by BlakeKeiller, Sunday, February 07, 2021, 16:11 (301 days ago)

I like the idea of using formulations of theorems from old math books available on the web for bounties. I choose 36 of the 41 from Dieudonne Chapter Section 2 that were released with Megalodon 1.4 and put a 200 bar bounty on each. There were also two algebraic conjectures released with Megalodon 1.4: the quotient group is a group and the canonical map is a homomorphism. These look harder since they require reasoning about quotients. I put a 500 bar bounty on these two.

In replies I'll put a list of the problems and the addresses where the bounty is.