|
|
|
|
|
by dhfbshfbu4u3
22 days ago
|
|
In a year, none of this will really matter. Intelligence is now a scalable resource independent of biological constraints. Everyone will use it because the system will no longer afford them the luxury of time. In a decade (maybe sooner), references won’t matter either. |
|
(Mathematics at least has the potential for automated non-AI proof checking, although I don't think that's as widely used as you'd expect)